Trait 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>

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl RustcInternal for BinOp

type T<'tcx> = BinOp

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

impl RustcInternal for Mutability

type T<'tcx> = Mutability

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

impl RustcInternal for ProjectionElem

type T<'tcx> = ProjectionElem<Local, Ty<'tcx>>

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

impl RustcInternal for Safety

type T<'tcx> = Safety

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

impl RustcInternal for UnOp

type T<'tcx> = UnOp

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> = ExternAbi

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<TyCtxt<'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 Pattern

type T<'tcx> = Pattern<'tcx>

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 Place

type T<'tcx> = Place<'tcx>

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 ExistentialProjection

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

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

impl RustcInternal for ExistentialTraitRef

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

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

impl RustcInternal for FnSig

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

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

impl RustcInternal for GenericArgs

type T<'tcx> = &'tcx RawList<(), GenericArg<'tcx>>

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

impl RustcInternal for MirConst

type T<'tcx> = Const<'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<TyCtxt<'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 TyConst

type T<'tcx> = Const<'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<TyCtxt<'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