Struct rustc_query_impl::queries::subst_and_check_impossible_predicates

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

Fields

data: PhantomData<&'tcx ()>

Trait Implementations

impl<'tcx> QueryConfig for subst_and_check_impossible_predicates<'tcx>

type Key = (DefId, &'tcx List<GenericArg<'tcx>>)

type Value = bool

type Stored = bool

const NAME: &'static str = _

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

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

fn cache_on_disk(_: TyCtxt<'tcx>, _: &Self::Key) -> bool

const TRY_LOAD_FROM_DISK: Option<fn(_: QueryCtxt<'tcx>, _: SerializedDepNodeIndex) -> Option<Self::Value>> = None

type Cache = DefaultCache<(DefId, &'tcx List<GenericArg<'tcx>>), bool>

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

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

fn make_vtable(
    tcx: QueryCtxt<'tcx>,
    key: &Self::Key
) -> QueryVtable<QueryCtxt<'tcx>, Self::Key, Self::Value>

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