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