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 IntTy

type T = IntTy

fn stable(&self, _: &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 UnOp

type T = UnOp

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 UnwindAction

type T = UnwindAction

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 Movability

type T = Movability

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 TermKind<'tcx>

type T = TermKind

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

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

type T = BoundRegionKind

fn stable(&self, _: &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 BoundTyKind

type T = BoundTyKind

fn stable(&self, _: &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 ExistentialProjection<'tcx>

type T = ExistentialProjection

fn stable(&self, tables: &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 BorrowKind

type T = BorrowKind

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> Stable<'tcx> for GeneratorKind

type T = GeneratorKind

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 PointerCoercion

type T = PointerCoercion

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 BoundTy

type T = BoundTy

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 FieldIdx

type T = usize

fn stable(&self, _: &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 Place<'tcx>

type T = Place

fn stable(&self, _: &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 Terminator<'tcx>

type T = Terminator

fn stable(&self, tables: &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 Ty<'tcx>

type T = TyKind

fn stable(&self, tables: &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 AssertMessage<'tcx>

type T = AssertMessage

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 UintTy

type T = UintTy

fn stable(&self, _: &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 GenericArgKind<'tcx>

type T = GenericArgKind

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

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

type T = AliasKind

fn stable(&self, _: &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 ExistentialTraitRef<'tcx>

type T = ExistentialTraitRef

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

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

type T = BinOp

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

Implementors