Struct rustc_middle::ty::util::OpaqueTypeExpander

pub(in ty::util) struct OpaqueTypeExpander<'tcx> {
    seen_opaque_tys: FxHashSet<DefId>,
    expanded_cache: FxHashMap<(DefId, SubstsRef<'tcx>), Ty<'tcx>>,
    primary_def_id: Option<DefId>,
    found_recursion: bool,
    check_recursion: bool,
    tcx: TyCtxt<'tcx>,
}

Fields

seen_opaque_tys: FxHashSet<DefId>

expanded_cache: FxHashMap<(DefId, SubstsRef<'tcx>), Ty<'tcx>>

primary_def_id: Option<DefId>

found_recursion: bool

check_recursion: bool

Whether or not to check for recursive opaque types. This is true when we're explicitly checking for opaque type recursion, and 'false' otherwise to avoid unnecessary work.

tcx: TyCtxt<'tcx>

Implementations

impl<'tcx> OpaqueTypeExpander<'tcx>

pub(in ty::util) fn expand_opaque_ty(
    &mut self,
    def_id: DefId,
    substs: SubstsRef<'tcx>
) -> Option<Ty<'tcx>>

Trait Implementations

impl<'tcx> TypeFolder<'tcx> for OpaqueTypeExpander<'tcx>

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

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

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

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

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