Struct rustc_trait_selection::opaque_types::ReverseMapper

pub(in opaque_types) struct ReverseMapper<'tcx> {
    tcx: TyCtxt<'tcx>,
    tainted_by_errors: bool,
    opaque_type_def_id: DefId,
    map: FxHashMap<GenericArg<'tcx>, GenericArg<'tcx>>,
    map_missing_regions_to_empty: bool,
    hidden_ty: Option<Ty<'tcx>>,
    span: Span,
}

Fields

tcx: TyCtxt<'tcx>

tainted_by_errors: bool

If errors have already been reported in this fn, we suppress our own errors because they are sometimes derivative.

opaque_type_def_id: DefId

map: FxHashMap<GenericArg<'tcx>, GenericArg<'tcx>>

map_missing_regions_to_empty: bool

hidden_ty: Option<Ty<'tcx>>

initially Some, set to None once error has been reported

span: Span

Span of function being checked.

Implementations

impl<'tcx> ReverseMapper<'tcx>

pub(in opaque_types) fn new(
    tcx: TyCtxt<'tcx>,
    tainted_by_errors: bool,
    opaque_type_def_id: DefId,
    map: FxHashMap<GenericArg<'tcx>, GenericArg<'tcx>>,
    hidden_ty: Ty<'tcx>,
    span: Span
) -> Self

pub(in opaque_types) fn fold_kind_mapping_missing_regions_to_empty(
    &mut self,
    kind: GenericArg<'tcx>
) -> GenericArg<'tcx>

pub(in opaque_types) fn fold_kind_normally(
    &mut self,
    kind: GenericArg<'tcx>
) -> GenericArg<'tcx>

Trait Implementations

impl<'tcx> TypeFolder<'tcx> for ReverseMapper<'tcx>

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

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

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

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

pub fn fold_binder<T>(&mut self, t: Binder<T>) -> Binder<T> where
    T: TypeFoldable<'tcx>,