fn self_ty_of_trait_impl_enabling_order_dep_trait_object_hack(
tcx: TyCtxt<'_>,
def_id: DefId
) -> Option<EarlyBinder<Ty<'_>>>Expand description
If the given trait impl enables exploiting the former order dependence of trait objects,
returns its self type; otherwise, returns None.
See ty::ImplOverlapKind::FutureCompatOrderDepTraitObjects for more details.