Struct rustc_query_impl::queries::type_op_prove_predicate
source · [−]pub struct type_op_prove_predicate<'tcx> {
data: PhantomData<&'tcx ()>,
}Fields
data: PhantomData<&'tcx ()>Trait Implementations
sourceimpl<'tcx> QueryConfig for type_op_prove_predicate<'tcx>
impl<'tcx> QueryConfig for type_op_prove_predicate<'tcx>
type Key = type_op_prove_predicate<'tcx>
type Value = type_op_prove_predicate<'tcx>
type Stored = type_op_prove_predicate<'tcx>
const NAME: &'static str
sourceimpl<'tcx> QueryDescription<QueryCtxt<'tcx>> for type_op_prove_predicate<'tcx>
impl<'tcx> QueryDescription<QueryCtxt<'tcx>> for type_op_prove_predicate<'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>>
type Cache = type_op_prove_predicate<'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 make_vtable(
tcx: QueryCtxt<'tcx>,
key: &Self::Key
) -> QueryVtable<QueryCtxt<'tcx>, Self::Key, Self::Value>
Auto Trait Implementations
impl<'tcx> RefUnwindSafe for type_op_prove_predicate<'tcx>
impl<'tcx> Send for type_op_prove_predicate<'tcx>
impl<'tcx> Sync for type_op_prove_predicate<'tcx>
impl<'tcx> Unpin for type_op_prove_predicate<'tcx>
impl<'tcx> UnwindSafe for type_op_prove_predicate<'tcx>
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcepub fn borrow_mut(&mut self) -> &mut T
pub fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
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