Trait rustc_traits::chalk::lowering::LowerInto

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

Essentially an Into with a &RustInterner parameter

Required methods

pub(crate) 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>

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

impl<'tcx, '_> LowerInto<'tcx, &'tcx List<GenericArg<'tcx>>> for &'_ Substitution<RustInterner<'tcx>>

pub(crate) fn lower_into(self, interner: &RustInterner<'tcx>) -> SubstsRef<'tcx>

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

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

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

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

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

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

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

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

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

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

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

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

impl<'tcx, '_> LowerInto<'tcx, &'tcx TyS<'tcx>> for &'_ Ty<RustInterner<'tcx>>

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

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

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

impl<'tcx, '_> LowerInto<'tcx, &'tcx RegionKind> for &'_ Lifetime<RustInterner<'tcx>>

pub(crate) fn lower_into(self, interner: &RustInterner<'tcx>) -> Region<'tcx>

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

pub(crate) fn lower_into(
    self,
    interner: &RustInterner<'tcx>
) -> Const<RustInterner<'tcx>>

impl<'tcx, '_> LowerInto<'tcx, Const<'tcx>> for &'_ Const<RustInterner<'tcx>>

pub(crate) fn lower_into(self, interner: &RustInterner<'tcx>) -> Const<'tcx>

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

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

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

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

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

pub(crate) 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>>>

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

impl<'tcx> LowerInto<'tcx, FnSig<RustInterner<'tcx>>> for Binder<FnSig<'tcx>>

pub(crate) fn lower_into(
    self,
    _interner: &RustInterner<'_>
) -> FnSig<RustInterner<'tcx>>

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

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

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

pub(crate) fn lower_into(
    self,
    interner: &RustInterner<'tcx>
) -> TraitBound<RustInterner<'tcx>>

impl<'tcx> LowerInto<'tcx, Mutability> for Mutability

pub(crate) fn lower_into(self, _interner: &RustInterner<'tcx>) -> Mutability

impl<'tcx> LowerInto<'tcx, Mutability> for Mutability

pub(crate) fn lower_into(self, _interner: &RustInterner<'tcx>) -> Mutability

impl<'tcx> LowerInto<'tcx, Polarity> for ImplPolarity

pub(crate) fn lower_into(self, _interner: &RustInterner<'tcx>) -> Polarity

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

pub(crate) fn lower_into(
    self,
    interner: &RustInterner<'tcx>
) -> AliasEqBound<RustInterner<'tcx>>

Loading content...

Implementors

Loading content...