Struct rustc_middle::ty::fold::BottomUpFolder[−][src]

pub struct BottomUpFolder<'tcx, F, G, H> where
    F: FnMut(Ty<'tcx>) -> Ty<'tcx>,
    G: FnMut(Region<'tcx>) -> Region<'tcx>,
    H: FnMut(&'tcx Const<'tcx>) -> &'tcx Const<'tcx>,  {
    pub tcx: TyCtxt<'tcx>,
    pub ty_op: F,
    pub lt_op: G,
    pub ct_op: H,
}

Fields

tcx: TyCtxt<'tcx>ty_op: Flt_op: Gct_op: H

Trait Implementations

[src]

impl<'tcx, F, G, H> TypeFolder<'tcx> for BottomUpFolder<'tcx, F, G, H> where
 F: FnMut(Ty<'tcx>) -> Ty<'tcx>,
 G: FnMut(Region<'tcx>) -> Region<'tcx>,
 H: FnMut(&'tcx Const<'tcx>) -> &'tcx Const<'tcx>,

[src]

fn fold_const(&mut self, ct: &'tcx Const<'tcx>) -> &'tcx Const<'tcx>

type Error = !

[src]

fn fold_binder<T>(&mut self, t: Binder<'tcx, T>) -> Binder<'tcx, T> where
T: TypeFoldable<'tcx>,
Self: TypeFolder<'tcx, Error = !>,

[src]

fn fold_predicate(&mut self, p: Predicate<'tcx>) -> Predicate<'tcx> where
Self: TypeFolder<'tcx, Error = !>,

[src]

fn fold_mir_const(&mut self, c: ConstantKind<'tcx>) -> ConstantKind<'tcx> where
Self: TypeFolder<'tcx, Error = !>,

Auto Trait Implementations

impl<'tcx, F, G, H> !RefUnwindSafe for BottomUpFolder<F, G, H>

impl<'tcx, F, G, H> !Send for BottomUpFolder<F, G, H>

impl<'tcx, F, G, H> !Sync for BottomUpFolder<F, G, H>

impl<'tcx, F, G, H> Unpin for BottomUpFolder<F, G, H> where
 F: Unpin,
 G: Unpin,
 H: Unpin,

impl<'tcx, F, G, H> !UnwindSafe for BottomUpFolder<F, G, H>

Blanket Implementations

[src]

impl<T> Any for T where
T: 'static + ?Sized,

[src]

pub fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

[src]

impl<T> Borrow<T> for T where
T: ?Sized,

[src]

pub fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

[src]

impl<T> BorrowMut<T> for T where
T: ?Sized,

[src]

pub fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

[src]

impl<'tcx, F> FallibleTypeFolder<'tcx> for F where
F: TypeFolder<'tcx, Error = !>,

[src]

pub fn try_fold_binder<T>(
 &mut Self,
 Binder<T>
) -> Result<Binder<T>, <F as TypeFolder<'tcx>>::Error> where
 T: TypeFoldable<'tcx>,

[src]

pub fn try_fold_ty(
&mut Self,
&TyS
) -> Result<&TyS, <F as TypeFolder<'tcx>>::Error>

[src]

pub fn try_fold_region(
&mut Self,
&RegionKind
) -> Result<&RegionKind, <F as TypeFolder<'tcx>>::Error>

[src]

pub fn try_fold_const(
&mut Self,
&Const
) -> Result<&Const, <F as TypeFolder<'tcx>>::Error>

[src]

pub fn try_fold_predicate(
&mut Self,
Predicate
) -> Result<Predicate, <F as TypeFolder<'tcx>>::Error>

[src]

pub fn try_fold_mir_const(
&mut Self,
ConstantKind
) -> Result<ConstantKind, <F as TypeFolder<'tcx>>::Error>

[src]

impl<T> From<T> for T

[src]

pub fn from(t: T) -> T

Performs the conversion.

[src]

impl<T, U> Into for T where
U: From<T>,

[src]

pub fn into(self) -> U

Performs the conversion.

[src]

impl<T> MaybeResult<T> for T

type Error = !

[src]

pub fn from(Result<T, <T as MaybeResult<T>>::Error>) -> T

[src]

pub fn to_result(Self) -> Result<T, <T as MaybeResult<T>>::Error>

[src]

impl<T, U> TryFrom for T where
U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

[src]

pub fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>

Performs the conversion.

[src]

impl<T, U> TryInto for T where
U: TryFrom<T>,

type Error = >::Error

The type returned in the event of a conversion error.

[src]

pub fn try_into(self) -> Result<U, >::Error>

Performs the conversion.

[src]

impl<'a, T> Captures<'a> for T where
T: ?Sized,

Layout

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.

Struct rustc_middle::ty::fold::BottomUpFolder[−][src]

Fields

Trait Implementations

impl<'tcx, F, G, H> TypeFolder<'tcx> for BottomUpFolder<'tcx, F, G, H> where F: FnMut(Ty<'tcx>) -> Ty<'tcx>, G: FnMut(Region<'tcx>) -> Region<'tcx>, H: FnMut(&'tcx Const<'tcx>) -> &'tcx Const<'tcx>,

fn tcx<'b>(&'b self) -> TyCtxt<'tcx>

fn fold_ty(&mut self, ty: Ty<'tcx>) -> Ty<'tcx>

fn fold_region(&mut self, r: Region<'tcx>) -> Region<'tcx>

fn fold_const(&mut self, ct: &'tcx Const<'tcx>) -> &'tcx Const<'tcx>

type Error = !

fn fold_binder<T>(&mut self, t: Binder<'tcx, T>) -> Binder<'tcx, T> where T: TypeFoldable<'tcx>, Self: TypeFolder<'tcx, Error = !>,

fn fold_predicate(&mut self, p: Predicate<'tcx>) -> Predicate<'tcx> where Self: TypeFolder<'tcx, Error = !>,

fn fold_mir_const(&mut self, c: ConstantKind<'tcx>) -> ConstantKind<'tcx> where Self: TypeFolder<'tcx, Error = !>,

Auto Trait Implementations

impl<'tcx, F, G, H> !RefUnwindSafe for BottomUpFolder<F, G, H>

impl<'tcx, F, G, H> !Send for BottomUpFolder<F, G, H>

impl<'tcx, F, G, H> !Sync for BottomUpFolder<F, G, H>

impl<'tcx, F, G, H> Unpin for BottomUpFolder<F, G, H> where F: Unpin, G: Unpin, H: Unpin,

impl<'tcx, F, G, H> !UnwindSafe for BottomUpFolder<F, G, H>

Blanket Implementations

impl<T> Any for T where T: 'static + ?Sized,

pub fn type_id(&self) -> TypeId

impl<T> Borrow<T> for T where T: ?Sized,

pub fn borrow(&self) -> &T

impl<T> BorrowMut<T> for T where T: ?Sized,

pub fn borrow_mut(&mut self) -> &mut T

impl<'tcx, F> FallibleTypeFolder<'tcx> for F where F: TypeFolder<'tcx, Error = !>,

pub fn try_fold_binder<T>( &mut Self, Binder<T>) -> Result<Binder<T>, <F as TypeFolder<'tcx>>::Error> where T: TypeFoldable<'tcx>,

pub fn try_fold_ty( &mut Self, &TyS) -> Result<&TyS, <F as TypeFolder<'tcx>>::Error>

pub fn try_fold_region( &mut Self, &RegionKind) -> Result<&RegionKind, <F as TypeFolder<'tcx>>::Error>

pub fn try_fold_const( &mut Self, &Const) -> Result<&Const, <F as TypeFolder<'tcx>>::Error>

pub fn try_fold_predicate( &mut Self, Predicate) -> Result<Predicate, <F as TypeFolder<'tcx>>::Error>

pub fn try_fold_mir_const( &mut Self, ConstantKind) -> Result<ConstantKind, <F as TypeFolder<'tcx>>::Error>

impl<T> From<T> for T

pub fn from(t: T) -> T

impl<T, U> Into<U> for T where U: From<T>,

pub fn into(self) -> U

impl<T> MaybeResult<T> for T

type Error = !

pub fn from(Result<T, <T as MaybeResult<T>>::Error>) -> T

pub fn to_result(Self) -> Result<T, <T as MaybeResult<T>>::Error>

impl<T, U> TryFrom<U> for T where U: Into<T>,

type Error = Infallible

pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for T where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

impl<'a, T> Captures<'a> for T where T: ?Sized,

Layout

impl<'tcx, F, G, H> TypeFolder<'tcx> for BottomUpFolder<'tcx, F, G, H> where
F: FnMut(Ty<'tcx>) -> Ty<'tcx>,
G: FnMut(Region<'tcx>) -> Region<'tcx>,
H: FnMut(&'tcx Const<'tcx>) -> &'tcx Const<'tcx>,

fn fold_binder<T>(&mut self, t: Binder<'tcx, T>) -> Binder<'tcx, T> where
T: TypeFoldable<'tcx>,
Self: TypeFolder<'tcx, Error = !>,

fn fold_predicate(&mut self, p: Predicate<'tcx>) -> Predicate<'tcx> where
Self: TypeFolder<'tcx, Error = !>,

fn fold_mir_const(&mut self, c: ConstantKind<'tcx>) -> ConstantKind<'tcx> where
Self: TypeFolder<'tcx, Error = !>,

impl<'tcx, F, G, H> Unpin for BottomUpFolder<F, G, H> where
F: Unpin,
G: Unpin,
H: Unpin,

impl<T> Any for T where
T: 'static + ?Sized,

impl<T> Borrow<T> for T where
T: ?Sized,

impl<T> BorrowMut<T> for T where
T: ?Sized,

impl<'tcx, F> FallibleTypeFolder<'tcx> for F where
F: TypeFolder<'tcx, Error = !>,

pub fn try_fold_binder<T>(
&mut Self,
Binder<T>
) -> Result<Binder<T>, <F as TypeFolder<'tcx>>::Error> where
T: TypeFoldable<'tcx>,

pub fn try_fold_ty(
&mut Self,
&TyS
) -> Result<&TyS, <F as TypeFolder<'tcx>>::Error>

pub fn try_fold_region(
&mut Self,
&RegionKind
) -> Result<&RegionKind, <F as TypeFolder<'tcx>>::Error>

pub fn try_fold_const(
&mut Self,
&Const
) -> Result<&Const, <F as TypeFolder<'tcx>>::Error>

pub fn try_fold_predicate(
&mut Self,
Predicate
) -> Result<Predicate, <F as TypeFolder<'tcx>>::Error>

pub fn try_fold_mir_const(
&mut Self,
ConstantKind
) -> Result<ConstantKind, <F as TypeFolder<'tcx>>::Error>

impl<T, U> Into<U> for T where
U: From<T>,

impl<T, U> TryFrom<U> for T where
U: Into<T>,

impl<T, U> TryInto<U> for T where
U: TryFrom<T>,

impl<'a, T> Captures<'a> for T where
T: ?Sized,