Trait rustc_middle::ty::Lift[−][src]

pub trait Lift<'tcx>: Debug {
    type Lifted: Debug + 'tcx;
    fn lift_to_tcx(self, tcx: TyCtxt<'tcx>) -> Option<Self::Lifted>;
}

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 SubstsRef<'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.

Associated Types

`type Lifted: Debug + 'tcx`[src]

Loading content...

Required methods

`fn lift_to_tcx(self, tcx: TyCtxt<'tcx>) -> Option<Self::Lifted>`[src]

Loading content...

Implementations on Foreign Types

`impl<'tcx> Lift<'tcx> for Constness`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for ()`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for bool`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for usize`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for VariantIdx`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for u32`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for u64`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for String`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for InlineAsmOptions`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for InlineAsmTemplatePiece`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for NodeId`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for Symbol`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for Res`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for DefId`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for LocalDefId`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for HirId`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for LlvmInlineAsmInner`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for MatchSource`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for Unsafety`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for InlineAsmRegOrRegClass`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for Abi`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for Span`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx, A: Lift<'tcx>, B: Lift<'tcx>> Lift<'tcx> for (A, B)`[src]

`type Lifted = (A::Lifted, B::Lifted)`

`fn lift_to_tcx(self, tcx: TyCtxt<'tcx>) -> Option<Self::Lifted>`[src]

`impl<'tcx, A: Lift<'tcx>, B: Lift<'tcx>, C: Lift<'tcx>> Lift<'tcx> for (A, B, C)`[src]

`type Lifted = (A::Lifted, B::Lifted, C::Lifted)`

`fn lift_to_tcx(self, tcx: TyCtxt<'tcx>) -> Option<Self::Lifted>`[src]

`impl<'tcx, T: Lift<'tcx>> Lift<'tcx> for Option<T>`[src]

`type Lifted = Option<T::Lifted>`

`fn lift_to_tcx(self, tcx: TyCtxt<'tcx>) -> Option<Self::Lifted>`[src]

`impl<'tcx, T: Lift<'tcx>, E: Lift<'tcx>> Lift<'tcx> for Result<T, E>`[src]

`type Lifted = Result<T::Lifted, E::Lifted>`

`fn lift_to_tcx(self, tcx: TyCtxt<'tcx>) -> Option<Self::Lifted>`[src]

`impl<'tcx, T: Lift<'tcx>> Lift<'tcx> for Box<T>`[src]

`type Lifted = Box<T::Lifted>`

`fn lift_to_tcx(self, tcx: TyCtxt<'tcx>) -> Option<Self::Lifted>`[src]

`impl<'tcx, T: Lift<'tcx> + Clone> Lift<'tcx> for Rc<T>`[src]

`type Lifted = Rc<T::Lifted>`

`fn lift_to_tcx(self, tcx: TyCtxt<'tcx>) -> Option<Self::Lifted>`[src]

`impl<'tcx, T: Lift<'tcx> + Clone> Lift<'tcx> for Arc<T>`[src]

`type Lifted = Arc<T::Lifted>`

`fn lift_to_tcx(self, tcx: TyCtxt<'tcx>) -> Option<Self::Lifted>`[src]

`impl<'tcx, T: Lift<'tcx>> Lift<'tcx> for Vec<T>`[src]

`type Lifted = Vec<T::Lifted>`

`fn lift_to_tcx(self, tcx: TyCtxt<'tcx>) -> Option<Self::Lifted>`[src]

`impl<'tcx, I: Idx, T: Lift<'tcx>> Lift<'tcx> for IndexVec<I, T>`[src]

`type Lifted = IndexVec<I, T::Lifted>`

`fn lift_to_tcx(self, tcx: TyCtxt<'tcx>) -> Option<Self::Lifted>`[src]

Loading content...

Implementors

`impl<'lifted, N> Lift<'lifted> for ImplSourceAutoImplData<N> where N: Lift<'__lifted>,` [src]

`type Lifted = ImplSourceAutoImplData<N::Lifted>`

`fn lift_to_tcx( self, tcx: TyCtxt<'lifted> ) -> Option<ImplSourceAutoImplData<N::Lifted>>`[src]

