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