# Function rustc_ty_utils::ty::self_ty_of_trait_impl_enabling_order_dep_trait_object_hack

source ·

    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.