Trait rustc_smir::rustc_smir::Stable

pub(crate) trait Stable<'tcx> {
    type T;

    // Required method
    fn stable(&self, tables: &mut Tables<'tcx>) -> 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<'tcx>) -> Self::T

Converts an object to the equivalent Stable MIR representation.

Implementations on Foreign Types

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

type T = Variance

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

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

type T = GenericArgKind

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

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

type T = FloatTy

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

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

type T = BoundTyKind

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

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

type T = Region

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

impl<'tcx> Stable<'tcx> for Unsafety

type T = Safety

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

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

type T = EarlyBinder<V>

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

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

type T = NullOp

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

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

type T = TyKind

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

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

type T = Constant

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

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

type T = UserTypeProjection

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

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

type T = InlineAsmOperand

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

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

type T = TerminatorKind

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

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

type T = UnOp

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

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

type T = ParamTy

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

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

type T = CoercePredicate

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

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

type T = Generics

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

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

type T = Allocation

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

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

type T = ClosureKind

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

impl<'tcx> Stable<'tcx> for DefKind

type T = Opaque

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

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

type T = Place

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

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

type T = BinOp

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

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

type T = SubtypePredicate

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

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

type T = TraitRef

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

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

type T = BoundTy

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

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

type T = GenericArgs

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

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

type T = TraitSpecializationKind

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

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

type T = ParamConst

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

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

type T = ExistentialTraitRef

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

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

type T = Operand

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

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

type T = BorrowKind

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

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

type T = AggregateKind

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

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

type T = Const

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

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

type T = TermKind

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

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

type T = FakeReadCause

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

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

type T = ClauseKind

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

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

type T = BoundVariableKind

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

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

type T = IntTy

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

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

type T = AliasTy

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

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

type T = TraitPredicate

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

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

type T = StatementKind

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

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

type T = ProjectionPredicate

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

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

type T = Statement

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

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

type T = BoundRegionKind

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

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

type T = TraitDecl

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

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

type T = MutBorrowKind

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

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

type T = PointerCoercion

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

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

type T = Terminator

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

impl<'tcx> Stable<'tcx> for GeneratorKind

type T = GeneratorKind

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

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

type T = usize

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

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

type T = CastKind

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

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

type T = AliasRelationDirection

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

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

type T = usize

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

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

type T = ExistentialPredicate

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

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

type T = FnSig

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

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

type T = Movability

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

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

type T = usize

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

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

type T = Span

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

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

type T = UintTy

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

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

type T = PredicateKind

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

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

type T = NonDivergingIntrinsic

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

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

type T = RetagKind

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

impl<'tcx> Stable<'tcx> for AliasKind

type T = AliasKind

fn stable(&self, _: &mut Tables<'tcx>) -> 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<'tcx>) -> Self::T

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

type T = Mutability

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

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

type T = AssertMessage

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

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

type T = UnwindAction

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

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

type T = ExistentialProjection

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

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

type T = ImplPolarity

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

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

type T = Rvalue

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

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

type T = GenericParamDef

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

impl<'tcx, A, B, U, V> Stable<'tcx> for OutlivesPredicate<A, B>where A: Stable<'tcx, T = U>, B: Stable<'tcx, T = V>,

type T = OutlivesPredicate<U, V>

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

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

type T = Const

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

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

type T = DynKind

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

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

type T = GenericParamDefKind

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

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

type T = usize

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

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

type T = RegionKind

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

Implementors