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

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> ToRustc<'tcx> for AliasKind

type T = AliasTyKind

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

type T = ExistentialPredicate<TyCtxt<'tcx>>

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

type T = GenericArg<'tcx>

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

type T = Region<'tcx>

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

type T = ValTree<'tcx>

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

type T = AdtDef<'tcx>

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

type T = AliasTy<TyCtxt<'tcx>>

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

type T = BoundRegion

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

type T = Const<'tcx>

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

type T = FnSig<TyCtxt<'tcx>>

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

type T = Ty<'tcx>

impl<'tcx> ToRustc<'tcx> for UnevaluatedConst

type T = UnevaluatedConst<TyCtxt<'tcx>>

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

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

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>