pub const mir_copy_for_deref: Symbol;