pub trait Lift<I>: Debug {
type Lifted: Debug;
// Required method
fn lift_to_interner(self, cx: I) -> 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.
Panics if the value or one of the components is not part
of the provided context.
For Ty, this can happen 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§
fn lift_to_interner(self, cx: I) -> Self::Lifted
Dyn Compatibility§
This trait is dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety".