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