Struct rustc_query_impl::queries::evaluate_obligation

pub struct evaluate_obligation<'tcx> {
    data: PhantomData<&'tcx ()>,
}

Fields

data: PhantomData<&'tcx ()>

Trait Implementations

impl<'tcx> QueryAccessors<QueryCtxt<'tcx>> for evaluate_obligation<'tcx>

const ANON: bool

const EVAL_ALWAYS: bool

const DEP_KIND: DepKind

type Cache = evaluate_obligation<'tcx>

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

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

fn compute_fn(
    tcx: QueryCtxt<'tcx>,
    key: &Self::Key
) -> fn(_: TyCtxt<'tcx>, _: Self::Key) -> Self::Value

fn hash_result(
    _hcx: &mut StableHashingContext<'_>,
    _result: &Self::Value
) -> Option<Fingerprint>

fn handle_cycle_error(
    tcx: QueryCtxt<'tcx>,
    error: DiagnosticBuilder<'_>
) -> Self::Value

impl<'tcx> QueryConfig for evaluate_obligation<'tcx>

type Key = evaluate_obligation<'tcx>

type Value = evaluate_obligation<'tcx>

type Stored = evaluate_obligation<'tcx>

const NAME: &'static str

impl<'tcx> QueryDescription<QueryCtxt<'tcx>> for evaluate_obligation<'tcx>

fn describe(tcx: QueryCtxt<'tcx>, key: Self::Key) -> String

fn cache_on_disk(CTX, &Self::Key, Option<&Self::Value>) -> bool

fn try_load_from_disk(CTX, SerializedDepNodeIndex) -> Option<Self::Value>

Layout

Note: Most layout information is completely unstable and may be different between compiler versions and platforms. 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: 0 bytes