[−][src]Struct rustc_middle::ty::query::Queries
Fields
on_disk_cache: OnDiskCache<'tcx>This provides access to the incrimental comilation on-disk cache for query results.
Do not access this directly. It is only meant to be used by
DepGraph::try_mark_green() and the query infrastructure.
providers: IndexVec<CrateNum, Providers>fallback_extern_providers: Box<Providers>trigger_delay_span_bug: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <trigger_delay_span_bug<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>hir_crate: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <hir_crate<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Represents crate as a whole (as distinct from the top-level crate module).
If you call hir_crate (e.g., indirectly by calling tcx.hir().krate()),
we will have to assume that any change means that you need to be recompiled.
This is because the hir_crate query gives you access to all other items.
To avoid this fate, do not call tcx.hir().krate(); instead,
prefer wrappers like tcx.visit_all_items_in_krate().
index_hir: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <index_hir<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>The indexed HIR. This can be conveniently accessed by tcx.hir().
Avoid calling this query directly.
hir_module_items: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <hir_module_items<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>The items in a module.
This can be conveniently accessed by tcx.hir().visit_item_likes_in_module.
Avoid calling this query directly.
hir_owner: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <hir_owner<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Gives access to the HIR node for the HIR owner key.
This can be conveniently accessed by methods on tcx.hir().
Avoid calling this query directly.
hir_owner_nodes: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <hir_owner_nodes<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Gives access to the HIR nodes and bodies inside the HIR owner key.
This can be conveniently accessed by methods on tcx.hir().
Avoid calling this query directly.
opt_const_param_of: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <opt_const_param_of<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Computes the DefId of the corresponding const parameter in case the key is a
const argument and returns None otherwise.
let a = foo::<7>(); // ^ Calling `opt_const_param_of` for this argument, fn foo<const N: usize>() // ^ returns this `DefId`. fn bar() { // ^ While calling `opt_const_param_of` for other bodies returns `None`. }
type_of: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <type_of<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Records the type of every item.
analysis: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <analysis<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>generics_of: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <generics_of<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Maps from the DefId of an item (trait/struct/enum/fn) to its
associated generics.
predicates_of: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <predicates_of<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Maps from the DefId of an item (trait/struct/enum/fn) to the
predicates (where-clauses) that must be proven true in order
to reference it. This is almost always the "predicates query"
that you want.
predicates_of builds on predicates_defined_on -- in fact,
it is almost always the same as that query, except for the
case of traits. For traits, predicates_of contains
an additional Self: Trait<...> predicate that users don't
actually write. This reflects the fact that to invoke the
trait (e.g., via Default::default) you must supply types
that actually implement the trait. (However, this extra
predicate gets in the way of some checks, which are intended
to operate over only the actual where-clauses written by the
user.)
explicit_item_bounds: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <explicit_item_bounds<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Returns the list of bounds that can be used for
SelectionCandidate::ProjectionCandidate(_) and
ProjectionTyCandidate::TraitDef.
Specifically this is the bounds written on the trait's type
definition, or those after the impl keyword
type X: Bound + 'lt // ^^^^^^^^^^^ impl Debug + Display // ^^^^^^^^^^^^^^^
key is the DefId of the associated type or opaque type.
Bounds from the parent (e.g. with nested impl trait) are not included.
item_bounds: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <item_bounds<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Elaborated version of the predicates from explicit_item_bounds.
For example:
trait MyTrait { type MyAType: Eq + ?Sized; }
explicit_item_bounds returns [<Self as MyTrait>::MyAType: Eq],
and item_bounds returns
[
<Self as Trait>::MyAType: Eq,
<Self as Trait>::MyAType: PartialEq<<Self as Trait>::MyAType>
]
Bounds from the parent (e.g. with nested impl trait) are not included.
projection_ty_from_predicates: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <projection_ty_from_predicates<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>native_libraries: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <native_libraries<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>lint_levels: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <lint_levels<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>parent_module_from_def_id: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <parent_module_from_def_id<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>expn_that_defined: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <expn_that_defined<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Internal helper query. Use tcx.expansion_that_defined instead
is_panic_runtime: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <is_panic_runtime<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>mir_keys: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <mir_keys<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Set of all the DefIds in this crate that have MIR associated with
them. This includes all the body owners, but also things like struct
constructors.
mir_const_qualif: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <mir_const_qualif<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Maps DefId's that have an associated mir::Body to the result
of the MIR const-checking pass. This is the set of qualifs in
the final value of a const.
mir_const_qualif_const_arg: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <mir_const_qualif_const_arg<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>mir_built: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <mir_built<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Fetch the MIR for a given DefId right after it's built - this includes
unreachable code.
mir_const: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <mir_const<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Fetch the MIR for a given DefId up till the point where it is
ready for const qualification.
See the README for the mir module for details.
mir_abstract_const: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <mir_abstract_const<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Try to build an abstract representation of the given constant.
mir_abstract_const_of_const_arg: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <mir_abstract_const_of_const_arg<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Try to build an abstract representation of the given constant.
try_unify_abstract_consts: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <try_unify_abstract_consts<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>mir_drops_elaborated_and_const_checked: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <mir_drops_elaborated_and_const_checked<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>mir_promoted: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <mir_promoted<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>optimized_mir: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <optimized_mir<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>MIR after our optimization passes have run. This is MIR that is ready for codegen. This is also the only query that can fetch non-local MIR, at present.
optimized_mir_of_const_arg: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <optimized_mir_of_const_arg<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>coverageinfo: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <coverageinfo<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Returns coverage summary info for a function, after executing the InstrumentCoverage
MIR pass (assuming the -Zinstrument-coverage option is enabled).
promoted_mir: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <promoted_mir<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>The DefId is the DefId of the containing MIR body. Promoteds do not have their own
DefId. This function returns all promoteds in the specified body. The body references
promoteds by the DefId and the mir::Promoted index. This is necessary, because
after inlining a body may refer to promoteds from other bodies. In that case you still
need to use the DefId of the original body.
promoted_mir_of_const_arg: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <promoted_mir_of_const_arg<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>erase_regions_ty: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <erase_regions_ty<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Erases regions from ty to yield a new type.
Normally you would just use tcx.erase_regions(value),
however, which uses this query as a kind of cache.
wasm_import_module_map: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <wasm_import_module_map<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>predicates_defined_on: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <predicates_defined_on<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Maps from the DefId of an item (trait/struct/enum/fn) to the
predicates (where-clauses) directly defined on it. This is
equal to the explicit_predicates_of predicates plus the
inferred_outlives_of predicates.
trait_explicit_predicates_and_bounds: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <trait_explicit_predicates_and_bounds<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Returns everything that looks like a predicate written explicitly by the user on a trait item.
Traits are unusual, because predicates on associated types are converted into bounds on that type for backwards compatibility:
trait X where Self::U: Copy { type U; }
becomes
trait X { type U: Copy; }
explicit_predicates_of and explicit_item_bounds will then take
the appropriate subsets of the predicates here.
explicit_predicates_of: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <explicit_predicates_of<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Returns the predicates written explicitly by the user.
inferred_outlives_of: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <inferred_outlives_of<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Returns the inferred outlives predicates (e.g., for struct Foo<'a, T> { x: &'a T }, this would return T: 'a).
super_predicates_of: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <super_predicates_of<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Maps from the DefId of a trait to the list of
super-predicates. This is a subset of the full list of
predicates. We store these in a separate map because we must
evaluate them even during type conversion, often before the
full predicates are available (note that supertraits have
additional acyclicity requirements).
type_param_predicates: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <type_param_predicates<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>To avoid cycles within the predicates of a single item we compute
per-type-parameter predicates for resolving T::AssocTy.
trait_def: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <trait_def<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>adt_def: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <adt_def<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>adt_destructor: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <adt_destructor<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>adt_sized_constraint: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <adt_sized_constraint<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>adt_dtorck_constraint: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <adt_dtorck_constraint<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>is_const_fn_raw: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <is_const_fn_raw<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Returns true if this is a const fn, use the is_const_fn to know whether your crate
actually sees it as const fn (e.g., the const-fn-ness might be unstable and you might
not have the feature gate active).
Do not call this function manually. It is only meant to cache the base data for the
is_const_fn function.
is_const_impl_raw: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <is_const_impl_raw<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Returns true if this is a const impl. Do not call this function manually.
This query caches the base data for the is_const_impl helper function, which also
takes into account stability attributes (e.g., #[rustc_const_unstable]).
asyncness: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <asyncness<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>is_promotable_const_fn: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <is_promotable_const_fn<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Returns true if calls to the function may be promoted.
This is either because the function is e.g., a tuple-struct or tuple-variant
constructor, or because it has the #[rustc_promotable] attribute. The attribute should
be removed in the future in favour of some form of check which figures out whether the
function does not inspect the bits of any of its arguments (so is essentially just a
constructor function).
is_foreign_item: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <is_foreign_item<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Returns true if this is a foreign item (i.e., linked via extern { ... }).
static_mutability: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <static_mutability<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Returns Some(mutability) if the node pointed to by def_id is a static item.
generator_kind: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <generator_kind<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Returns Some(generator_kind) if the node pointed to by def_id is a generator.
crate_variances: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <crate_variances<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Gets a map with the variance of every item; use item_variance instead.
variances_of: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <variances_of<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Maps from the DefId of a type or region parameter to its (inferred) variance.
inferred_outlives_crate: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <inferred_outlives_crate<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Maps from thee DefId of a type to its (inferred) outlives.
associated_item_def_ids: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <associated_item_def_ids<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Maps from an impl/trait DefId to a list of the DefId`s of its items.
associated_item: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <associated_item<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Maps from a trait item to the trait item "descriptor".
associated_items: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <associated_items<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Collects the associated items defined on a trait or impl.
impl_trait_ref: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <impl_trait_ref<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>impl_polarity: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <impl_polarity<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>issue33140_self_ty: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <issue33140_self_ty<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>inherent_impls: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <inherent_impls<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Maps a DefId of a type to a list of its inherent impls.
Contains implementations of methods that are inherent to a type.
Methods in these implementations don't need to be exported.
unsafety_check_result: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <unsafety_check_result<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>The result of unsafety-checking this LocalDefId.
unsafety_check_result_for_const_arg: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <unsafety_check_result_for_const_arg<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>unsafe_derive_on_repr_packed: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <unsafe_derive_on_repr_packed<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>HACK: when evaluated, this reports a "unsafe derive on repr(packed)" error.
Unsafety checking is executed for each method separately, but we only want to emit this error once per derive. As there are some impls with multiple methods, we use a query for deduplication.
fn_sig: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <fn_sig<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>The signature of functions.
lint_mod: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <lint_mod<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>check_mod_attrs: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <check_mod_attrs<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Checks the attributes in the module.
check_mod_unstable_api_usage: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <check_mod_unstable_api_usage<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>check_mod_const_bodies: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <check_mod_const_bodies<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Checks the const bodies in the module for illegal operations (e.g. if or loop).
check_mod_loops: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <check_mod_loops<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Checks the loops in the module.
check_mod_item_types: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <check_mod_item_types<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>check_mod_privacy: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <check_mod_privacy<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>check_mod_intrinsics: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <check_mod_intrinsics<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>check_mod_liveness: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <check_mod_liveness<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>check_mod_impl_wf: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <check_mod_impl_wf<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>collect_mod_item_types: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <collect_mod_item_types<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>coerce_unsized_info: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <coerce_unsized_info<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Caches CoerceUnsized kinds for impls on custom types.
typeck_item_bodies: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <typeck_item_bodies<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>typeck: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <typeck<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>typeck_const_arg: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <typeck_const_arg<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>diagnostic_only_typeck: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <diagnostic_only_typeck<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>used_trait_imports: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <used_trait_imports<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>has_typeck_results: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <has_typeck_results<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>coherent_trait: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <coherent_trait<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>mir_borrowck: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <mir_borrowck<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Borrow-checks the function body. If this is a closure, returns additional requirements that the closure's creator must verify.
mir_borrowck_const_arg: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <mir_borrowck_const_arg<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>crate_inherent_impls: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <crate_inherent_impls<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Gets a complete map from all types to their inherent impls.
Not meant to be used directly outside of coherence.
(Defined only for LOCAL_CRATE.)
crate_inherent_impls_overlap_check: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <crate_inherent_impls_overlap_check<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Checks all types in the crate for overlap in their inherent impls. Reports errors.
Not meant to be used directly outside of coherence.
(Defined only for LOCAL_CRATE.)
eval_to_allocation_raw: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <eval_to_allocation_raw<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Evaluates a constant and returns the computed allocation.
Do not use this directly, use the tcx.eval_static_initializer wrapper.
eval_to_const_value_raw: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <eval_to_const_value_raw<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Evaluates const items or anonymous constants (such as enum variant explicit discriminants or array lengths) into a representation suitable for the type system and const generics.
Do not use this directly, use one of the following wrappers: tcx.const_eval_poly,
tcx.const_eval_resolve, tcx.const_eval_instance, or tcx.const_eval_global_id.
destructure_const: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <destructure_const<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Destructure a constant ADT or array into its variant index and its field values.
deref_const: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <deref_const<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Dereference a constant reference or raw pointer and turn the result into a constant again.
const_caller_location: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <const_caller_location<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>lit_to_const: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <lit_to_const<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>check_match: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <check_match<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>privacy_access_levels: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <privacy_access_levels<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Performs part of the privacy check and computes "access levels".
check_private_in_public: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <check_private_in_public<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>reachable_set: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <reachable_set<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>region_scope_tree: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <region_scope_tree<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Per-body region::ScopeTree. The DefId should be the owner DefId for the body;
in the case of closures, this will be redirected to the enclosing function.
mir_shims: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <mir_shims<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>symbol_name: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <symbol_name<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>The symbol_name query provides the symbol name for calling a
given instance from the local crate. In particular, it will also
look up the correct symbol name of instances from upstream crates.
def_kind: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <def_kind<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>def_span: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <def_span<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>lookup_stability: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <lookup_stability<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>lookup_const_stability: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <lookup_const_stability<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>lookup_deprecation_entry: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <lookup_deprecation_entry<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>item_attrs: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <item_attrs<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>codegen_fn_attrs: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <codegen_fn_attrs<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>fn_arg_names: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <fn_arg_names<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>rendered_const: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <rendered_const<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Gets the rendered value of the specified constant or associated constant. Used by rustdoc.
impl_parent: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <impl_parent<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>trait_of_item: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <trait_of_item<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>is_mir_available: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <is_mir_available<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>vtable_methods: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <vtable_methods<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>codegen_fulfill_obligation: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <codegen_fulfill_obligation<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>all_local_trait_impls: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <all_local_trait_impls<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>trait_impls_of: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <trait_impls_of<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>specialization_graph_of: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <specialization_graph_of<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>object_safety_violations: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <object_safety_violations<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>param_env: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <param_env<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Gets the ParameterEnvironment for a given item; this environment will be in "user-facing" mode, meaning that it is suitable for type-checking etc, and it does not normalize specializable associated types. This is almost always what you want, unless you are doing MIR optimizations, in which case you
param_env_reveal_all_normalized: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <param_env_reveal_all_normalized<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Like param_env, but returns the ParamEnv in Reveal::Allmode. Prefer this overtcx.param_env(def_id).with_reveal_all_normalized(tcx)`,
as this method is more efficient.
is_copy_raw: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <is_copy_raw<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Trait selection queries. These are best used by invoking ty.is_copy_modulo_regions(),
ty.is_copy(), etc, since that will prune the environment where possible.
is_sized_raw: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <is_sized_raw<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Query backing TyS::is_sized.
is_freeze_raw: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <is_freeze_raw<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Query backing TyS::is_freeze.
needs_drop_raw: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <needs_drop_raw<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Query backing TyS::needs_drop.
has_structural_eq_impls: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <has_structural_eq_impls<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Query backing TyS::is_structural_eq_shallow.
This is only correct for ADTs. Call is_structural_eq_shallow to handle all types
correctly.
adt_drop_tys: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <adt_drop_tys<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>A list of types where the ADT requires drop if and only if any of
those types require drop. If the ADT is known to always need drop
then Err(AlwaysRequiresDrop) is returned.
layout_raw: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <layout_raw<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>dylib_dependency_formats: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <dylib_dependency_formats<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>dependency_formats: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <dependency_formats<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>is_compiler_builtins: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <is_compiler_builtins<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>has_global_allocator: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <has_global_allocator<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>has_panic_handler: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <has_panic_handler<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>is_profiler_runtime: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <is_profiler_runtime<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>panic_strategy: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <panic_strategy<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>is_no_builtins: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <is_no_builtins<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>symbol_mangling_version: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <symbol_mangling_version<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>extern_crate: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <extern_crate<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>specializes: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <specializes<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>in_scope_traits_map: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <in_scope_traits_map<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>module_exports: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <module_exports<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>impl_defaultness: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <impl_defaultness<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>check_item_well_formed: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <check_item_well_formed<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>check_trait_item_well_formed: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <check_trait_item_well_formed<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>check_impl_item_well_formed: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <check_impl_item_well_formed<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>reachable_non_generics: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <reachable_non_generics<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>is_reachable_non_generic: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <is_reachable_non_generic<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>is_unreachable_local_definition: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <is_unreachable_local_definition<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>upstream_monomorphizations: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <upstream_monomorphizations<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>The entire set of monomorphizations the local crate can safely link
to because they are exported from upstream crates. Do not depend on
this directly, as its value changes anytime a monomorphization gets
added or removed in any upstream crate. Instead use the narrower
upstream_monomorphizations_for, upstream_drop_glue_for, or, even
better, Instance::upstream_monomorphization().
upstream_monomorphizations_for: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <upstream_monomorphizations_for<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Returns the set of upstream monomorphizations available for the
generic function identified by the given def_id. The query makes
sure to make a stable selection if the same monomorphization is
available in multiple upstream crates.
You likely want to call Instance::upstream_monomorphization()
instead of invoking this query directly.
upstream_drop_glue_for: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <upstream_drop_glue_for<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Returns the upstream crate that exports drop-glue for the given
type (substs is expected to be a single-item list containing the
type one wants drop-glue for).
This is a subset of upstream_monomorphizations_for in order to
increase dep-tracking granularity. Otherwise adding or removing any
type with drop-glue in any upstream crate would invalidate all
functions calling drop-glue of an upstream type.
You likely want to call Instance::upstream_monomorphization()
instead of invoking this query directly.
NOTE: This query could easily be extended to also support other
common functions that have are large set of monomorphizations
(like Clone::clone for example).
foreign_modules: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <foreign_modules<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>entry_fn: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <entry_fn<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Identifies the entry-point (e.g., the main function) for a given
crate, returning None if there is no entry point (such as for library crates).
plugin_registrar_fn: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <plugin_registrar_fn<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>proc_macro_decls_static: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <proc_macro_decls_static<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>crate_disambiguator: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <crate_disambiguator<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>crate_hash: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <crate_hash<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>crate_host_hash: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <crate_host_hash<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>original_crate_name: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <original_crate_name<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>extra_filename: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <extra_filename<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>crate_extern_paths: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <crate_extern_paths<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>implementations_of_trait: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <implementations_of_trait<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>all_trait_implementations: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <all_trait_implementations<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>dllimport_foreign_items: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <dllimport_foreign_items<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>is_dllimport_foreign_item: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <is_dllimport_foreign_item<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>is_statically_included_foreign_item: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <is_statically_included_foreign_item<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>native_library_kind: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <native_library_kind<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>link_args: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <link_args<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>resolve_lifetimes: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <resolve_lifetimes<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Lifetime resolution. See middle::resolve_lifetimes.
named_region_map: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <named_region_map<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>is_late_bound_map: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <is_late_bound_map<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>object_lifetime_defaults_map: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <object_lifetime_defaults_map<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>visibility: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <visibility<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>dep_kind: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <dep_kind<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>crate_name: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <crate_name<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>item_children: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <item_children<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>extern_mod_stmt_cnum: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <extern_mod_stmt_cnum<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>get_lib_features: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <get_lib_features<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>defined_lib_features: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <defined_lib_features<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>get_lang_items: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <get_lang_items<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Returns the lang items defined in another crate by loading it from metadata.
all_diagnostic_items: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <all_diagnostic_items<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Returns all diagnostic items defined in all crates.
defined_lang_items: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <defined_lang_items<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Returns the lang items defined in another crate by loading it from metadata.
diagnostic_items: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <diagnostic_items<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Returns the diagnostic items defined in a crate.
missing_lang_items: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <missing_lang_items<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>visible_parent_map: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <visible_parent_map<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>trimmed_def_paths: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <trimmed_def_paths<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>missing_extern_crate_item: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <missing_extern_crate_item<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>used_crate_source: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <used_crate_source<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>postorder_cnums: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <postorder_cnums<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>upvars_mentioned: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <upvars_mentioned<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>maybe_unused_trait_import: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <maybe_unused_trait_import<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>maybe_unused_extern_crates: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <maybe_unused_extern_crates<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>names_imported_by_glob_use: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <names_imported_by_glob_use<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>stability_index: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <stability_index<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>all_crate_nums: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <all_crate_nums<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>all_traits: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <all_traits<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>A vector of every trait accessible in the whole crate (i.e., including those from subcrates). This is used only for error reporting.
exported_symbols: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <exported_symbols<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>The list of symbols exported from the given crate.
- All names contained in
exported_symbols(cnum)are guaranteed to correspond to a publicly visible symbol incnummachine code. - The
exported_symbolssets of different crates do not intersect.
collect_and_partition_mono_items: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <collect_and_partition_mono_items<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>is_codegened_item: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <is_codegened_item<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>codegen_unit: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <codegen_unit<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>unused_generic_params: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <unused_generic_params<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>backend_optimization_level: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <backend_optimization_level<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>output_filenames: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <output_filenames<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>normalize_projection_ty: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <normalize_projection_ty<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Do not call this query directly: invoke normalize instead.
normalize_generic_arg_after_erasing_regions: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <normalize_generic_arg_after_erasing_regions<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Do not call this query directly: invoke normalize_erasing_regions instead.
implied_outlives_bounds: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <implied_outlives_bounds<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>dropck_outlives: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <dropck_outlives<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Do not call this query directly: invoke infcx.at().dropck_outlives() instead.
evaluate_obligation: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <evaluate_obligation<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Do not call this query directly: invoke infcx.predicate_may_hold() or
infcx.predicate_must_hold() instead.
evaluate_goal: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <evaluate_goal<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>type_implements_trait: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <type_implements_trait<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>type_op_ascribe_user_type: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <type_op_ascribe_user_type<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Do not call this query directly: part of the Eq type-op
type_op_eq: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <type_op_eq<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Do not call this query directly: part of the Eq type-op
type_op_subtype: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <type_op_subtype<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Do not call this query directly: part of the Subtype type-op
type_op_prove_predicate: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <type_op_prove_predicate<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Do not call this query directly: part of the ProvePredicate type-op
type_op_normalize_ty: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <type_op_normalize_ty<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Do not call this query directly: part of the Normalize type-op
type_op_normalize_predicate: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <type_op_normalize_predicate<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Do not call this query directly: part of the Normalize type-op
type_op_normalize_poly_fn_sig: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <type_op_normalize_poly_fn_sig<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Do not call this query directly: part of the Normalize type-op
type_op_normalize_fn_sig: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <type_op_normalize_fn_sig<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Do not call this query directly: part of the Normalize type-op
subst_and_check_impossible_predicates: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <subst_and_check_impossible_predicates<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>method_autoderef_steps: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <method_autoderef_steps<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>supported_target_features: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <supported_target_features<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>instance_def_size_estimate: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <instance_def_size_estimate<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Get an estimate of the size of an InstanceDef based on its MIR for CGU partitioning.
features_query: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <features_query<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>resolve_instance: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <resolve_instance<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Attempt to resolve the given DefId to an Instance, for the
given generics args (SubstsRef), returning one of:
Ok(Some(instance))on successOk(None)when theSubstsRefare still too generic, and therefore don't allow finding the finalInstanceErr(ErrorReported)when theInstanceresolution process couldn't complete due to errors elsewhere - this is distinct fromOk(None)to avoid misleading diagnostics when an error has already been/will be emitted, for the original cause
resolve_instance_of_const_arg: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <resolve_instance_of_const_arg<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>normalize_opaque_types: QueryState<DepKind, <TyCtxt<'tcx> as QueryContext>::Query, <normalize_opaque_types<'tcx> as QueryAccessors<TyCtxt<'tcx>>>::Cache>Implementations
impl<'tcx> Queries<'tcx>[src]
pub(crate) fn new(
providers: IndexVec<CrateNum, Providers>,
fallback_extern_providers: Providers,
on_disk_cache: OnDiskCache<'tcx>
) -> Self[src]
providers: IndexVec<CrateNum, Providers>,
fallback_extern_providers: Providers,
on_disk_cache: OnDiskCache<'tcx>
) -> Self
pub(crate) fn try_collect_active_jobs(
&self
) -> Option<FxHashMap<QueryJobId<DepKind>, QueryJobInfo<DepKind, <TyCtxt<'tcx> as QueryContext>::Query>>>[src]
&self
) -> Option<FxHashMap<QueryJobId<DepKind>, QueryJobInfo<DepKind, <TyCtxt<'tcx> as QueryContext>::Query>>>
Auto Trait Implementations
impl<'tcx> !RefUnwindSafe for Queries<'tcx>
impl<'tcx> !Send for Queries<'tcx>
impl<'tcx> !Sync for Queries<'tcx>
impl<'tcx> Unpin for Queries<'tcx>
impl<'tcx> !UnwindSafe for Queries<'tcx>
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized, [src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized, [src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized, [src]
T: ?Sized,
pub fn borrow_mut(&mut self) -> &mut T[src]
impl<'a, T> Captures<'a> for T where
T: ?Sized, [src]
T: ?Sized,
impl<T> From<T> for T[src]
impl<T, U> Into<U> for T where
U: From<T>, [src]
U: From<T>,
impl<T> MaybeResult<T> for T[src]
type Error = !
pub fn from(Result<T, <T as MaybeResult<T>>::Error>) -> T[src]
pub fn to_result(self) -> Result<T, <T as MaybeResult<T>>::Error>[src]
impl<T, U> TryFrom<U> for T where
U: Into<T>, [src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>, [src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.