Trait Stable

pub trait Stable<'cx> {
    type T;

    // Required method
    fn stable(&self, tables: &mut Tables<'_>) -> Self::T;
}

Trait used to convert between an internal MIR type to a Stable MIR type.

Required Associated Types

type T

The stable representation of the type implementing Stable.

Required Methods

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

Converts an object to the equivalent Stable MIR representation.

Implementations on Foreign Types

impl<'tcx> Stable<'tcx> for Const<'tcx>

type T = MirConst

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for VarDebugInfoContents<'tcx>

type T = VarDebugInfoContents

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for AllocError

type T = Error

fn stable(&self, _tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for GlobalAlloc<'tcx>

type T = GlobalAlloc

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for ErrorHandled

type T = Error

fn stable(&self, _tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for MonoItem<'tcx>

type T = MonoItem

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for AggregateKind<'tcx>

type T = AggregateKind

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for BinOp

type T = BinOp

fn stable(&self, _: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for BorrowKind

type T = BorrowKind

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for CastKind

type T = CastKind

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for FakeBorrowKind

type T = FakeBorrowKind

fn stable(&self, _: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for FakeReadCause

type T = FakeReadCause

fn stable(&self, _: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for InlineAsmOperand<'tcx>

type T = InlineAsmOperand

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for MutBorrowKind

type T = MutBorrowKind

fn stable(&self, _: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for NonDivergingIntrinsic<'tcx>

type T = NonDivergingIntrinsic

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for NullOp<'tcx>

type T = NullOp

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for Operand<'tcx>

type T = Operand

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for RetagKind

type T = RetagKind

fn stable(&self, _: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for Rvalue<'tcx>

type T = Rvalue

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for StatementKind<'tcx>

type T = StatementKind

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for TerminatorKind<'tcx>

type T = TerminatorKind

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for UnOp

type T = UnOp

fn stable(&self, _: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for UnwindAction

type T = UnwindAction

fn stable(&self, _: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for PointerCoercion

type T = PointerCoercion

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for AdtKind

type T = AdtKind

fn stable(&self, _tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for GenericParamDefKind

type T = GenericParamDefKind

fn stable(&self, _: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for LayoutError<'tcx>

type T = Error

fn stable(&self, _tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for BoundRegionKind

type T = BoundRegionKind

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for BoundTyKind

type T = BoundTyKind

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for BoundVariableKind

type T = BoundVariableKind

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for TraitSpecializationKind

type T = TraitSpecializationKind

fn stable(&self, _: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for Conv

type T = CallConvention

fn stable(&self, _tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for PassMode

type T = PassMode

fn stable(&self, _tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for Allocation

type T = Allocation

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for ConstAllocation<'tcx>

type T = Allocation

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for AllocId

type T = AllocId

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for Statement<'tcx>

type T = Statement

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for Body<'tcx>

type T = Body

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for Local

type T = usize

fn stable(&self, _: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for SourceInfo

type T = SourceInfo

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for UserTypeProjection

type T = UserTypeProjection

fn stable(&self, _tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for VarDebugInfo<'tcx>

type T = VarDebugInfo

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for VarDebugInfoFragment<'tcx>

type T = VarDebugInfoFragment

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for ConstOperand<'tcx>

type T = ConstOperand

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for Place<'tcx>

type T = Place

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for Terminator<'tcx>

type T = Terminator

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for Const<'tcx>

type T = TyConst

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for GenericParamDef

type T = GenericParamDef

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for Generics

type T = Generics

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for Instance<'tcx>

type T = Instance

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for Pattern<'tcx>

type T = Pattern

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for Region<'tcx>

type T = Region

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for FieldDef

type T = FieldDef

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for Ty<'tcx>

type T = Ty

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for BoundTy

type T = BoundTy

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for ParamConst

type T = ParamConst

fn stable(&self, _: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for ParamTy

type T = ParamTy

fn stable(&self, _: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for TraitDef

type T = TraitDecl

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for UserTypeAnnotationIndex

type T = usize

fn stable(&self, _: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for Span

type T = Span

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for Symbol

type T = String

fn stable(&self, _tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for ArgAbi<'tcx, Ty<'tcx>>

type T = ArgAbi

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for FnAbi<'tcx, Ty<'tcx>>

type T = FnAbi

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for AssertMessage<'tcx>

type T = AssertMessage

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for PlaceElem<'tcx>

type T = ProjectionElem

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for GenericArgKind<'tcx>

type T = GenericArgKind

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for GenericArgs<'tcx>

type T = GenericArgs

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for TermKind<'tcx>

type T = TermKind

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for AliasTerm<'tcx>

type T = AliasTerm

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for ClauseKind<'tcx>

type T = ClauseKind

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for CoercePredicate<'tcx>

type T = CoercePredicate

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for ExistentialPredicate<'tcx>

type T = ExistentialPredicate

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for ExistentialProjection<'tcx>

type T = ExistentialProjection

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for ExistentialTraitRef<'tcx>

type T = ExistentialTraitRef

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for PredicateKind<'tcx>

type T = PredicateKind

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for ProjectionPredicate<'tcx>

type T = ProjectionPredicate

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for SubtypePredicate<'tcx>

type T = SubtypePredicate

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for TraitPredicate<'tcx>

type T = TraitPredicate

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for TraitRef<'tcx>

type T = TraitRef

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for RegionKind<'tcx>

type T = RegionKind

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for AliasTy<'tcx>

type T = AliasTy

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for FnSig<'tcx>

type T = FnSig

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for TyKind<'tcx>

type T = TyKind

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for AddressSpace

type T = AddressSpace

fn stable(&self, _tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for AliasRelationDirection

type T = AliasRelationDirection

fn stable(&self, _: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for AliasTyKind

type T = AliasKind

fn stable(&self, _: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for Align

type T = u64

fn stable(&self, _tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for BackendRepr

type T = ValueAbi

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for ClosureKind

type T = ClosureKind

fn stable(&self, _: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for CoroutineKind

type T = CoroutineKind

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for CoroutineSource

type T = CoroutineSource

fn stable(&self, _: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for DynKind

type T = DynKind

fn stable(&self, _: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for Endian

type T = Endian

fn stable(&self, _tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for ExternAbi

type T = Abi

fn stable(&self, _: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for FieldIdx

type T = usize

fn stable(&self, _: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for FieldsShape<FieldIdx>

type T = FieldsShape

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for Float

type T = FloatLength

fn stable(&self, _tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for FloatTy

type T = FloatTy

fn stable(&self, _: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for ForeignModule

type T = ForeignModule

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for ImplPolarity

type T = ImplPolarity

fn stable(&self, _: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for IntTy

type T = IntTy

fn stable(&self, _: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for Integer

type T = IntegerLength

fn stable(&self, _tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for Layout<'tcx>

type T = Layout

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for LayoutData<FieldIdx, VariantIdx>

type T = LayoutShape

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for Movability

type T = Movability

fn stable(&self, _: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for Mutability

type T = Mutability

fn stable(&self, _: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for PredicatePolarity

type T = PredicatePolarity

fn stable(&self, _: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for Primitive

type T = Primitive

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for Safety

type T = Safety

fn stable(&self, _: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for Scalar

type T = Scalar

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for Size

type T = MachineSize

fn stable(&self, _tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for TagEncoding<VariantIdx>

type T = TagEncoding

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for TyAndLayout<'tcx, Ty<'tcx>>

type T = TyAndLayout

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for UintTy

type T = UintTy

fn stable(&self, _: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for Variance

type T = Variance

fn stable(&self, _: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for VariantIdx

type T = VariantIdx

fn stable(&self, _: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for Variants<FieldIdx, VariantIdx>

type T = VariantsShape

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx> Stable<'tcx> for WrappingRange

type T = WrappingRange

fn stable(&self, _tables: &mut Tables<'_>) -> Self::T

impl<'tcx, S, V> Stable<'tcx> for Binder<'tcx, S>

where S: Stable<'tcx, T = V>,

type T = Binder<V>

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx, S, V> Stable<'tcx> for EarlyBinder<'tcx, S>

where S: Stable<'tcx, T = V>,

type T = EarlyBinder<V>

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx, T> Stable<'tcx> for &[T]

where T: Stable<'tcx>,

type T = Vec<<T as Stable<'tcx>>::T>

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx, T> Stable<'tcx> for Option<T>

where T: Stable<'tcx>,

type T = Option<<T as Stable<'tcx>>::T>

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx, T> Stable<'tcx> for &T

where T: Stable<'tcx>,

type T = <T as Stable<'tcx>>::T

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx, T> Stable<'tcx> for RangeInclusive<T>

where T: Stable<'tcx>,

type T = RangeInclusive<<T as Stable<'tcx>>::T>

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx, T> Stable<'tcx> for OutlivesPredicate<'tcx, T>

where T: Stable<'tcx>,

type T = OutlivesPredicate<<T as Stable<'tcx>>::T, Region>

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx, T, E> Stable<'tcx> for Result<T, E>

where T: Stable<'tcx>, E: Stable<'tcx>,

type T = Result<<T as Stable<'tcx>>::T, <E as Stable<'tcx>>::T>

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

impl<'tcx, T, U> Stable<'tcx> for (T, U)

where T: Stable<'tcx>, U: Stable<'tcx>,

type T = (<T as Stable<'tcx>>::T, <U as Stable<'tcx>>::T)

fn stable(&self, tables: &mut Tables<'_>) -> Self::T

Implementors