Trait Lower

pub trait Lower<'tcx> {
    type R;

    // Required method
    fn lower(self, tcx: TyCtxt<'tcx>) -> Self::R;
}

Required Associated Types

type R

Required Methods

fn lower(self, tcx: TyCtxt<'tcx>) -> Self::R

Implementations on Foreign Types

impl<'tcx> Lower<'tcx> for &'tcx Generics

type R = Generics<'tcx>

fn lower(self, tcx: TyCtxt<'tcx>) -> Self::R

impl<'tcx> Lower<'tcx> for &'tcx List<BoundVariableKind>

type R = Result<Interned<[BoundVariableKind]>, UnsupportedReason>

fn lower(self, _tcx: TyCtxt<'tcx>) -> Self::R

impl<'tcx> Lower<'tcx> for &GenericParamDef

type R = GenericParamDef

fn lower(self, _tcx: TyCtxt<'tcx>) -> Self::R

impl<'tcx> Lower<'tcx> for ValTree<'tcx>

type R = ValTree

fn lower(self, _tcx: TyCtxt<'tcx>) -> Self::R

impl<'tcx> Lower<'tcx> for AdtDef<'tcx>

type R = AdtDef

fn lower(self, tcx: TyCtxt<'tcx>) -> Self::R

impl<'tcx> Lower<'tcx> for Const<'tcx>

type R = Result<Const, UnsupportedReason>

fn lower(self, tcx: TyCtxt<'tcx>) -> Self::R

impl<'tcx> Lower<'tcx> for GenericArg<'tcx>

type R = Result<GenericArg, UnsupportedReason>

fn lower(self, tcx: TyCtxt<'tcx>) -> Self::R

impl<'tcx> Lower<'tcx> for GenericPredicates<'tcx>

type R = Result<GenericPredicates, UnsupportedErr>

fn lower(self, tcx: TyCtxt<'tcx>) -> Self::R

impl<'tcx> Lower<'tcx> for Clause<'tcx>

type R = Result<Clause, UnsupportedReason>

fn lower(self, tcx: TyCtxt<'tcx>) -> Self::R

impl<'tcx> Lower<'tcx> for Region<'tcx>

type R = Result<Region, UnsupportedReason>

fn lower(self, _tcx: TyCtxt<'tcx>) -> Self::R

impl<'tcx> Lower<'tcx> for Ty<'tcx>

type R = Result<Ty, UnsupportedReason>

fn lower(self, tcx: TyCtxt<'tcx>) -> Self::R

impl<'tcx> Lower<'tcx> for GenericArgsRef<'tcx>

type R = Result<Interned<[GenericArg]>, UnsupportedReason>

fn lower(self, tcx: TyCtxt<'tcx>) -> Self::R

impl<'tcx> Lower<'tcx> for ClauseKind<'tcx>

type R = Result<ClauseKind, UnsupportedReason>

fn lower(self, tcx: TyCtxt<'tcx>) -> Self::R

impl<'tcx> Lower<'tcx> for ExistentialPredicate<'tcx>

type R = Result<ExistentialPredicate, UnsupportedReason>

fn lower(self, tcx: TyCtxt<'tcx>) -> Self::R

impl<'tcx> Lower<'tcx> for TraitRef<'tcx>

type R = Result<TraitRef, UnsupportedReason>

fn lower(self, tcx: TyCtxt<'tcx>) -> Self::R

impl<'tcx> Lower<'tcx> for TypeOutlivesPredicate<'tcx>

type R = Result<OutlivesPredicate<Ty>, UnsupportedReason>

fn lower(self, tcx: TyCtxt<'tcx>) -> Self::R

impl<'tcx> Lower<'tcx> for FnSig<'tcx>

type R = Result<FnSig, UnsupportedReason>

fn lower(self, tcx: TyCtxt<'tcx>) -> Self::R

impl<'tcx> Lower<'tcx> for Clauses<'tcx>

type R = Result<Interned<[Clause]>, UnsupportedErr>

fn lower(self, tcx: TyCtxt<'tcx>) -> Self::R

impl<'tcx> Lower<'tcx> for AliasTyKind

type R = Result<AliasKind, UnsupportedReason>

fn lower(self, _tcx: TyCtxt<'tcx>) -> Self::R

impl<'tcx, T, S> Lower<'tcx> for Binder<'tcx, T>

where T: Lower<'tcx, R = Result<S, UnsupportedReason>>,

type R = Result<Binder<S>, UnsupportedReason>

fn lower(self, tcx: TyCtxt<'tcx>) -> Self::R

Implementors