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>
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
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
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 Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
sourceimpl<CTX, T> Value<CTX> for Twhere
CTX: DepContext,
impl<CTX, T> Value<CTX> for Twhere
CTX: DepContext,
default fn from_cycle_error(tcx: CTX) -> T
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