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.