Struct rustc_infer::infer::error_reporting::need_type_info::ResolvedTypeParamEraser

struct ResolvedTypeParamEraser<'tcx> {
    tcx: TyCtxt<'tcx>,
    level: usize,
}

Turn resolved type params into [type error] to signal we don’t want to display them. After performing that replacement, we’ll turn all remaining infer type params to use their name from their definition, and replace all the [type error]s back to being infer so they display in the output as _. If we didn’t go through [type error], we would either show all type params by their name or _, neither of which is desirable: we want to show all types that we could infer as _ to reduce verbosity and avoid telling the user about unnecessary type annotations.

Fields

tcx: TyCtxt<'tcx>

level: usize

Implementations

impl<'tcx> ResolvedTypeParamEraser<'tcx>

fn new(tcx: TyCtxt<'tcx>) -> Self

fn replace_infers(
    &self,
    c: Const<'tcx>,
    index: u32,
    name: Symbol
) -> Const<'tcx>

Replace not yet inferred const params with their def name.

Trait Implementations

impl<'tcx> TypeFolder<'tcx> for ResolvedTypeParamEraser<'tcx>

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

fn fold_ty(&mut self, t: Ty<'tcx>) -> Ty<'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_region(&mut self, r: Region<'tcx>) -> Region<'tcx> where
    Self: TypeFolder<'tcx, Error = !>, 

fn fold_const(&mut self, c: Const<'tcx>) -> Const<'tcx> where
    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 = !>, 

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: 16 bytes