pub fn can_type_implement_copy<'tcx>( tcx: TyCtxt<'tcx>, param_env: ParamEnv<'tcx>, self_type: Ty<'tcx>) -> Result<(), CopyImplementationError<'tcx>>