Trait ToRustc 

pub trait ToRustc<'tcx> {
    type T;

    // Required method
    fn to_rustc(&self, tcx: TyCtxt<'tcx>) -> Self::T;
}

Required Associated Types

type T

Required Methods

fn to_rustc(&self, tcx: TyCtxt<'tcx>) -> Self::T

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl<'tcx> ToRustc<'tcx> for Ty<'tcx>

type T = Ty<'tcx>

fn to_rustc(&self, _tcx: TyCtxt<'tcx>) -> Self

Implementors

impl<'tcx, V> ToRustc<'tcx> for Binder<V>

where V: ToRustc<'tcx, T: TypeVisitable<TyCtxt<'tcx>>>,

type T = Binder<TyCtxt<'tcx>, <V as ToRustc<'tcx>>::T>

impl<'tcx> ToRustc<'tcx> for AdtDef

type T = AdtDef<'tcx>

impl<'tcx> ToRustc<'tcx> for AliasConst

type T = Alias<TyCtxt<'tcx>, AliasConstKind<TyCtxt<'tcx>>>

impl<'tcx> ToRustc<'tcx> for AliasTy

type T = Alias<TyCtxt<'tcx>, AliasTyKind<TyCtxt<'tcx>>>

impl<'tcx> ToRustc<'tcx> for BoundRegion

type T = BoundRegion<TyCtxt<'tcx>>

impl<'tcx> ToRustc<'tcx> for BoundRegionKind

type T = BoundRegionKind<TyCtxt<'tcx>>

impl<'tcx> ToRustc<'tcx> for Const

type T = Const<TyCtxt<'tcx>>

impl<'tcx> ToRustc<'tcx> for ExistentialPredicate

type T = ExistentialPredicate<TyCtxt<'tcx>>

impl<'tcx> ToRustc<'tcx> for FnSig

type T = FnSig<TyCtxt<'tcx>>

impl<'tcx> ToRustc<'tcx> for GenericArg

type T = GenericArg<'tcx>

impl<'tcx> ToRustc<'tcx> for GenericArgs

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

impl<'tcx> ToRustc<'tcx> for Region

type T = Region<TyCtxt<'tcx>>

impl<'tcx> ToRustc<'tcx> for flux_rustc_bridge::ty::Ty

type T = Ty<'tcx>

impl<'tcx> ToRustc<'tcx> for ValTree

type T = ValTree<'tcx>