Struct rustc_query_impl::queries::diagnostic_hir_wf_check
source · pub struct diagnostic_hir_wf_check<'tcx> {
data: PhantomData<&'tcx ()>,
}
Fields§
§data: PhantomData<&'tcx ()>
Trait Implementations§
source§impl<'tcx> QueryConfig<QueryCtxt<'tcx>> for diagnostic_hir_wf_check<'tcx>
impl<'tcx> QueryConfig<QueryCtxt<'tcx>> for diagnostic_hir_wf_check<'tcx>
type Key = (Predicate<'tcx>, WellFormedLoc)
type Value = Option<ObligationCause<'tcx>>
type Stored = &'tcx Option<ObligationCause<'tcx>>
const NAME: &'static str = _
fn cache_on_disk(tcx: TyCtxt<'tcx>, key: &Self::Key) -> bool
type Cache = ArenaCache<'tcx, (Predicate<'tcx>, WellFormedLoc), Option<ObligationCause<'tcx>>>
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 diagnostic_hir_wf_check<'tcx>
impl<'tcx> Send for diagnostic_hir_wf_check<'tcx>
impl<'tcx> Sync for diagnostic_hir_wf_check<'tcx>
impl<'tcx> Unpin for diagnostic_hir_wf_check<'tcx>
impl<'tcx> UnwindSafe for diagnostic_hir_wf_check<'tcx>
Blanket Implementations§
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