Trait rustc_trait_selection::infer::canonical::ir::lift::Lift

source ·
pub trait Lift<I>: Debug {
    type Lifted: Debug;

    // Required method
    fn lift_to_interner(self, cx: I) -> Option<Self::Lifted>;
}
Expand description

A trait implemented for all X<'a> types that can be safely and efficiently converted to X<'tcx> as long as they are part of the provided TyCtxt<'tcx>. This can be done, for example, for Ty<'tcx> or GenericArgsRef<'tcx> by looking them up in their respective interners.

However, this is still not the best implementation as it does need to compare the components, even for interned values. It would be more efficient if TypedArena provided a way to determine whether the address is in the allocated range.

None is returned if the value or one of the components is not part of the provided context. For Ty, None can be returned if either the type interner doesn’t contain the TyKind key or if the address of the interned pointer differs. The latter case is possible if a primitive type, e.g., () or u8, was interned in a different context.

Required Associated Types§

Required Methods§

source

fn lift_to_interner(self, cx: I) -> Option<Self::Lifted>

Implementations on Foreign Types§

source§

impl<'a, 'tcx> Lift<TyCtxt<'tcx>> for &'a [ValTree<'a>]

source§

type Lifted = &'tcx [ValTree<'tcx>]

source§

fn lift_to_interner(self, tcx: TyCtxt<'tcx>) -> Option<&'tcx [ValTree<'tcx>]>

source§

impl<'a, 'tcx> Lift<TyCtxt<'tcx>> for ConstAllocation<'a>

source§

impl<'a, 'tcx> Lift<TyCtxt<'tcx>> for Const<'a>

source§

type Lifted = Const<'tcx>

source§

fn lift_to_interner(self, tcx: TyCtxt<'tcx>) -> Option<Const<'tcx>>

source§

impl<'a, 'tcx> Lift<TyCtxt<'tcx>> for GenericArg<'a>

source§

type Lifted = GenericArg<'tcx>

source§

fn lift_to_interner(self, tcx: TyCtxt<'tcx>) -> Option<GenericArg<'tcx>>

source§

impl<'a, 'tcx> Lift<TyCtxt<'tcx>> for Pattern<'a>

source§

type Lifted = Pattern<'tcx>

source§

fn lift_to_interner(self, tcx: TyCtxt<'tcx>) -> Option<Pattern<'tcx>>

source§

impl<'a, 'tcx> Lift<TyCtxt<'tcx>> for Clause<'a>

source§

type Lifted = Clause<'tcx>

source§

fn lift_to_interner(self, tcx: TyCtxt<'tcx>) -> Option<Clause<'tcx>>

source§

impl<'a, 'tcx> Lift<TyCtxt<'tcx>> for Predicate<'a>

source§

type Lifted = Predicate<'tcx>

source§

fn lift_to_interner(self, tcx: TyCtxt<'tcx>) -> Option<Predicate<'tcx>>

source§

impl<'a, 'tcx> Lift<TyCtxt<'tcx>> for Region<'a>

source§

type Lifted = Region<'tcx>

source§

fn lift_to_interner(self, tcx: TyCtxt<'tcx>) -> Option<Region<'tcx>>

source§

impl<'a, 'tcx> Lift<TyCtxt<'tcx>> for Term<'a>

source§

type Lifted = Term<'tcx>

source§

fn lift_to_interner(self, tcx: TyCtxt<'tcx>) -> Option<Term<'tcx>>

source§

impl<'a, 'tcx> Lift<TyCtxt<'tcx>> for Ty<'a>

source§

type Lifted = Ty<'tcx>

source§

fn lift_to_interner(self, tcx: TyCtxt<'tcx>) -> Option<Ty<'tcx>>

source§

impl<'a, 'tcx> Lift<TyCtxt<'tcx>> for Layout<'a>

source§

type Lifted = Layout<'tcx>

source§

fn lift_to_interner(self, tcx: TyCtxt<'tcx>) -> Option<Layout<'tcx>>

source§

impl<'tcx> Lift<TyCtxt<'tcx>> for Safety

source§

impl<'tcx> Lift<TyCtxt<'tcx>> for Scalar

source§

impl<'tcx> Lift<TyCtxt<'tcx>> for ReifyReason

source§

impl<'tcx> Lift<TyCtxt<'tcx>> for Abi

source§

impl<'tcx> Lift<TyCtxt<'tcx>> for bool

source§

impl<'tcx> Lift<TyCtxt<'tcx>> for u64

source§

impl<'tcx> Lift<TyCtxt<'tcx>> for ()

source§

impl<'tcx> Lift<TyCtxt<'tcx>> for usize

source§

impl<'tcx> Lift<TyCtxt<'tcx>> for Size

source§

impl<'tcx> Lift<TyCtxt<'tcx>> for CtfeProvenance

source§

impl<'tcx> Lift<TyCtxt<'tcx>> for AllocId

source§

impl<'tcx> Lift<TyCtxt<'tcx>> for Promoted

source§

impl<'tcx> Lift<TyCtxt<'tcx>> for ParamConst

source§

impl<'tcx> Lift<TyCtxt<'tcx>> for ParamTy

source§

impl<'tcx> Lift<TyCtxt<'tcx>> for DefId

source§

impl<'tcx, '__lifted> Lift<TyCtxt<'__lifted>> for Const<'tcx>

source§

type Lifted = Const<'__lifted>

source§

fn lift_to_interner(self, __tcx: TyCtxt<'__lifted>) -> Option<Const<'__lifted>>

source§

impl<'tcx, '__lifted> Lift<TyCtxt<'__lifted>> for ConstValue<'tcx>

source§

type Lifted = ConstValue<'__lifted>

source§

fn lift_to_interner( self, __tcx: TyCtxt<'__lifted>, ) -> Option<ConstValue<'__lifted>>

source§

impl<'tcx, '__lifted> Lift<TyCtxt<'__lifted>> for InstanceKind<'tcx>

source§

type Lifted = InstanceKind<'__lifted>

source§

fn lift_to_interner( self, __tcx: TyCtxt<'__lifted>, ) -> Option<InstanceKind<'__lifted>>

source§

impl<'tcx, '__lifted> Lift<TyCtxt<'__lifted>> for UnevaluatedConst<'tcx>

source§

type Lifted = UnevaluatedConst<'__lifted>

source§

fn lift_to_interner( self, __tcx: TyCtxt<'__lifted>, ) -> Option<UnevaluatedConst<'__lifted>>

source§

impl<'tcx, '__lifted> Lift<TyCtxt<'__lifted>> for Instance<'tcx>

source§

type Lifted = Instance<'__lifted>

source§

fn lift_to_interner( self, __tcx: TyCtxt<'__lifted>, ) -> Option<Instance<'__lifted>>

source§

impl<'tcx, '__lifted> Lift<TyCtxt<'__lifted>> for PrintClosureAsImpl<'tcx>

source§

type Lifted = PrintClosureAsImpl<'__lifted>

source§

fn lift_to_interner( self, __tcx: TyCtxt<'__lifted>, ) -> Option<PrintClosureAsImpl<'__lifted>>

source§

impl<'tcx, '__lifted> Lift<TyCtxt<'__lifted>> for TraitPredPrintModifiersAndPath<'tcx>

source§

impl<'tcx, '__lifted> Lift<TyCtxt<'__lifted>> for TraitRefPrintOnlyTraitName<'tcx>

source§

type Lifted = TraitRefPrintOnlyTraitName<'__lifted>

source§

fn lift_to_interner( self, __tcx: TyCtxt<'__lifted>, ) -> Option<TraitRefPrintOnlyTraitName<'__lifted>>

source§

impl<'tcx, '__lifted> Lift<TyCtxt<'__lifted>> for TraitRefPrintOnlyTraitPath<'tcx>

source§

type Lifted = TraitRefPrintOnlyTraitPath<'__lifted>

source§

fn lift_to_interner( self, __tcx: TyCtxt<'__lifted>, ) -> Option<TraitRefPrintOnlyTraitPath<'__lifted>>

source§

impl<'tcx, '__lifted> Lift<TyCtxt<'__lifted>> for TraitRefPrintSugared<'tcx>

source§

type Lifted = TraitRefPrintSugared<'__lifted>

source§

fn lift_to_interner( self, __tcx: TyCtxt<'__lifted>, ) -> Option<TraitRefPrintSugared<'__lifted>>

source§

impl<'tcx, T> Lift<TyCtxt<'tcx>> for Option<T>
where T: Lift<TyCtxt<'tcx>>,

source§

type Lifted = Option<<T as Lift<TyCtxt<'tcx>>>::Lifted>

source§

fn lift_to_interner( self, tcx: TyCtxt<'tcx>, ) -> Option<Option<<T as Lift<TyCtxt<'tcx>>>::Lifted>>

Implementors§

source§

impl<'tcx> Lift<TyCtxt<'tcx>> for IsConstable

source§

impl<'tcx> Lift<TyCtxt<'tcx>> for ClosureKind

source§

impl<'tcx> Lift<TyCtxt<'tcx>> for ImplPolarity

source§

impl<'tcx> Lift<TyCtxt<'tcx>> for PredicatePolarity

source§

impl<I, J> Lift<J> for ExistentialPredicate<I>
where I: Interner, J: Interner, ExistentialTraitRef<I>: Lift<J, Lifted = ExistentialTraitRef<J>>, ExistentialProjection<I>: Lift<J, Lifted = ExistentialProjection<J>>, <I as Interner>::DefId: Lift<J, Lifted = <J as Interner>::DefId>,

source§

impl<I, J> Lift<J> for AliasTerm<I>
where I: Interner, J: Interner, <I as Interner>::GenericArgs: Lift<J, Lifted = <J as Interner>::GenericArgs>, <I as Interner>::DefId: Lift<J, Lifted = <J as Interner>::DefId>, (): Lift<J, Lifted = ()>,

source§

impl<I, J> Lift<J> for AliasTy<I>
where I: Interner, J: Interner, <I as Interner>::GenericArgs: Lift<J, Lifted = <J as Interner>::GenericArgs>, <I as Interner>::DefId: Lift<J, Lifted = <J as Interner>::DefId>, (): Lift<J, Lifted = ()>,

source§

impl<I, J> Lift<J> for CanonicalVarValues<I>
where I: Interner, J: Interner, <I as Interner>::GenericArgs: Lift<J, Lifted = <J as Interner>::GenericArgs>,

source§

impl<I, J> Lift<J> for ClosureArgs<I>
where I: Interner, J: Interner, <I as Interner>::GenericArgs: Lift<J, Lifted = <J as Interner>::GenericArgs>,

source§

impl<I, J> Lift<J> for CoercePredicate<I>
where I: Interner, J: Interner, <I as Interner>::Ty: Lift<J, Lifted = <J as Interner>::Ty>,

source§

impl<I, J> Lift<J> for CoroutineArgs<I>
where I: Interner, J: Interner, <I as Interner>::GenericArgs: Lift<J, Lifted = <J as Interner>::GenericArgs>,

source§

impl<I, J> Lift<J> for CoroutineClosureArgs<I>
where I: Interner, J: Interner, <I as Interner>::GenericArgs: Lift<J, Lifted = <J as Interner>::GenericArgs>,

source§

impl<I, J> Lift<J> for ExistentialProjection<I>
where I: Interner, J: Interner, <I as Interner>::DefId: Lift<J, Lifted = <J as Interner>::DefId>, <I as Interner>::GenericArgs: Lift<J, Lifted = <J as Interner>::GenericArgs>, <I as Interner>::Term: Lift<J, Lifted = <J as Interner>::Term>,

source§

impl<I, J> Lift<J> for ExistentialTraitRef<I>
where I: Interner, J: Interner, <I as Interner>::DefId: Lift<J, Lifted = <J as Interner>::DefId>, <I as Interner>::GenericArgs: Lift<J, Lifted = <J as Interner>::GenericArgs>,

source§

impl<I, J> Lift<J> for FnHeader<I>
where I: Interner, J: Interner, bool: Lift<J, Lifted = bool>, <I as Interner>::Safety: Lift<J, Lifted = <J as Interner>::Safety>, <I as Interner>::Abi: Lift<J, Lifted = <J as Interner>::Abi>,

source§

impl<I, J> Lift<J> for FnSig<I>
where J: Interner, <I as Interner>::Tys: Lift<J, Lifted = <J as Interner>::Tys>, bool: Lift<J, Lifted = bool>, <I as Interner>::Safety: Lift<J, Lifted = <J as Interner>::Safety>, I: Interner, <I as Interner>::Abi: Lift<J, Lifted = <J as Interner>::Abi>,

source§

impl<I, J> Lift<J> for FnSigTys<I>
where I: Interner, J: Interner, <I as Interner>::Tys: Lift<J, Lifted = <J as Interner>::Tys>,

source§

impl<I, J> Lift<J> for NormalizesTo<I>
where I: Interner, J: Interner, AliasTerm<I>: Lift<J, Lifted = AliasTerm<J>>, <I as Interner>::Term: Lift<J, Lifted = <J as Interner>::Term>,

source§

impl<I, J> Lift<J> for ProjectionPredicate<I>
where I: Interner, J: Interner, AliasTerm<I>: Lift<J, Lifted = AliasTerm<J>>, <I as Interner>::Term: Lift<J, Lifted = <J as Interner>::Term>,

source§

impl<I, J> Lift<J> for SubtypePredicate<I>
where I: Interner, J: Interner, bool: Lift<J, Lifted = bool>, <I as Interner>::Ty: Lift<J, Lifted = <J as Interner>::Ty>,

source§

impl<I, J> Lift<J> for TraitPredicate<I>
where I: Interner, J: Interner, TraitRef<I>: Lift<J, Lifted = TraitRef<J>>, PredicatePolarity: Lift<J, Lifted = PredicatePolarity>,

source§

impl<I, J> Lift<J> for TraitRef<I>
where I: Interner, J: Interner, <I as Interner>::DefId: Lift<J, Lifted = <J as Interner>::DefId>, <I as Interner>::GenericArgs: Lift<J, Lifted = <J as Interner>::GenericArgs>, (): Lift<J, Lifted = ()>,

source§

impl<I, J> Lift<J> for rustc_trait_selection::infer::canonical::ir::UnevaluatedConst<I>
where I: Interner, J: Interner, <I as Interner>::DefId: Lift<J, Lifted = <J as Interner>::DefId>, <I as Interner>::GenericArgs: Lift<J, Lifted = <J as Interner>::GenericArgs>,

source§

impl<I, P, J> Lift<J> for Goal<I, P>
where I: Interner, J: Interner, <I as Interner>::ParamEnv: Lift<J, Lifted = <J as Interner>::ParamEnv>, P: Lift<J, Lifted = P>,

source§

type Lifted = Goal<J, P>

source§

impl<I, U, A> Lift<U> for OutlivesPredicate<I, A>
where I: Interner, U: Interner, A: Lift<U>, <I as Interner>::Region: Lift<U, Lifted = <U as Interner>::Region>,

source§

impl<I, U, T> Lift<U> for Binder<I, T>
where I: Interner, U: Interner, T: Lift<U>, <I as Interner>::BoundVarKinds: Lift<U, Lifted = <U as Interner>::BoundVarKinds>,

source§

type Lifted = Binder<U, <T as Lift<U>>::Lifted>