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