Struct GlobalCaches 

pub struct GlobalCaches<'tcx> {
    pub ty_rcache: Lock<FxHashMap<CReaderCacheKey, Ty<'tcx>>>,
    pub selection_cache: SelectionCache<'tcx, TypingEnv<'tcx>>,
    pub evaluation_cache: EvaluationCache<'tcx, TypingEnv<'tcx>>,
    new_solver_evaluation_cache: Lock<GlobalCache<TyCtxt<'tcx>>>,
    new_solver_canonical_param_env_cache: Lock<CanonicalParamEnvCache<TyCtxt<'tcx>>>,
    pub canonical_param_env_cache: CanonicalParamEnvCache<'tcx>,
    pub highest_var_in_clauses_cache: Lock<FxHashMap<Clauses<'tcx>, usize>>,
    pub clauses_cache: Lock<FxHashMap<(Clauses<'tcx>, &'tcx [GenericArg<'tcx>]), Clauses<'tcx>>>,
}

An assortment of global caches used by various parts of the compiler.

The individual fields are mostly unrelated to each other, but have been grouped together to reduce the number of top-level fields in GlobalCtxt.

Fields

ty_rcache: Lock<FxHashMap<CReaderCacheKey, Ty<'tcx>>>

selection_cache: SelectionCache<'tcx, TypingEnv<'tcx>>

Caches the results of trait selection. This cache is used for things that do not have to do with the parameters in scope.

evaluation_cache: EvaluationCache<'tcx, TypingEnv<'tcx>>

Caches the results of trait evaluation. This cache is used for things that do not have to do with the parameters in scope. Merge this with selection_cache?

new_solver_evaluation_cache: Lock<GlobalCache<TyCtxt<'tcx>>>

Caches the results of goal evaluation in the new solver.

new_solver_canonical_param_env_cache: Lock<CanonicalParamEnvCache<TyCtxt<'tcx>>>

canonical_param_env_cache: CanonicalParamEnvCache<'tcx>

highest_var_in_clauses_cache: Lock<FxHashMap<Clauses<'tcx>, usize>>

Caches the index of the highest bound var in clauses in a canonical binder.

clauses_cache: Lock<FxHashMap<(Clauses<'tcx>, &'tcx [GenericArg<'tcx>]), Clauses<'tcx>>>

Caches the instantiation of a canonical binder given a set of args.

Trait Implementations

impl<'tcx> Default for GlobalCaches<'tcx>

fn default() -> GlobalCaches<'tcx>

Returns the “default value” for a type.

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