pub struct subst_and_check_impossible_predicates<'tcx> {
data: PhantomData<&'tcx ()>,
}Fields
data: PhantomData<&'tcx ()>Trait Implementations
sourceimpl<'tcx> QueryConfig for subst_and_check_impossible_predicates<'tcx>
impl<'tcx> QueryConfig for subst_and_check_impossible_predicates<'tcx>
type Key = subst_and_check_impossible_predicates<'tcx>
type Value = subst_and_check_impossible_predicates<'tcx>
type Stored = subst_and_check_impossible_predicates<'tcx>
const NAME: &'static str
sourceimpl<'tcx> QueryDescription<QueryCtxt<'tcx>> for subst_and_check_impossible_predicates<'tcx>
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>>
type Cache = subst_and_check_impossible_predicates<'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 subst_and_check_impossible_predicates<'tcx>
impl<'tcx> Send for subst_and_check_impossible_predicates<'tcx>
impl<'tcx> Sync for subst_and_check_impossible_predicates<'tcx>
impl<'tcx> Unpin for subst_and_check_impossible_predicates<'tcx>
impl<'tcx> UnwindSafe for subst_and_check_impossible_predicates<'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