`impl<'lifted, N> Lift<'lifted> for ImplSourceBuiltinData<N> where N: Lift<'__lifted>,` [src]

`type Lifted = ImplSourceBuiltinData<N::Lifted>`

`fn lift_to_tcx( self, tcx: TyCtxt<'lifted> ) -> Option<ImplSourceBuiltinData<N::Lifted>>`[src]

`impl<'lifted, T> Lift<'lifted> for Normalize<T> where T: Lift<'__lifted>,` [src]

`type Lifted = Normalize<T::Lifted>`

`fn lift_to_tcx(self, tcx: TyCtxt<'lifted>) -> Option<Normalize<T::Lifted>>`[src]

`impl<'lifted, T> Lift<'lifted> for WithOptConstParam<T> where T: Lift<'__lifted>,` [src]

`type Lifted = WithOptConstParam<T::Lifted>`

`fn lift_to_tcx( self, tcx: TyCtxt<'lifted> ) -> Option<WithOptConstParam<T::Lifted>>`[src]

`impl<'a, 'tcx> Lift<'tcx> for &'a Allocation`[src]

`type Lifted = &'tcx Allocation`

`fn lift_to_tcx(self, tcx: TyCtxt<'tcx>) -> Option<Self::Lifted>`[src]

`impl<'a, 'tcx> Lift<'tcx> for &'a Const<'a>`[src]

`type Lifted = &'tcx Const<'tcx>`

`fn lift_to_tcx(self, tcx: TyCtxt<'tcx>) -> Option<Self::Lifted>`[src]

`impl<'a, 'tcx> Lift<'tcx> for &'a List<CanonicalVarInfo<'a>>`[src]

`type Lifted = &'tcx List<CanonicalVarInfo<'tcx>>`

`fn lift_to_tcx(self, tcx: TyCtxt<'tcx>) -> Option<Self::Lifted>`[src]

`impl<'a, 'tcx> Lift<'tcx> for &'a List<Predicate<'a>>`[src]

`type Lifted = &'tcx List<Predicate<'tcx>>`

`fn lift_to_tcx(self, tcx: TyCtxt<'tcx>) -> Option<Self::Lifted>`[src]

`impl<'a, 'tcx> Lift<'tcx> for &'a List<Binder<ExistentialPredicate<'a>>>`[src]

`type Lifted = &'tcx List<Binder<ExistentialPredicate<'tcx>>>`

`fn lift_to_tcx(self, tcx: TyCtxt<'tcx>) -> Option<Self::Lifted>`[src]

`impl<'a, 'tcx> Lift<'tcx> for &'a List<GenericArg<'a>>`[src]

`type Lifted = &'tcx List<GenericArg<'tcx>>`

`fn lift_to_tcx(self, tcx: TyCtxt<'tcx>) -> Option<Self::Lifted>`[src]

`impl<'a, 'tcx> Lift<'tcx> for &'a List<ProjectionKind>`[src]

`type Lifted = &'tcx List<ProjectionKind>`

`fn lift_to_tcx(self, tcx: TyCtxt<'tcx>) -> Option<Self::Lifted>`[src]

`impl<'a, 'tcx> Lift<'tcx> for &'a List<Ty<'a>>`[src]

`type Lifted = &'tcx List<Ty<'tcx>>`

`fn lift_to_tcx(self, tcx: TyCtxt<'tcx>) -> Option<Self::Lifted>`[src]

`impl<'a, 'tcx> Lift<'tcx> for &'a PredicateInner<'a>`[src]

`type Lifted = &'tcx PredicateInner<'tcx>`

`fn lift_to_tcx(self, tcx: TyCtxt<'tcx>) -> Option<Self::Lifted>`[src]

`impl<'a, 'tcx> Lift<'tcx> for ConstValue<'a>`[src]

`type Lifted = ConstValue<'tcx>`

`fn lift_to_tcx(self, tcx: TyCtxt<'tcx>) -> Option<ConstValue<'tcx>>`[src]

`impl<'a, 'tcx> Lift<'tcx> for Adjust<'a>`[src]

`type Lifted = Adjust<'tcx>`

`fn lift_to_tcx(self, tcx: TyCtxt<'tcx>) -> Option<Self::Lifted>`[src]

