fn type_implements_negative_copy_modulo_regions<'tcx>( tcx: TyCtxt<'tcx>, ty: Ty<'tcx>, typing_env: TypingEnv<'tcx>, ) -> bool
Check whether a ty has a negative Copy implementation, ignoring outlives constraints.
ty
Copy