fn visit_implementation_of_copy(tcx: TyCtxt<'_>, impl_did: LocalDefId)