`impl<'a, 'tcx> Lift<'tcx> for AutoBorrow<'a>`[src]

`type Lifted = AutoBorrow<'tcx>`

`fn lift_to_tcx(self, tcx: TyCtxt<'tcx>) -> Option<Self::Lifted>`[src]

`impl<'a, 'tcx> Lift<'tcx> for PredicateKind<'a>`[src]

`type Lifted = PredicateKind<'tcx>`

`fn lift_to_tcx(self, tcx: TyCtxt<'tcx>) -> Option<Self::Lifted>`[src]

`impl<'a, 'tcx> Lift<'tcx> for TypeError<'a>`[src]

`type Lifted = TypeError<'tcx>`

`fn lift_to_tcx(self, tcx: TyCtxt<'tcx>) -> Option<Self::Lifted>`[src]

`impl<'a, 'tcx> Lift<'tcx> for InstanceDef<'a>`[src]

`type Lifted = InstanceDef<'tcx>`

`fn lift_to_tcx(self, tcx: TyCtxt<'tcx>) -> Option<Self::Lifted>`[src]

`impl<'a, 'tcx> Lift<'tcx> for ExistentialPredicate<'a>`[src]

`type Lifted = ExistentialPredicate<'tcx>`

`fn lift_to_tcx(self, tcx: TyCtxt<'tcx>) -> Option<Self::Lifted>`[src]

`impl<'a, 'tcx> Lift<'tcx> for Adjustment<'a>`[src]

`type Lifted = Adjustment<'tcx>`

`fn lift_to_tcx(self, tcx: TyCtxt<'tcx>) -> Option<Self::Lifted>`[src]

`impl<'a, 'tcx> Lift<'tcx> for OverloadedDeref<'a>`[src]

`type Lifted = OverloadedDeref<'tcx>`

`fn lift_to_tcx(self, tcx: TyCtxt<'tcx>) -> Option<Self::Lifted>`[src]

`impl<'a, 'tcx> Lift<'tcx> for ParamEnv<'a>`[src]

`type Lifted = ParamEnv<'tcx>`

`fn lift_to_tcx(self, tcx: TyCtxt<'tcx>) -> Option<Self::Lifted>`[src]

`impl<'a, 'tcx> Lift<'tcx> for ProjectionPredicate<'a>`[src]

`type Lifted = ProjectionPredicate<'tcx>`

`fn lift_to_tcx(self, tcx: TyCtxt<'tcx>) -> Option<ProjectionPredicate<'tcx>>`[src]

`impl<'a, 'tcx> Lift<'tcx> for SubtypePredicate<'a>`[src]

`type Lifted = SubtypePredicate<'tcx>`

`fn lift_to_tcx(self, tcx: TyCtxt<'tcx>) -> Option<SubtypePredicate<'tcx>>`[src]

`impl<'a, 'tcx> Lift<'tcx> for TraitPredicate<'a>`[src]

`type Lifted = TraitPredicate<'tcx>`

`fn lift_to_tcx(self, tcx: TyCtxt<'tcx>) -> Option<TraitPredicate<'tcx>>`[src]

`impl<'a, 'tcx> Lift<'tcx> for ClosureSubsts<'a>`[src]

`type Lifted = ClosureSubsts<'tcx>`

`fn lift_to_tcx(self, tcx: TyCtxt<'tcx>) -> Option<Self::Lifted>`[src]

`impl<'a, 'tcx> Lift<'tcx> for ExistentialProjection<'a>`[src]

`type Lifted = ExistentialProjection<'tcx>`

`fn lift_to_tcx(self, tcx: TyCtxt<'tcx>) -> Option<Self::Lifted>`[src]

`impl<'a, 'tcx> Lift<'tcx> for ExistentialTraitRef<'a>`[src]

`type Lifted = ExistentialTraitRef<'tcx>`

`fn lift_to_tcx(self, tcx: TyCtxt<'tcx>) -> Option<Self::Lifted>`[src]

`impl<'a, 'tcx> Lift<'tcx> for FnSig<'a>`[src]

`type Lifted = FnSig<'tcx>`

