Trait rustc_smir::rustc_internal::RustcInternal

pub trait RustcInternal {
    type T<'tcx>;

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

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

Required Methods

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

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl RustcInternal for Mutability

type T<'tcx> = Mutability

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

impl RustcInternal for Safety

type T<'tcx> = Unsafety

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

impl RustcInternal for MonoItem

type T<'tcx> = MonoItem<'tcx>

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

impl RustcInternal for Abi

type T<'tcx> = Abi

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

impl RustcInternal for BoundVariableKind

type T<'tcx> = BoundVariableKind

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

impl RustcInternal for ClosureKind

type T<'tcx> = ClosureKind

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

impl RustcInternal for DynKind

type T<'tcx> = DynKind

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

impl RustcInternal for ExistentialPredicate

type T<'tcx> = ExistentialPredicate<'tcx>

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

impl RustcInternal for FloatTy

type T<'tcx> = FloatTy

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

impl RustcInternal for GenericArgKind

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

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

impl RustcInternal for IntTy

type T<'tcx> = IntTy

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

impl RustcInternal for Movability

type T<'tcx> = Movability

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

impl RustcInternal for RigidTy

type T<'tcx> = TyKind<TyCtxt<'tcx>>

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

impl RustcInternal for TermKind

type T<'tcx> = Term<'tcx>

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

impl RustcInternal for UintTy

type T<'tcx> = UintTy

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

impl RustcInternal for Layout

type T<'tcx> = Layout<'tcx>

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

impl RustcInternal for DefId

type T<'tcx> = DefId

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

impl RustcInternal for AllocId

type T<'tcx> = AllocId

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

impl RustcInternal for Instance

type T<'tcx> = Instance<'tcx>

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

impl RustcInternal for StaticDef

type T<'tcx> = DefId

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

impl RustcInternal for CrateItem

type T<'tcx> = DefId

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

impl RustcInternal for AdtDef

type T<'tcx> = AdtDef<'tcx>

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

impl RustcInternal for Const

type T<'tcx> = Const<'tcx>

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

impl RustcInternal for ExistentialProjection

type T<'tcx> = ExistentialProjection<'tcx>

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

impl RustcInternal for ExistentialTraitRef

type T<'tcx> = ExistentialTraitRef<'tcx>

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

impl RustcInternal for FnSig

type T<'tcx> = FnSig<'tcx>

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

impl RustcInternal for GenericArgs

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

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

impl RustcInternal for Region

type T<'tcx> = Region<'tcx>

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

impl RustcInternal for Span

type T<'tcx> = Span

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

impl RustcInternal for TraitRef

type T<'tcx> = TraitRef<'tcx>

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

impl RustcInternal for Ty

type T<'tcx> = Ty<'tcx>

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

impl RustcInternal for VariantDef

type T<'tcx> = &'tcx VariantDef

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

impl RustcInternal for VariantIdx

type T<'tcx> = VariantIdx

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

impl RustcInternal for CrateNum

type T<'tcx> = CrateNum

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

impl<T> RustcInternal for Option<T>

where T: RustcInternal,

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

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

impl<T> RustcInternal for &T

where T: RustcInternal,

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

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

impl<T> RustcInternal for Binder<T>

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

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

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

impl<T> RustcInternal for Vec<T>

where T: RustcInternal,

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

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

Implementors