Struct ItemCache 

pub struct ItemCache<'tcx> {
    pub def_id: Option<DefId>,
    pub full_defs: HashMap<(Option<PromotedId>, Option<GenericArgsRef<'tcx>>), TypeMap<FullDefMapper>>,
    pub tys: HashMap<Ty<'tcx>, Ty>,
    pub item_refs: HashMap<(RDefId, GenericArgsRef<'tcx>), ItemRef>,
    pub predicate_searcher: Option<PredicateSearcher<'tcx>>,
    pub impl_exprs: HashMap<PolyTraitRef<'tcx>, ImplExpr>,
}

Per-item cache

Fields

def_id: Option<DefId>

The translated DefId.

full_defs: HashMap<(Option<PromotedId>, Option<GenericArgsRef<'tcx>>), TypeMap<FullDefMapper>>

The translated definitions, generic in the Body kind. Each rustc DefId gives several hax DefIds: one for each promoted constant (if any), and the base one represented by None. Moreover we can instantiate definitions with generic arguments.

tys: HashMap<Ty<'tcx>, Ty>

Cache the Ty translations.

item_refs: HashMap<(RDefId, GenericArgsRef<'tcx>), ItemRef>

Cache the ItemRef translations. This is fast because GenericArgsRef is interned.

predicate_searcher: Option<PredicateSearcher<'tcx>>

Cache the trait resolution engine for each item.

impl_exprs: HashMap<PolyTraitRef<'tcx>, ImplExpr>

Cache of trait refs to resolved impl expressions.

Trait Implementations

impl<'tcx> Default for ItemCache<'tcx>

fn default() -> ItemCache<'tcx>

Returns the “default value” for a type.