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

Dyn Compatibility

This trait is dyn compatible.

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

Implementations on Foreign Types

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

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

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 AdtDef<'tcx>

type R = AdtDef

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

impl<'tcx> Lower<'tcx> for AliasConstKind<'tcx>

type R = Result<AliasConstKind, UnsupportedReason>

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

impl<'tcx> Lower<'tcx> for AliasTerm<'tcx>

type R = Result<AliasTerm, UnsupportedReason>

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

impl<'tcx> Lower<'tcx> for AliasTermKind<'tcx>

type R = Result<AliasTermKind, UnsupportedReason>

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

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

type R = Result<AliasKind, UnsupportedReason>

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

impl<'tcx> Lower<'tcx> for BoundRegionKind<'tcx>

type R = BoundRegionKind

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 ClauseKind<'tcx>

type R = Result<ClauseKind, 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 Const<'tcx>

type R = Result<Const, 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 FnSig<'tcx>

type R = Result<FnSig, 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 GenericArgsRef<'tcx>

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

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

impl<'tcx> Lower<'tcx> for GenericClauses<'tcx>

type R = Result<GenericPredicates, UnsupportedErr>

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 RegionOutlivesClause<'tcx>

type R = Result<OutlivesPredicate<Region>, 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 Ty<'tcx>

type R = Result<Ty, UnsupportedReason>

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

impl<'tcx> Lower<'tcx> for TypeOutlivesClause<'tcx>

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

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

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

type R = Result<ValTree, UnsupportedReason>

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

Implementors