`fn lift_to_tcx(self, tcx: TyCtxt<'tcx>) -> Option<Self::Lifted>`[src]

`impl<'a, 'tcx> Lift<'tcx> for GenSig<'a>`[src]

`type Lifted = GenSig<'tcx>`

`fn lift_to_tcx(self, tcx: TyCtxt<'tcx>) -> Option<Self::Lifted>`[src]

`impl<'a, 'tcx> Lift<'tcx> for GeneratorSubsts<'a>`[src]

`type Lifted = GeneratorSubsts<'tcx>`

`fn lift_to_tcx(self, tcx: TyCtxt<'tcx>) -> Option<Self::Lifted>`[src]

`impl<'a, 'tcx> Lift<'tcx> for ProjectionTy<'a>`[src]

`type Lifted = ProjectionTy<'tcx>`

`fn lift_to_tcx(self, tcx: TyCtxt<'tcx>) -> Option<ProjectionTy<'tcx>>`[src]

`impl<'a, 'tcx> Lift<'tcx> for TraitRef<'a>`[src]

`type Lifted = TraitRef<'tcx>`

`fn lift_to_tcx(self, tcx: TyCtxt<'tcx>) -> Option<Self::Lifted>`[src]

`impl<'a, 'tcx> Lift<'tcx> for GenericArg<'a>`[src]

`type Lifted = GenericArg<'tcx>`

`fn lift_to_tcx(self, tcx: TyCtxt<'tcx>) -> Option<Self::Lifted>`[src]

`impl<'a, 'tcx> Lift<'tcx> for Region<'a>`[src]

`type Lifted = Region<'tcx>`

`fn lift_to_tcx(self, tcx: TyCtxt<'tcx>) -> Option<Self::Lifted>`[src]

`impl<'a, 'tcx> Lift<'tcx> for Ty<'a>`[src]

`type Lifted = Ty<'tcx>`

`fn lift_to_tcx(self, tcx: TyCtxt<'tcx>) -> Option<Self::Lifted>`[src]

`impl<'a, 'tcx, T: Lift<'tcx>> Lift<'tcx> for ParamEnvAnd<'a, T>`[src]

`type Lifted = ParamEnvAnd<'tcx, T::Lifted>`

`fn lift_to_tcx(self, tcx: TyCtxt<'tcx>) -> Option<Self::Lifted>`[src]

