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