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

impl RustcInternal for BinOp

type T<'tcx> = BinOp

impl RustcInternal for Mutability

type T<'tcx> = Mutability

impl RustcInternal for ProjectionElem

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

impl RustcInternal for RawPtrKind

type T<'tcx> = RawPtrKind

impl RustcInternal for Safety

type T<'tcx> = Safety

impl RustcInternal for UnOp

type T<'tcx> = UnOp

impl RustcInternal for MonoItem

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

impl RustcInternal for Abi

type T<'tcx> = ExternAbi

impl RustcInternal for BoundVariableKind

type T<'tcx> = BoundVariableKind

impl RustcInternal for ClosureKind

type T<'tcx> = ClosureKind

impl RustcInternal for DynKind

type T<'tcx> = DynKind

impl RustcInternal for ExistentialPredicate

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

impl RustcInternal for FloatTy

type T<'tcx> = FloatTy

impl RustcInternal for GenericArgKind

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

impl RustcInternal for IntTy

type T<'tcx> = IntTy

impl RustcInternal for Movability

type T<'tcx> = Movability

impl RustcInternal for Pattern

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

impl RustcInternal for RigidTy

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

impl RustcInternal for TermKind

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

impl RustcInternal for UintTy

type T<'tcx> = UintTy

impl RustcInternal for Layout

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

impl RustcInternal for DefId

type T<'tcx> = DefId

impl RustcInternal for AllocId

type T<'tcx> = AllocId

impl RustcInternal for Instance

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

impl RustcInternal for StaticDef

type T<'tcx> = DefId

impl RustcInternal for Place

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

impl RustcInternal for CrateItem

type T<'tcx> = DefId

impl RustcInternal for AdtDef

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

impl RustcInternal for ExistentialProjection

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

impl RustcInternal for ExistentialTraitRef

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

impl RustcInternal for FnSig

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

impl RustcInternal for GenericArgs

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

impl RustcInternal for MirConst

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

impl RustcInternal for Region

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

impl RustcInternal for Span

type T<'tcx> = Span

impl RustcInternal for TraitRef

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

impl RustcInternal for Ty

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

impl RustcInternal for TyConst

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

impl RustcInternal for VariantDef

type T<'tcx> = &'tcx VariantDef

impl RustcInternal for VariantIdx

type T<'tcx> = VariantIdx

impl RustcInternal for CrateNum

type T<'tcx> = CrateNum

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