Trait rustc_query_system::query::config::QueryAccessors

pub trait QueryAccessors<CTX: QueryContext>: QueryConfig {
    type Cache: QueryCache<Key = Self::Key, Stored = Self::Stored, Value = Self::Value>;

    const ANON: bool;
    const EVAL_ALWAYS: bool;
    const DEP_KIND: CTX::DepKind;
    const HASH_RESULT: Option<fn(hcx: &mut StableHashingContext<'_>, result: &Self::Value) -> Fingerprint>;

    fn query_state<'a>(tcx: CTX) -> &'a QueryState<CTX::DepKind, Self::Key>
    where
        CTX: 'a;
    fn query_cache<'a>(tcx: CTX) -> &'a QueryCacheStore<Self::Cache>
    where
        CTX: 'a;
    fn compute_fn(
        tcx: CTX, 
        key: &Self::Key
    ) -> fn(_: CTX::DepContext, _: Self::Key) -> Self::Value;
    fn handle_cycle_error(tcx: CTX, diag: DiagnosticBuilder<'_>) -> Self::Value;
}

Associated Types

type Cache: QueryCache<Key = Self::Key, Stored = Self::Stored, Value = Self::Value>

Associated Constants

const ANON: bool

const EVAL_ALWAYS: bool

const DEP_KIND: CTX::DepKind

const HASH_RESULT: Option<fn(hcx: &mut StableHashingContext<'_>, result: &Self::Value) -> Fingerprint>

Required methods

fn query_state<'a>(tcx: CTX) -> &'a QueryState<CTX::DepKind, Self::Key> where
    CTX: 'a, 

fn query_cache<'a>(tcx: CTX) -> &'a QueryCacheStore<Self::Cache> where
    CTX: 'a, 

fn compute_fn(
    tcx: CTX,
    key: &Self::Key
) -> fn(_: CTX::DepContext, _: Self::Key) -> Self::Value

fn handle_cycle_error(tcx: CTX, diag: DiagnosticBuilder<'_>) -> Self::Value

Implementors