Struct rustc_infer::infer::InferenceLiteralEraser

source · 
struct InferenceLiteralEraser<'tcx> {
    tcx: TyCtxt<'tcx>,
}
Expand description

Replace {integer} with i32 and {float} with f64. Used only for diagnostics.

Fields§

§tcx: TyCtxt<'tcx>

Trait Implementations§

source§

impl<'tcx> TypeFolder<TyCtxt<'tcx>> for InferenceLiteralEraser<'tcx>

source§

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

source§

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

source§

fn fold_binder<T>( &mut self, t: <I as Interner>::Binder<T> ) -> <I as Interner>::Binder<T>
where T: TypeFoldable<I>, <I as Interner>::Binder<T>: TypeSuperFoldable<I>,

source§

fn fold_region(&mut self, r: <I as Interner>::Region) -> <I as Interner>::Region

Auto Trait Implementations§

§

impl<'tcx> !RefUnwindSafe for InferenceLiteralEraser<'tcx>

§

impl<'tcx> !Send for InferenceLiteralEraser<'tcx>

§

impl<'tcx> !Sync for InferenceLiteralEraser<'tcx>

§

impl<'tcx> Unpin for InferenceLiteralEraser<'tcx>

§

impl<'tcx> !UnwindSafe for InferenceLiteralEraser<'tcx>

Blanket Implementations§

source§

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

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

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

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

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

source§

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

Mutably borrows from an owned value. Read more
source§

impl<I, F> FallibleTypeFolder<I> for F
where I: Interner, F: TypeFolder<I>,

§

type Error = !

source§

fn interner(&self) -> I

source§

fn try_fold_binder<T>( &mut self, t: <I as Interner>::Binder<T> ) -> Result<<I as Interner>::Binder<T>, !>
where T: TypeFoldable<I>, <I as Interner>::Binder<T>: TypeSuperFoldable<I>,

source§

fn try_fold_ty( &mut self, t: <I as Interner>::Ty ) -> Result<<I as Interner>::Ty, !>
where <I as Interner>::Ty: TypeSuperFoldable<I>,

source§

fn try_fold_region( &mut self, r: <I as Interner>::Region ) -> Result<<I as Interner>::Region, !>

source§

fn try_fold_const( &mut self, c: <I as Interner>::Const ) -> Result<<I as Interner>::Const, !>
where <I as Interner>::Const: TypeSuperFoldable<I>,

source§

fn try_fold_predicate( &mut self, p: <I as Interner>::Predicate ) -> Result<<I as Interner>::Predicate, !>
where <I as Interner>::Predicate: TypeSuperFoldable<I>,

source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

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

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

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

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

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

Performs the conversion.
source§

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

§

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

The type returned in the event of a conversion error.
source§

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

Performs the conversion.

Layout§

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 8 bytes