Trait rustc_traits::chalk::lowering::LowerInto

pub(crate) trait LowerInto<'tcx, T> {
    fn lower_into(self, interner: &RustInterner<'tcx>) -> T;
}

Essentially an Into with a &RustInterner parameter

Required methods

fn lower_into(self, interner: &RustInterner<'tcx>) -> T

Lower a rustc construct (e.g., ty::TraitPredicate) to a chalk type, consuming self.

Loading content...

Implementations on Foreign Types

impl<'tcx> LowerInto<'tcx, Substitution<RustInterner<'tcx>>> for SubstsRef<'tcx>

fn lower_into(
    self,
    interner: &RustInterner<'tcx>
) -> Substitution<RustInterner<'tcx>>

impl<'tcx> LowerInto<'tcx, AliasTy<RustInterner<'tcx>>> for ProjectionTy<'tcx>

fn lower_into(
    self,
    interner: &RustInterner<'tcx>
) -> AliasTy<RustInterner<'tcx>>

impl<'tcx> LowerInto<'tcx, InEnvironment<Goal<RustInterner<'tcx>>>> for ChalkEnvironmentAndGoal<'tcx>

fn lower_into(
    self,
    interner: &RustInterner<'tcx>
) -> InEnvironment<Goal<RustInterner<'tcx>>>

impl<'tcx> LowerInto<'tcx, GoalData<RustInterner<'tcx>>> for Predicate<'tcx>

fn lower_into(
    self,
    interner: &RustInterner<'tcx>
) -> GoalData<RustInterner<'tcx>>

impl<'tcx> LowerInto<'tcx, TraitRef<RustInterner<'tcx>>> for TraitRef<'tcx>

fn lower_into(
    self,
    interner: &RustInterner<'tcx>
) -> TraitRef<RustInterner<'tcx>>

impl<'tcx> LowerInto<'tcx, GoalData<RustInterner<'tcx>>> for PolyTraitPredicate<'tcx>

fn lower_into(
    self,
    interner: &RustInterner<'tcx>
) -> GoalData<RustInterner<'tcx>>

impl<'tcx> LowerInto<'tcx, AliasEq<RustInterner<'tcx>>> for ProjectionPredicate<'tcx>

fn lower_into(
    self,
    interner: &RustInterner<'tcx>
) -> AliasEq<RustInterner<'tcx>>

impl<'tcx> LowerInto<'tcx, GoalData<RustInterner<'tcx>>> for PolyProjectionPredicate<'tcx>

fn lower_into(
    self,
    interner: &RustInterner<'tcx>
) -> GoalData<RustInterner<'tcx>>

impl<'tcx> LowerInto<'tcx, Ty<RustInterner<'tcx>>> for Ty<'tcx>

fn lower_into(self, interner: &RustInterner<'tcx>) -> Ty<RustInterner<'tcx>>

impl<'tcx> LowerInto<'tcx, Lifetime<RustInterner<'tcx>>> for Region<'tcx>

fn lower_into(
    self,
    interner: &RustInterner<'tcx>
) -> Lifetime<RustInterner<'tcx>>

impl<'tcx> LowerInto<'tcx, GenericArg<RustInterner<'tcx>>> for GenericArg<'tcx>

fn lower_into(
    self,
    interner: &RustInterner<'tcx>
) -> GenericArg<RustInterner<'tcx>>

impl<'tcx> LowerInto<'tcx, Option<Binders<WhereClause<RustInterner<'tcx>>>>> for Predicate<'tcx>

fn lower_into(
    self,
    interner: &RustInterner<'tcx>
) -> Option<QuantifiedWhereClause<RustInterner<'tcx>>>

impl<'tcx> LowerInto<'tcx, Binders<QuantifiedWhereClauses<RustInterner<'tcx>>>> for Binder<&'tcx List<ExistentialPredicate<'tcx>>>

fn lower_into(
    self,
    interner: &RustInterner<'tcx>
) -> Binders<QuantifiedWhereClauses<RustInterner<'tcx>>>

Loading content...

Implementors

Loading content...