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.