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<QueryCtxt<'tcx>> for subst_and_check_impossible_predicates<'tcx>

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

type Value = bool

type Stored = bool

const NAME: &'static str = _

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

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::Cachewhere
    'tcx: 'a,

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

fn execute_query(tcx: TyCtxt<'tcx>, k: Self::Key) -> Self::Stored

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