Struct CanonicalParamEnvCache

pub struct CanonicalParamEnvCache<'tcx> {
    map: Lock<HashMap<ParamEnv<'tcx>, (Canonical<TyCtxt<'tcx>, ParamEnv<'tcx>>, &'tcx [GenericArg<'tcx>]), FxBuildHasher>>,
}

Fields

map: Lock<HashMap<ParamEnv<'tcx>, (Canonical<TyCtxt<'tcx>, ParamEnv<'tcx>>, &'tcx [GenericArg<'tcx>]), FxBuildHasher>>

Implementations

impl<'tcx> CanonicalParamEnvCache<'tcx>

pub fn get_or_insert( &self, tcx: TyCtxt<'tcx>, key: ParamEnv<'tcx>, state: &mut OriginalQueryValues<'tcx>, canonicalize_op: fn(_: TyCtxt<'tcx>, _: ParamEnv<'tcx>, _: &mut OriginalQueryValues<'tcx>) -> Canonical<TyCtxt<'tcx>, ParamEnv<'tcx>>, ) -> Canonical<TyCtxt<'tcx>, ParamEnv<'tcx>>

Gets the cached canonical form of key or executes canonicalize_op and caches the result if not present.

canonicalize_op is intentionally not allowed to be a closure to statically prevent it from capturing InferCtxt and resolving inference variables, which invalidates the cache.

Trait Implementations

impl<'tcx> Default for CanonicalParamEnvCache<'tcx>

fn default() -> CanonicalParamEnvCache<'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: 40 bytes