`impl<'tcx> Lift<'tcx> for CanonicalVarKind<'tcx>`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for Certainty`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for BindingForm<'tcx>`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for FakeReadCause`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for MirPhase`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for Mutability`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for RetagKind`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for ErrorHandled`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for Reveal`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for StatementAsExpression`[src]

`type Lifted = StatementAsExpression`

`fn lift_to_tcx(self, _tcx: TyCtxt<'tcx>) -> Option<StatementAsExpression>`[src]

`impl<'tcx> Lift<'tcx> for AutoBorrowMutability`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for PointerCast`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for AdtKind`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for BindingMode`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for ClosureKind`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for FloatTy`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for InferTy`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for IntVarValue`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for Variance`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for BoundRegionKind`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for CanonicalVarInfo<'tcx>`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for Scope`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for CounterValueReference`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for ExpressionOperandId`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for InjectedExpressionId`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for InjectedExpressionIndex`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for MappedExpressionIndex`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for GraphIsCyclicCache`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for PredecessorCache`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for BlockTailInfo`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for Local`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for Promoted`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for SourceInfo`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for SourceScope`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for SourceScopeLocalData`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for IfExpressionCause`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for ImplSourceDiscriminantKindData`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for ImplSourcePointeeData`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for AssocItem`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for UserTypeAnnotationIndex`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for Placeholder<BoundRegionKind>`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for UniverseIndex`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for FreeRegion`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for ParamConst`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for ParamTy`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for RegionVid`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx> Lift<'tcx> for ProjectionKind`[src]

`type Lifted = Self`

`fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>`[src]

`impl<'tcx, 'lifted> Lift<'lifted> for ObligationCauseCode<'tcx>`[src]

`type Lifted = ObligationCauseCode<'__lifted>`

`fn lift_to_tcx( self, tcx: TyCtxt<'lifted> ) -> Option<ObligationCauseCode<'__lifted>>`[src]

`impl<'tcx, 'lifted> Lift<'lifted> for SelectionError<'tcx>`[src]

`type Lifted = SelectionError<'__lifted>`

`fn lift_to_tcx( self, tcx: TyCtxt<'lifted> ) -> Option<SelectionError<'__lifted>>`[src]

`impl<'tcx, 'lifted> Lift<'lifted> for OutlivesBound<'tcx>`[src]

`type Lifted = OutlivesBound<'__lifted>`

`fn lift_to_tcx( self, tcx: TyCtxt<'lifted> ) -> Option<OutlivesBound<'__lifted>>`[src]

`impl<'tcx, 'lifted> Lift<'lifted> for UserType<'tcx>`[src]

`type Lifted = UserType<'__lifted>`

`fn lift_to_tcx(self, tcx: TyCtxt<'lifted>) -> Option<UserType<'__lifted>>`[src]

`impl<'tcx, 'lifted> Lift<'lifted> for CanonicalVarValues<'tcx>`[src]

`type Lifted = CanonicalVarValues<'__lifted>`

`fn lift_to_tcx( self, tcx: TyCtxt<'lifted> ) -> Option<CanonicalVarValues<'__lifted>>`[src]

`impl<'tcx, 'lifted> Lift<'lifted> for QueryRegionConstraints<'tcx>`[src]

`type Lifted = QueryRegionConstraints<'__lifted>`

`fn lift_to_tcx( self, tcx: TyCtxt<'lifted> ) -> Option<QueryRegionConstraints<'__lifted>>`[src]

`impl<'tcx, 'lifted> Lift<'lifted> for MemberConstraint<'tcx>`[src]

`type Lifted = MemberConstraint<'__lifted>`

`fn lift_to_tcx( self, tcx: TyCtxt<'lifted> ) -> Option<MemberConstraint<'__lifted>>`[src]

`impl<'tcx, 'lifted> Lift<'lifted> for GlobalId<'tcx>`[src]

`type Lifted = GlobalId<'__lifted>`

`fn lift_to_tcx(self, tcx: TyCtxt<'lifted>) -> Option<GlobalId<'__lifted>>`[src]

`impl<'tcx, 'lifted> Lift<'lifted> for DropckOutlivesResult<'tcx>`[src]

`type Lifted = DropckOutlivesResult<'__lifted>`

`fn lift_to_tcx( self, tcx: TyCtxt<'lifted> ) -> Option<DropckOutlivesResult<'__lifted>>`[src]

`impl<'tcx, 'lifted> Lift<'lifted> for NormalizationResult<'tcx>`[src]

`type Lifted = NormalizationResult<'__lifted>`

`fn lift_to_tcx( self, tcx: TyCtxt<'lifted> ) -> Option<NormalizationResult<'__lifted>>`[src]

`impl<'tcx, 'lifted> Lift<'lifted> for AscribeUserType<'tcx>`[src]

`type Lifted = AscribeUserType<'__lifted>`

`fn lift_to_tcx( self, tcx: TyCtxt<'lifted> ) -> Option<AscribeUserType<'__lifted>>`[src]

`impl<'tcx, 'lifted> Lift<'lifted> for Eq<'tcx>`[src]

`type Lifted = Eq<'__lifted>`

`fn lift_to_tcx(self, tcx: TyCtxt<'lifted>) -> Option<Eq<'__lifted>>`[src]

`impl<'tcx, 'lifted> Lift<'lifted> for ProvePredicate<'tcx>`[src]

`type Lifted = ProvePredicate<'__lifted>`

`fn lift_to_tcx( self, tcx: TyCtxt<'lifted> ) -> Option<ProvePredicate<'__lifted>>`[src]

`impl<'tcx, 'lifted> Lift<'lifted> for Subtype<'tcx>`[src]

`type Lifted = Subtype<'__lifted>`

`fn lift_to_tcx(self, tcx: TyCtxt<'lifted>) -> Option<Subtype<'__lifted>>`[src]

`impl<'tcx, 'lifted> Lift<'lifted> for DerivedObligationCause<'tcx>`[src]

`type Lifted = DerivedObligationCause<'__lifted>`

`fn lift_to_tcx( self, tcx: TyCtxt<'lifted> ) -> Option<DerivedObligationCause<'__lifted>>`[src]

`impl<'tcx, 'lifted> Lift<'lifted> for MatchExpressionArmCause<'tcx>`[src]

`type Lifted = MatchExpressionArmCause<'__lifted>`

`fn lift_to_tcx( self, tcx: TyCtxt<'lifted> ) -> Option<MatchExpressionArmCause<'__lifted>>`[src]

`impl<'tcx, 'lifted> Lift<'lifted> for ObligationCause<'tcx>`[src]

`type Lifted = ObligationCause<'__lifted>`

`fn lift_to_tcx( self, tcx: TyCtxt<'lifted> ) -> Option<ObligationCause<'__lifted>>`[src]

`impl<'tcx, 'lifted> Lift<'lifted> for ObligationCauseData<'tcx>`[src]

`type Lifted = ObligationCauseData<'__lifted>`

`fn lift_to_tcx( self, tcx: TyCtxt<'lifted> ) -> Option<ObligationCauseData<'__lifted>>`[src]

`impl<'tcx, 'lifted> Lift<'lifted> for UnifyReceiverContext<'tcx>`[src]

`type Lifted = UnifyReceiverContext<'__lifted>`

`fn lift_to_tcx( self, tcx: TyCtxt<'lifted> ) -> Option<UnifyReceiverContext<'__lifted>>`[src]

`impl<'tcx, 'lifted> Lift<'lifted> for CanonicalUserTypeAnnotation<'tcx>`[src]

`type Lifted = CanonicalUserTypeAnnotation<'__lifted>`

`fn lift_to_tcx( self, tcx: TyCtxt<'lifted> ) -> Option<CanonicalUserTypeAnnotation<'__lifted>>`[src]

`impl<'tcx, 'lifted> Lift<'lifted> for Instance<'tcx>`[src]

`type Lifted = Instance<'__lifted>`

`fn lift_to_tcx(self, tcx: TyCtxt<'lifted>) -> Option<Instance<'__lifted>>`[src]

`impl<'tcx, 'lifted> Lift<'lifted> for TraitRefPrintOnlyTraitPath<'tcx>`[src]

`type Lifted = TraitRefPrintOnlyTraitPath<'__lifted>`

`fn lift_to_tcx( self, tcx: TyCtxt<'lifted> ) -> Option<TraitRefPrintOnlyTraitPath<'__lifted>>`[src]

`impl<'tcx, 'lifted> Lift<'lifted> for Predicate<'tcx>`[src]

`type Lifted = Predicate<'__lifted>`

`fn lift_to_tcx(self, tcx: TyCtxt<'lifted>) -> Option<Predicate<'__lifted>>`[src]

`impl<'tcx, 'lifted> Lift<'lifted> for TypeAndMut<'tcx>`[src]

`type Lifted = TypeAndMut<'__lifted>`

`fn lift_to_tcx(self, tcx: TyCtxt<'lifted>) -> Option<TypeAndMut<'__lifted>>`[src]

`impl<'tcx, 'lifted> Lift<'lifted> for UserSelfTy<'tcx>`[src]

`type Lifted = UserSelfTy<'__lifted>`

`fn lift_to_tcx(self, tcx: TyCtxt<'lifted>) -> Option<UserSelfTy<'__lifted>>`[src]

`impl<'tcx, 'lifted> Lift<'lifted> for UserSubsts<'tcx>`[src]

`type Lifted = UserSubsts<'__lifted>`

`fn lift_to_tcx(self, tcx: TyCtxt<'lifted>) -> Option<UserSubsts<'__lifted>>`[src]

`impl<'tcx, 'lifted, N> Lift<'lifted> for ImplSource<'tcx, N> where N: Lift<'__lifted>,` [src]

`type Lifted = ImplSource<'__lifted, N::Lifted>`

`fn lift_to_tcx( self, tcx: TyCtxt<'lifted> ) -> Option<ImplSource<'__lifted, N::Lifted>>`[src]

`impl<'tcx, 'lifted, N> Lift<'lifted> for ImplSourceClosureData<'tcx, N> where N: Lift<'__lifted>,` [src]

`type Lifted = ImplSourceClosureData<'__lifted, N::Lifted>`

`fn lift_to_tcx( self, tcx: TyCtxt<'lifted> ) -> Option<ImplSourceClosureData<'__lifted, N::Lifted>>`[src]

`impl<'tcx, 'lifted, N> Lift<'lifted> for ImplSourceFnPointerData<'tcx, N> where N: Lift<'__lifted>,` [src]

`type Lifted = ImplSourceFnPointerData<'__lifted, N::Lifted>`

`fn lift_to_tcx( self, tcx: TyCtxt<'lifted> ) -> Option<ImplSourceFnPointerData<'__lifted, N::Lifted>>`[src]

`impl<'tcx, 'lifted, N> Lift<'lifted> for ImplSourceGeneratorData<'tcx, N> where N: Lift<'__lifted>,` [src]

`type Lifted = ImplSourceGeneratorData<'__lifted, N::Lifted>`

`fn lift_to_tcx( self, tcx: TyCtxt<'lifted> ) -> Option<ImplSourceGeneratorData<'__lifted, N::Lifted>>`[src]

`impl<'tcx, 'lifted, N> Lift<'lifted> for ImplSourceObjectData<'tcx, N> where N: Lift<'__lifted>,` [src]

`type Lifted = ImplSourceObjectData<'__lifted, N::Lifted>`

`fn lift_to_tcx( self, tcx: TyCtxt<'lifted> ) -> Option<ImplSourceObjectData<'__lifted, N::Lifted>>`[src]

`impl<'tcx, 'lifted, N> Lift<'lifted> for ImplSourceTraitAliasData<'tcx, N> where N: Lift<'__lifted>,` [src]

`type Lifted = ImplSourceTraitAliasData<'__lifted, N::Lifted>`

`fn lift_to_tcx( self, tcx: TyCtxt<'lifted> ) -> Option<ImplSourceTraitAliasData<'__lifted, N::Lifted>>`[src]

`impl<'tcx, 'lifted, N> Lift<'lifted> for ImplSourceUserDefinedData<'tcx, N> where N: Lift<'__lifted>,` [src]

`type Lifted = ImplSourceUserDefinedData<'__lifted, N::Lifted>`

`fn lift_to_tcx( self, tcx: TyCtxt<'lifted> ) -> Option<ImplSourceUserDefinedData<'__lifted, N::Lifted>>`[src]

`impl<'tcx, 'lifted, R> Lift<'lifted> for QueryResponse<'tcx, R> where R: Lift<'__lifted>,` [src]

`type Lifted = QueryResponse<'__lifted, R::Lifted>`

`fn lift_to_tcx( self, tcx: TyCtxt<'lifted> ) -> Option<QueryResponse<'__lifted, R::Lifted>>`[src]

`impl<'tcx, 'lifted, V> Lift<'lifted> for Canonical<'tcx, V> where V: Lift<'__lifted>,` [src]

`type Lifted = Canonical<'__lifted, V::Lifted>`

`fn lift_to_tcx( self, tcx: TyCtxt<'lifted> ) -> Option<Canonical<'__lifted, V::Lifted>>`[src]

`impl<'tcx, A: Copy + Lift<'tcx>, B: Copy + Lift<'tcx>> Lift<'tcx> for OutlivesPredicate<A, B>`[src]

`type Lifted = OutlivesPredicate<A::Lifted, B::Lifted>`

`fn lift_to_tcx(self, tcx: TyCtxt<'tcx>) -> Option<Self::Lifted>`[src]

`impl<'tcx, T: Lift<'tcx>> Lift<'tcx> for ExpectedFound<T>`[src]

`type Lifted = ExpectedFound<T::Lifted>`

`fn lift_to_tcx(self, tcx: TyCtxt<'tcx>) -> Option<Self::Lifted>`[src]

`impl<'tcx, T: Lift<'tcx>> Lift<'tcx> for Binder<T>`[src]

`type Lifted = Binder<T::Lifted>`

`fn lift_to_tcx(self, tcx: TyCtxt<'tcx>) -> Option<Self::Lifted>`[src]

Loading content...