Trait rustc_smir::rustc_internal::RustcInternal

pub trait RustcInternal<'tcx> {
    type T;

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

Trait used to translate a stable construct to its rustc counterpart.

This is basically a mirror of crate::rustc_smir::Stable.

Required Associated Types

type T

Required Methods

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

Implementations on Foreign Types

impl<'tcx> RustcInternal<'tcx> for Mutability

type T = Mutability

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

impl<'tcx> RustcInternal<'tcx> for Safety

type T = Unsafety

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

impl<'tcx> RustcInternal<'tcx> for MonoItem

type T = MonoItem<'tcx>

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

impl<'tcx> RustcInternal<'tcx> for Abi

type T = Abi

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

impl<'tcx> RustcInternal<'tcx> for BoundVariableKind

type T = BoundVariableKind

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

impl<'tcx> RustcInternal<'tcx> for ClosureKind

type T = ClosureKind

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

impl<'tcx> RustcInternal<'tcx> for DynKind

type T = DynKind

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

impl<'tcx> RustcInternal<'tcx> for ExistentialPredicate

type T = ExistentialPredicate<'tcx>

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

impl<'tcx> RustcInternal<'tcx> for FloatTy

type T = FloatTy

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

impl<'tcx> RustcInternal<'tcx> for GenericArgKind

type T = GenericArg<'tcx>

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

impl<'tcx> RustcInternal<'tcx> for IntTy

type T = IntTy

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

impl<'tcx> RustcInternal<'tcx> for Movability

type T = Movability

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

impl<'tcx> RustcInternal<'tcx> for RigidTy

type T = TyKind<TyCtxt<'tcx>>

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

impl<'tcx> RustcInternal<'tcx> for TermKind

type T = Term<'tcx>

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

impl<'tcx> RustcInternal<'tcx> for UintTy

type T = UintTy

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

impl<'tcx> RustcInternal<'tcx> for Layout

type T = Layout<'tcx>

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

impl<'tcx> RustcInternal<'tcx> for DefId

type T = DefId

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

impl<'tcx> RustcInternal<'tcx> for AllocId

type T = AllocId

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

impl<'tcx> RustcInternal<'tcx> for Instance

type T = Instance<'tcx>

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

impl<'tcx> RustcInternal<'tcx> for StaticDef

type T = DefId

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

impl<'tcx> RustcInternal<'tcx> for CrateItem

type T = DefId

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

impl<'tcx> RustcInternal<'tcx> for AdtDef

type T = AdtDef<'tcx>

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

impl<'tcx> RustcInternal<'tcx> for Const

type T = Const<'tcx>

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

impl<'tcx> RustcInternal<'tcx> for ExistentialProjection

type T = ExistentialProjection<'tcx>

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

impl<'tcx> RustcInternal<'tcx> for ExistentialTraitRef

type T = ExistentialTraitRef<'tcx>

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

impl<'tcx> RustcInternal<'tcx> for FnSig

type T = FnSig<'tcx>

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

impl<'tcx> RustcInternal<'tcx> for GenericArgs

type T = &'tcx List<GenericArg<'tcx>>

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

impl<'tcx> RustcInternal<'tcx> for Region

type T = Region<'tcx>

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

impl<'tcx> RustcInternal<'tcx> for Span

type T = Span

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

impl<'tcx> RustcInternal<'tcx> for TraitRef

type T = TraitRef<'tcx>

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

impl<'tcx> RustcInternal<'tcx> for Ty

type T = Ty<'tcx>

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

impl<'tcx> RustcInternal<'tcx> for VariantDef

type T = &'tcx VariantDef

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

impl<'tcx> RustcInternal<'tcx> for VariantIdx

type T = VariantIdx

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

impl<'tcx> RustcInternal<'tcx> for CrateNum

type T = CrateNum

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

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

where T: RustcInternal<'tcx>,

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

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

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

where T: RustcInternal<'tcx>,

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

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

impl<'tcx, T> RustcInternal<'tcx> for Binder<T>

where T: RustcInternal<'tcx>, T::T: TypeVisitable<TyCtxt<'tcx>>,

type T = Binder<'tcx, <T as RustcInternal<'tcx>>::T>

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

impl<'tcx, T> RustcInternal<'tcx> for Vec<T>

where T: RustcInternal<'tcx>,

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

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

Implementors