Struct rustc_middle::ty::query::QueryCaches
source · [−]pub struct QueryCaches<'tcx> {Show 283 fields
pub trigger_delay_span_bug: trigger_delay_span_bug<'tcx>,
pub resolutions: resolutions<'tcx>,
pub resolver_for_lowering: resolver_for_lowering<'tcx>,
pub source_span: source_span<'tcx>,
pub hir_crate: hir_crate<'tcx>,
pub hir_crate_items: hir_crate_items<'tcx>,
pub hir_module_items: hir_module_items<'tcx>,
pub hir_owner: hir_owner<'tcx>,
pub local_def_id_to_hir_id: local_def_id_to_hir_id<'tcx>,
pub hir_owner_parent: hir_owner_parent<'tcx>,
pub hir_owner_nodes: hir_owner_nodes<'tcx>,
pub hir_attrs: hir_attrs<'tcx>,
pub opt_const_param_of: opt_const_param_of<'tcx>,
pub const_param_default: const_param_default<'tcx>,
pub type_of: type_of<'tcx>,
pub collect_trait_impl_trait_tys: collect_trait_impl_trait_tys<'tcx>,
pub analysis: analysis<'tcx>,
pub check_expectations: check_expectations<'tcx>,
pub generics_of: generics_of<'tcx>,
pub predicates_of: predicates_of<'tcx>,
pub explicit_item_bounds: explicit_item_bounds<'tcx>,
pub item_bounds: item_bounds<'tcx>,
pub native_libraries: native_libraries<'tcx>,
pub shallow_lint_levels_on: shallow_lint_levels_on<'tcx>,
pub lint_expectations: lint_expectations<'tcx>,
pub parent_module_from_def_id: parent_module_from_def_id<'tcx>,
pub expn_that_defined: expn_that_defined<'tcx>,
pub is_panic_runtime: is_panic_runtime<'tcx>,
pub thir_body: thir_body<'tcx>,
pub thir_tree: thir_tree<'tcx>,
pub mir_keys: mir_keys<'tcx>,
pub mir_const_qualif: mir_const_qualif<'tcx>,
pub mir_const_qualif_const_arg: mir_const_qualif_const_arg<'tcx>,
pub mir_built: mir_built<'tcx>,
pub mir_const: mir_const<'tcx>,
pub thir_abstract_const: thir_abstract_const<'tcx>,
pub thir_abstract_const_of_const_arg: thir_abstract_const_of_const_arg<'tcx>,
pub try_unify_abstract_consts: try_unify_abstract_consts<'tcx>,
pub mir_drops_elaborated_and_const_checked: mir_drops_elaborated_and_const_checked<'tcx>,
pub mir_for_ctfe: mir_for_ctfe<'tcx>,
pub mir_for_ctfe_of_const_arg: mir_for_ctfe_of_const_arg<'tcx>,
pub mir_promoted: mir_promoted<'tcx>,
pub symbols_for_closure_captures: symbols_for_closure_captures<'tcx>,
pub optimized_mir: optimized_mir<'tcx>,
pub coverageinfo: coverageinfo<'tcx>,
pub covered_code_regions: covered_code_regions<'tcx>,
pub promoted_mir: promoted_mir<'tcx>,
pub promoted_mir_of_const_arg: promoted_mir_of_const_arg<'tcx>,
pub erase_regions_ty: erase_regions_ty<'tcx>,
pub wasm_import_module_map: wasm_import_module_map<'tcx>,
pub predicates_defined_on: predicates_defined_on<'tcx>,
pub trait_explicit_predicates_and_bounds: trait_explicit_predicates_and_bounds<'tcx>,
pub explicit_predicates_of: explicit_predicates_of<'tcx>,
pub inferred_outlives_of: inferred_outlives_of<'tcx>,
pub super_predicates_of: super_predicates_of<'tcx>,
pub super_predicates_that_define_assoc_type: super_predicates_that_define_assoc_type<'tcx>,
pub type_param_predicates: type_param_predicates<'tcx>,
pub trait_def: trait_def<'tcx>,
pub adt_def: adt_def<'tcx>,
pub adt_destructor: adt_destructor<'tcx>,
pub adt_sized_constraint: adt_sized_constraint<'tcx>,
pub adt_dtorck_constraint: adt_dtorck_constraint<'tcx>,
pub constness: constness<'tcx>,
pub asyncness: asyncness<'tcx>,
pub is_promotable_const_fn: is_promotable_const_fn<'tcx>,
pub is_foreign_item: is_foreign_item<'tcx>,
pub generator_kind: generator_kind<'tcx>,
pub crate_variances: crate_variances<'tcx>,
pub variances_of: variances_of<'tcx>,
pub inferred_outlives_crate: inferred_outlives_crate<'tcx>,
pub associated_item_def_ids: associated_item_def_ids<'tcx>,
pub associated_item: associated_item<'tcx>,
pub associated_items: associated_items<'tcx>,
pub impl_item_implementor_ids: impl_item_implementor_ids<'tcx>,
pub impl_trait_ref: impl_trait_ref<'tcx>,
pub impl_polarity: impl_polarity<'tcx>,
pub issue33140_self_ty: issue33140_self_ty<'tcx>,
pub inherent_impls: inherent_impls<'tcx>,
pub incoherent_impls: incoherent_impls<'tcx>,
pub unsafety_check_result: unsafety_check_result<'tcx>,
pub unsafety_check_result_for_const_arg: unsafety_check_result_for_const_arg<'tcx>,
pub thir_check_unsafety: thir_check_unsafety<'tcx>,
pub thir_check_unsafety_for_const_arg: thir_check_unsafety_for_const_arg<'tcx>,
pub unsafe_derive_on_repr_packed: unsafe_derive_on_repr_packed<'tcx>,
pub assumed_wf_types: assumed_wf_types<'tcx>,
pub fn_sig: fn_sig<'tcx>,
pub lint_mod: lint_mod<'tcx>,
pub check_mod_attrs: check_mod_attrs<'tcx>,
pub check_mod_unstable_api_usage: check_mod_unstable_api_usage<'tcx>,
pub check_mod_const_bodies: check_mod_const_bodies<'tcx>,
pub check_mod_loops: check_mod_loops<'tcx>,
pub check_mod_naked_functions: check_mod_naked_functions<'tcx>,
pub check_mod_item_types: check_mod_item_types<'tcx>,
pub check_mod_privacy: check_mod_privacy<'tcx>,
pub check_liveness: check_liveness<'tcx>,
pub live_symbols_and_ignored_derived_traits: live_symbols_and_ignored_derived_traits<'tcx>,
pub check_mod_deathness: check_mod_deathness<'tcx>,
pub check_mod_impl_wf: check_mod_impl_wf<'tcx>,
pub check_mod_type_wf: check_mod_type_wf<'tcx>,
pub collect_mod_item_types: collect_mod_item_types<'tcx>,
pub coerce_unsized_info: coerce_unsized_info<'tcx>,
pub typeck_item_bodies: typeck_item_bodies<'tcx>,
pub typeck: typeck<'tcx>,
pub typeck_const_arg: typeck_const_arg<'tcx>,
pub diagnostic_only_typeck: diagnostic_only_typeck<'tcx>,
pub used_trait_imports: used_trait_imports<'tcx>,
pub has_typeck_results: has_typeck_results<'tcx>,
pub coherent_trait: coherent_trait<'tcx>,
pub mir_borrowck: mir_borrowck<'tcx>,
pub mir_borrowck_const_arg: mir_borrowck_const_arg<'tcx>,
pub crate_inherent_impls: crate_inherent_impls<'tcx>,
pub crate_inherent_impls_overlap_check: crate_inherent_impls_overlap_check<'tcx>,
pub orphan_check_impl: orphan_check_impl<'tcx>,
pub mir_callgraph_reachable: mir_callgraph_reachable<'tcx>,
pub mir_inliner_callees: mir_inliner_callees<'tcx>,
pub eval_to_allocation_raw: eval_to_allocation_raw<'tcx>,
pub eval_to_const_value_raw: eval_to_const_value_raw<'tcx>,
pub eval_to_valtree: eval_to_valtree<'tcx>,
pub valtree_to_const_val: valtree_to_const_val<'tcx>,
pub destructure_const: destructure_const<'tcx>,
pub try_destructure_mir_constant: try_destructure_mir_constant<'tcx>,
pub deref_mir_constant: deref_mir_constant<'tcx>,
pub const_caller_location: const_caller_location<'tcx>,
pub lit_to_const: lit_to_const<'tcx>,
pub lit_to_mir_constant: lit_to_mir_constant<'tcx>,
pub check_match: check_match<'tcx>,
pub privacy_access_levels: privacy_access_levels<'tcx>,
pub check_private_in_public: check_private_in_public<'tcx>,
pub reachable_set: reachable_set<'tcx>,
pub region_scope_tree: region_scope_tree<'tcx>,
pub mir_shims: mir_shims<'tcx>,
pub symbol_name: symbol_name<'tcx>,
pub opt_def_kind: opt_def_kind<'tcx>,
pub def_span: def_span<'tcx>,
pub def_ident_span: def_ident_span<'tcx>,
pub lookup_stability: lookup_stability<'tcx>,
pub lookup_const_stability: lookup_const_stability<'tcx>,
pub lookup_default_body_stability: lookup_default_body_stability<'tcx>,
pub should_inherit_track_caller: should_inherit_track_caller<'tcx>,
pub lookup_deprecation_entry: lookup_deprecation_entry<'tcx>,
pub is_doc_hidden: is_doc_hidden<'tcx>,
pub item_attrs: item_attrs<'tcx>,
pub codegen_fn_attrs: codegen_fn_attrs<'tcx>,
pub asm_target_features: asm_target_features<'tcx>,
pub fn_arg_names: fn_arg_names<'tcx>,
pub rendered_const: rendered_const<'tcx>,
pub impl_parent: impl_parent<'tcx>,
pub is_ctfe_mir_available: is_ctfe_mir_available<'tcx>,
pub is_mir_available: is_mir_available<'tcx>,
pub own_existential_vtable_entries: own_existential_vtable_entries<'tcx>,
pub vtable_entries: vtable_entries<'tcx>,
pub vtable_trait_upcasting_coercion_new_vptr_slot: vtable_trait_upcasting_coercion_new_vptr_slot<'tcx>,
pub vtable_allocation: vtable_allocation<'tcx>,
pub codegen_select_candidate: codegen_select_candidate<'tcx>,
pub all_local_trait_impls: all_local_trait_impls<'tcx>,
pub trait_impls_of: trait_impls_of<'tcx>,
pub specialization_graph_of: specialization_graph_of<'tcx>,
pub object_safety_violations: object_safety_violations<'tcx>,
pub param_env: param_env<'tcx>,
pub param_env_reveal_all_normalized: param_env_reveal_all_normalized<'tcx>,
pub is_copy_raw: is_copy_raw<'tcx>,
pub is_sized_raw: is_sized_raw<'tcx>,
pub is_freeze_raw: is_freeze_raw<'tcx>,
pub is_unpin_raw: is_unpin_raw<'tcx>,
pub needs_drop_raw: needs_drop_raw<'tcx>,
pub has_significant_drop_raw: has_significant_drop_raw<'tcx>,
pub has_structural_eq_impls: has_structural_eq_impls<'tcx>,
pub adt_drop_tys: adt_drop_tys<'tcx>,
pub adt_significant_drop_tys: adt_significant_drop_tys<'tcx>,
pub layout_of: layout_of<'tcx>,
pub fn_abi_of_fn_ptr: fn_abi_of_fn_ptr<'tcx>,
pub fn_abi_of_instance: fn_abi_of_instance<'tcx>,
pub dylib_dependency_formats: dylib_dependency_formats<'tcx>,
pub dependency_formats: dependency_formats<'tcx>,
pub is_compiler_builtins: is_compiler_builtins<'tcx>,
pub has_global_allocator: has_global_allocator<'tcx>,
pub has_panic_handler: has_panic_handler<'tcx>,
pub is_profiler_runtime: is_profiler_runtime<'tcx>,
pub has_ffi_unwind_calls: has_ffi_unwind_calls<'tcx>,
pub required_panic_strategy: required_panic_strategy<'tcx>,
pub panic_in_drop_strategy: panic_in_drop_strategy<'tcx>,
pub is_no_builtins: is_no_builtins<'tcx>,
pub symbol_mangling_version: symbol_mangling_version<'tcx>,
pub extern_crate: extern_crate<'tcx>,
pub specializes: specializes<'tcx>,
pub in_scope_traits_map: in_scope_traits_map<'tcx>,
pub module_reexports: module_reexports<'tcx>,
pub impl_defaultness: impl_defaultness<'tcx>,
pub check_well_formed: check_well_formed<'tcx>,
pub reachable_non_generics: reachable_non_generics<'tcx>,
pub is_reachable_non_generic: is_reachable_non_generic<'tcx>,
pub is_unreachable_local_definition: is_unreachable_local_definition<'tcx>,
pub upstream_monomorphizations: upstream_monomorphizations<'tcx>,
pub upstream_monomorphizations_for: upstream_monomorphizations_for<'tcx>,
pub upstream_drop_glue_for: upstream_drop_glue_for<'tcx>,
pub foreign_modules: foreign_modules<'tcx>,
pub entry_fn: entry_fn<'tcx>,
pub proc_macro_decls_static: proc_macro_decls_static<'tcx>,
pub crate_hash: crate_hash<'tcx>,
pub crate_host_hash: crate_host_hash<'tcx>,
pub extra_filename: extra_filename<'tcx>,
pub crate_extern_paths: crate_extern_paths<'tcx>,
pub implementations_of_trait: implementations_of_trait<'tcx>,
pub crate_incoherent_impls: crate_incoherent_impls<'tcx>,
pub is_dllimport_foreign_item: is_dllimport_foreign_item<'tcx>,
pub is_statically_included_foreign_item: is_statically_included_foreign_item<'tcx>,
pub native_library_kind: native_library_kind<'tcx>,
pub native_library: native_library<'tcx>,
pub resolve_lifetimes_trait_definition: resolve_lifetimes_trait_definition<'tcx>,
pub resolve_lifetimes: resolve_lifetimes<'tcx>,
pub named_region_map: named_region_map<'tcx>,
pub is_late_bound_map: is_late_bound_map<'tcx>,
pub object_lifetime_default: object_lifetime_default<'tcx>,
pub late_bound_vars_map: late_bound_vars_map<'tcx>,
pub visibility: visibility<'tcx>,
pub type_uninhabited_from: type_uninhabited_from<'tcx>,
pub dep_kind: dep_kind<'tcx>,
pub crate_name: crate_name<'tcx>,
pub module_children: module_children<'tcx>,
pub extern_mod_stmt_cnum: extern_mod_stmt_cnum<'tcx>,
pub lib_features: lib_features<'tcx>,
pub defined_lib_features: defined_lib_features<'tcx>,
pub stability_implications: stability_implications<'tcx>,
pub is_intrinsic: is_intrinsic<'tcx>,
pub get_lang_items: get_lang_items<'tcx>,
pub all_diagnostic_items: all_diagnostic_items<'tcx>,
pub defined_lang_items: defined_lang_items<'tcx>,
pub diagnostic_items: diagnostic_items<'tcx>,
pub missing_lang_items: missing_lang_items<'tcx>,
pub visible_parent_map: visible_parent_map<'tcx>,
pub trimmed_def_paths: trimmed_def_paths<'tcx>,
pub missing_extern_crate_item: missing_extern_crate_item<'tcx>,
pub used_crate_source: used_crate_source<'tcx>,
pub debugger_visualizers: debugger_visualizers<'tcx>,
pub postorder_cnums: postorder_cnums<'tcx>,
pub is_private_dep: is_private_dep<'tcx>,
pub allocator_kind: allocator_kind<'tcx>,
pub upvars_mentioned: upvars_mentioned<'tcx>,
pub maybe_unused_trait_imports: maybe_unused_trait_imports<'tcx>,
pub maybe_unused_extern_crates: maybe_unused_extern_crates<'tcx>,
pub names_imported_by_glob_use: names_imported_by_glob_use<'tcx>,
pub stability_index: stability_index<'tcx>,
pub crates: crates<'tcx>,
pub traits_in_crate: traits_in_crate<'tcx>,
pub exported_symbols: exported_symbols<'tcx>,
pub collect_and_partition_mono_items: collect_and_partition_mono_items<'tcx>,
pub is_codegened_item: is_codegened_item<'tcx>,
pub codegened_and_inlined_items: codegened_and_inlined_items<'tcx>,
pub codegen_unit: codegen_unit<'tcx>,
pub unused_generic_params: unused_generic_params<'tcx>,
pub backend_optimization_level: backend_optimization_level<'tcx>,
pub output_filenames: output_filenames<'tcx>,
pub normalize_projection_ty: normalize_projection_ty<'tcx>,
pub try_normalize_generic_arg_after_erasing_regions: try_normalize_generic_arg_after_erasing_regions<'tcx>,
pub try_normalize_mir_const_after_erasing_regions: try_normalize_mir_const_after_erasing_regions<'tcx>,
pub implied_outlives_bounds: implied_outlives_bounds<'tcx>,
pub dropck_outlives: dropck_outlives<'tcx>,
pub evaluate_obligation: evaluate_obligation<'tcx>,
pub evaluate_goal: evaluate_goal<'tcx>,
pub type_op_ascribe_user_type: type_op_ascribe_user_type<'tcx>,
pub type_op_eq: type_op_eq<'tcx>,
pub type_op_subtype: type_op_subtype<'tcx>,
pub type_op_prove_predicate: type_op_prove_predicate<'tcx>,
pub type_op_normalize_ty: type_op_normalize_ty<'tcx>,
pub type_op_normalize_predicate: type_op_normalize_predicate<'tcx>,
pub type_op_normalize_poly_fn_sig: type_op_normalize_poly_fn_sig<'tcx>,
pub type_op_normalize_fn_sig: type_op_normalize_fn_sig<'tcx>,
pub subst_and_check_impossible_predicates: subst_and_check_impossible_predicates<'tcx>,
pub is_impossible_method: is_impossible_method<'tcx>,
pub method_autoderef_steps: method_autoderef_steps<'tcx>,
pub supported_target_features: supported_target_features<'tcx>,
pub instance_def_size_estimate: instance_def_size_estimate<'tcx>,
pub features_query: features_query<'tcx>,
pub resolve_instance: resolve_instance<'tcx>,
pub resolve_instance_of_const_arg: resolve_instance_of_const_arg<'tcx>,
pub normalize_opaque_types: normalize_opaque_types<'tcx>,
pub conservative_is_privately_uninhabited: conservative_is_privately_uninhabited<'tcx>,
pub limits: limits<'tcx>,
pub diagnostic_hir_wf_check: diagnostic_hir_wf_check<'tcx>,
pub global_backend_features: global_backend_features<'tcx>,
pub generator_diagnostic_data: generator_diagnostic_data<'tcx>,
pub permits_uninit_init: permits_uninit_init<'tcx>,
pub permits_zero_init: permits_zero_init<'tcx>,
}Fields
trigger_delay_span_bug: trigger_delay_span_bug<'tcx>[query description - consider adding a doc-comment!] trigger a delay span bug
resolutions: resolutions<'tcx>[query description - consider adding a doc-comment!] get the resolver outputs
resolver_for_lowering: resolver_for_lowering<'tcx>[query description - consider adding a doc-comment!] get the resolver for lowering
source_span: source_span<'tcx>Return the span for a definition.
Contrary to def_span below, this query returns the full absolute span of the definition.
This span is meant for dep-tracking rather than diagnostics. It should not be used outside
of rustc_middle::hir::source_map.
hir_crate: hir_crate<'tcx>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().
hir_crate_items: hir_crate_items<'tcx>All items in the crate.
hir_module_items: hir_module_items<'tcx>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: hir_owner<'tcx>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.
local_def_id_to_hir_id: local_def_id_to_hir_id<'tcx>Gives access to the HIR ID for the given LocalDefId owner key.
This can be conveniently accessed by methods on tcx.hir().
Avoid calling this query directly.
hir_owner_parent: hir_owner_parent<'tcx>Gives access to the HIR node’s parent for the HIR owner key.
This can be conveniently accessed by methods on tcx.hir().
Avoid calling this query directly.
hir_owner_nodes: hir_owner_nodes<'tcx>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.
hir_attrs: hir_attrs<'tcx>Gives access to the HIR attributes inside the HIR owner key.
This can be conveniently accessed by methods on tcx.hir().
Avoid calling this query directly.
opt_const_param_of: opt_const_param_of<'tcx>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`.
}const_param_default: const_param_default<'tcx>Given the def_id of a const-generic parameter, computes the associated default const
parameter. e.g. fn example<const N: usize=3> called on N would return 3.
type_of: type_of<'tcx>Returns the Ty of the given DefId. If the DefId points
to an alias, it will “skip” this alias to return the aliased type.
collect_trait_impl_trait_tys: collect_trait_impl_trait_tys<'tcx>[query description - consider adding a doc-comment!] compare an impl and trait method signature, inferring any hidden impl Trait types in the process
analysis: analysis<'tcx>[query description - consider adding a doc-comment!] running analysis passes on this crate
check_expectations: check_expectations<'tcx>This query checks the fulfillment of collected lint expectations. All lint emitting queries have to be done before this is executed to ensure that all expectations can be fulfilled.
This is an extra query to enable other drivers (like rustdoc) to
only execute a small subset of the analysis query, while allowing
lints to be expected. In rustc, this query will be executed as part of
the analysis query and doesn’t have to be called a second time.
Tools can additionally pass in a tool filter. That will restrict the
expectations to only trigger for lints starting with the listed tool
name. This is useful for cases were not all linting code from rustc
was called. With the default None all registered lints will also
be checked for expectation fulfillment.
generics_of: generics_of<'tcx>Maps from the DefId of an item (trait/struct/enum/fn) to its
associated generics.
predicates_of: predicates_of<'tcx>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: explicit_item_bounds<'tcx>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: item_bounds<'tcx>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.
native_libraries: native_libraries<'tcx>[query description - consider adding a doc-comment!] looking up the native libraries of a linked crate
shallow_lint_levels_on: shallow_lint_levels_on<'tcx>[query description - consider adding a doc-comment!] looking up lint levels for key
lint_expectations: lint_expectations<'tcx>[query description - consider adding a doc-comment!] computing #[expect]ed lints in this crate
parent_module_from_def_id: parent_module_from_def_id<'tcx>[query description - consider adding a doc-comment!] parent module of tcx.def_path_str(key.to_def_id())
expn_that_defined: expn_that_defined<'tcx>[query description - consider adding a doc-comment!] expansion that defined tcx.def_path_str(key)
is_panic_runtime: is_panic_runtime<'tcx>[query description - consider adding a doc-comment!] checking if the crate is_panic_runtime
thir_body: thir_body<'tcx>Fetch the THIR for a given body. If typeck for that body failed, returns an empty Thir.
thir_tree: thir_tree<'tcx>Create a THIR tree for debugging.
mir_keys: mir_keys<'tcx>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: mir_const_qualif<'tcx>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: mir_const_qualif_const_arg<'tcx>[query description - consider adding a doc-comment!] const checking the const argument tcx.def_path_str(key.0.to_def_id())
mir_built: mir_built<'tcx>Fetch the MIR for a given DefId right after it’s built - this includes
unreachable code.
mir_const: mir_const<'tcx>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.
thir_abstract_const: thir_abstract_const<'tcx>Try to build an abstract representation of the given constant.
thir_abstract_const_of_const_arg: thir_abstract_const_of_const_arg<'tcx>Try to build an abstract representation of the given constant.
try_unify_abstract_consts: try_unify_abstract_consts<'tcx>[query description - consider adding a doc-comment!] trying to unify the generic constants tcx.def_path_str(key.value.0.def.did) and tcx.def_path_str(key.value.1.def.did)
mir_drops_elaborated_and_const_checked: mir_drops_elaborated_and_const_checked<'tcx>[query description - consider adding a doc-comment!] elaborating drops for tcx.def_path_str(key.did.to_def_id())
mir_for_ctfe: mir_for_ctfe<'tcx>[query description - consider adding a doc-comment!] caching mir of tcx.def_path_str(key) for CTFE
mir_for_ctfe_of_const_arg: mir_for_ctfe_of_const_arg<'tcx>[query description - consider adding a doc-comment!] MIR for CTFE of the const argument tcx.def_path_str(key.0.to_def_id())
mir_promoted: mir_promoted<'tcx>[query description - consider adding a doc-comment!] processing if key.const_param_did.is_some() { "the const argument " } else { "" } tcx.def_path_str(key.did.to_def_id())
symbols_for_closure_captures: symbols_for_closure_captures<'tcx>[query description - consider adding a doc-comment!] symbols for captures of closure tcx.def_path_str(key.1.to_def_id()) in tcx.def_path_str(key.0.to_def_id())
optimized_mir: optimized_mir<'tcx>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.
coverageinfo: coverageinfo<'tcx>Returns coverage summary info for a function, after executing the InstrumentCoverage
MIR pass (assuming the -Cinstrument-coverage option is enabled).
covered_code_regions: covered_code_regions<'tcx>Returns the CodeRegions for a function that has instrumented coverage, in case the
function was optimized out before codegen, and before being added to the Coverage Map.
promoted_mir: promoted_mir<'tcx>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: promoted_mir_of_const_arg<'tcx>[query description - consider adding a doc-comment!] optimizing promoted MIR for the const argument tcx.def_path_str(key.0.to_def_id())
erase_regions_ty: erase_regions_ty<'tcx>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: wasm_import_module_map<'tcx>[query description - consider adding a doc-comment!] wasm import module map
predicates_defined_on: predicates_defined_on<'tcx>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: trait_explicit_predicates_and_bounds<'tcx>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: explicit_predicates_of<'tcx>Returns the predicates written explicitly by the user.
inferred_outlives_of: inferred_outlives_of<'tcx>Returns the inferred outlives predicates (e.g., for struct Foo<'a, T> { x: &'a T }, this would return T: 'a).
super_predicates_of: super_predicates_of<'tcx>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).
super_predicates_that_define_assoc_type: super_predicates_that_define_assoc_type<'tcx>The Option<Ident> is the name of an associated type. If it is None, then this query
returns the full set of predicates. If Some<Ident>, then the query returns only the
subset of super-predicates that reference traits that define the given associated type.
This is used to avoid cycles in resolving types like T::Item.
type_param_predicates: type_param_predicates<'tcx>To avoid cycles within the predicates of a single item we compute
per-type-parameter predicates for resolving T::AssocTy.
trait_def: trait_def<'tcx>[query description - consider adding a doc-comment!] computing trait definition for tcx.def_path_str(key)
adt_def: adt_def<'tcx>[query description - consider adding a doc-comment!] computing ADT definition for tcx.def_path_str(key)
adt_destructor: adt_destructor<'tcx>[query description - consider adding a doc-comment!] computing Drop impl for tcx.def_path_str(key)
adt_sized_constraint: adt_sized_constraint<'tcx>[query description - consider adding a doc-comment!] computing Sized constraints for tcx.def_path_str(key)
adt_dtorck_constraint: adt_dtorck_constraint<'tcx>[query description - consider adding a doc-comment!] computing drop-check constraints for tcx.def_path_str(key)
constness: constness<'tcx>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. Consider using is_const_fn or is_const_fn_raw instead.
asyncness: asyncness<'tcx>[query description - consider adding a doc-comment!] checking if the function is async: tcx.def_path_str(key)
is_promotable_const_fn: is_promotable_const_fn<'tcx>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: is_foreign_item<'tcx>Returns true if this is a foreign item (i.e., linked via extern { ... }).
generator_kind: generator_kind<'tcx>Returns Some(generator_kind) if the node pointed to by def_id is a generator.
crate_variances: crate_variances<'tcx>Gets a map with the variance of every item; use item_variance instead.
variances_of: variances_of<'tcx>Maps from the DefId of a type or region parameter to its (inferred) variance.
inferred_outlives_crate: inferred_outlives_crate<'tcx>Maps from thee DefId of a type to its (inferred) outlives.
associated_item_def_ids: associated_item_def_ids<'tcx>Maps from an impl/trait DefId to a list of the DefIds of its items.
associated_item: associated_item<'tcx>Maps from a trait item to the trait item “descriptor”.
associated_items: associated_items<'tcx>Collects the associated items defined on a trait or impl.
impl_item_implementor_ids: impl_item_implementor_ids<'tcx>Maps from associated items on a trait to the corresponding associated
item on the impl specified by impl_id.
For example, with the following code
struct Type {}
// DefId
trait Trait { // trait_id
fn f(); // trait_f
fn g() {} // trait_g
}
impl Trait for Type { // impl_id
fn f() {} // impl_f
fn g() {} // impl_g
}The map returned for tcx.impl_item_implementor_ids(impl_id) would be
{ trait_f: impl_f, trait_g: impl_g }
impl_trait_ref: impl_trait_ref<'tcx>Given an impl_id, return the trait it implements.
Return None if this is an inherent impl.
impl_polarity: impl_polarity<'tcx>[query description - consider adding a doc-comment!] computing implementation polarity of tcx.def_path_str(impl_id)
issue33140_self_ty: issue33140_self_ty<'tcx>[query description - consider adding a doc-comment!] computing Self type wrt issue #33140 tcx.def_path_str(key)
inherent_impls: inherent_impls<'tcx>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.
incoherent_impls: incoherent_impls<'tcx>[query description - consider adding a doc-comment!] collecting all inherent impls for {:?}
unsafety_check_result: unsafety_check_result<'tcx>The result of unsafety-checking this LocalDefId.
unsafety_check_result_for_const_arg: unsafety_check_result_for_const_arg<'tcx>[query description - consider adding a doc-comment!] unsafety-checking the const argument tcx.def_path_str(key.0.to_def_id())
thir_check_unsafety: thir_check_unsafety<'tcx>Unsafety-check this LocalDefId with THIR unsafeck. This should be
used with -Zthir-unsafeck.
thir_check_unsafety_for_const_arg: thir_check_unsafety_for_const_arg<'tcx>[query description - consider adding a doc-comment!] unsafety-checking the const argument tcx.def_path_str(key.0.to_def_id())
unsafe_derive_on_repr_packed: unsafe_derive_on_repr_packed<'tcx>HACK: when evaluated, this reports an “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.
assumed_wf_types: assumed_wf_types<'tcx>Returns the types assumed to be well formed while “inside” of the given item.
Note that we’ve liberated the late bound regions of function signatures, so this can not be used to check whether these types are well formed.
fn_sig: fn_sig<'tcx>Computes the signature of the function.
lint_mod: lint_mod<'tcx>Performs lint checking for the module.
check_mod_attrs: check_mod_attrs<'tcx>Checks the attributes in the module.
check_mod_unstable_api_usage: check_mod_unstable_api_usage<'tcx>Checks for uses of unstable APIs in the module.
check_mod_const_bodies: check_mod_const_bodies<'tcx>Checks the const bodies in the module for illegal operations (e.g. if or loop).
check_mod_loops: check_mod_loops<'tcx>Checks the loops in the module.
check_mod_naked_functions: check_mod_naked_functions<'tcx>[query description - consider adding a doc-comment!] checking naked functions in describe_as_module(key, tcx)
check_mod_item_types: check_mod_item_types<'tcx>[query description - consider adding a doc-comment!] checking item types in describe_as_module(key, tcx)
check_mod_privacy: check_mod_privacy<'tcx>[query description - consider adding a doc-comment!] checking privacy in describe_as_module(key, tcx)
check_liveness: check_liveness<'tcx>[query description - consider adding a doc-comment!] checking liveness of variables in tcx.def_path_str(key)
live_symbols_and_ignored_derived_traits: live_symbols_and_ignored_derived_traits<'tcx>Return the live symbols in the crate for dead code check.
The second return value maps from ADTs to ignored derived traits (e.g. Debug and Clone) and their respective impl (i.e., part of the derive macro)
check_mod_deathness: check_mod_deathness<'tcx>[query description - consider adding a doc-comment!] checking deathness of variables in describe_as_module(key, tcx)
check_mod_impl_wf: check_mod_impl_wf<'tcx>[query description - consider adding a doc-comment!] checking that impls are well-formed in describe_as_module(key, tcx)
check_mod_type_wf: check_mod_type_wf<'tcx>[query description - consider adding a doc-comment!] checking that types are well-formed in describe_as_module(key, tcx)
collect_mod_item_types: collect_mod_item_types<'tcx>[query description - consider adding a doc-comment!] collecting item types in describe_as_module(key, tcx)
coerce_unsized_info: coerce_unsized_info<'tcx>Caches CoerceUnsized kinds for impls on custom types.
typeck_item_bodies: typeck_item_bodies<'tcx>[query description - consider adding a doc-comment!] type-checking all item bodies
typeck: typeck<'tcx>[query description - consider adding a doc-comment!] type-checking tcx.def_path_str(key.to_def_id())
typeck_const_arg: typeck_const_arg<'tcx>[query description - consider adding a doc-comment!] type-checking the const argument tcx.def_path_str(key.0.to_def_id())
diagnostic_only_typeck: diagnostic_only_typeck<'tcx>[query description - consider adding a doc-comment!] type-checking tcx.def_path_str(key.to_def_id())
used_trait_imports: used_trait_imports<'tcx>[query description - consider adding a doc-comment!] used_trait_imports tcx.def_path_str(key.to_def_id())
has_typeck_results: has_typeck_results<'tcx>[query description - consider adding a doc-comment!] checking whether tcx.def_path_str(def_id) has a body
coherent_trait: coherent_trait<'tcx>[query description - consider adding a doc-comment!] coherence checking all impls of trait tcx.def_path_str(def_id)
mir_borrowck: mir_borrowck<'tcx>Borrow-checks the function body. If this is a closure, returns additional requirements that the closure’s creator must verify.
mir_borrowck_const_arg: mir_borrowck_const_arg<'tcx>[query description - consider adding a doc-comment!] borrow-checking the const argument tcx.def_path_str(key.0.to_def_id())
crate_inherent_impls: crate_inherent_impls<'tcx>Gets a complete map from all types to their inherent impls. Not meant to be used directly outside of coherence.
crate_inherent_impls_overlap_check: crate_inherent_impls_overlap_check<'tcx>Checks all types in the crate for overlap in their inherent impls. Reports errors. Not meant to be used directly outside of coherence.
orphan_check_impl: orphan_check_impl<'tcx>Checks whether all impls in the crate pass the overlap check, returning which impls fail it. If all impls are correct, the returned slice is empty.
mir_callgraph_reachable: mir_callgraph_reachable<'tcx>Check whether the function has any recursion that could cause the inliner to trigger a cycle. Returns the call stack causing the cycle. The call stack does not contain the current function, just all intermediate functions.
mir_inliner_callees: mir_inliner_callees<'tcx>Obtain all the calls into other local functions
eval_to_allocation_raw: eval_to_allocation_raw<'tcx>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: eval_to_const_value_raw<'tcx>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.
eval_to_valtree: eval_to_valtree<'tcx>Evaluate a constant and convert it to a type level constant or
return None if that is not possible.
valtree_to_const_val: valtree_to_const_val<'tcx>Converts a type level constant value into ConstValue
destructure_const: destructure_const<'tcx>Destructures array, ADT or tuple constants into the constants of their fields.
try_destructure_mir_constant: try_destructure_mir_constant<'tcx>Tries to destructure an mir::ConstantKind ADT or array into its variant index
and its field values.
deref_mir_constant: deref_mir_constant<'tcx>Dereference a constant reference or raw pointer and turn the result into a constant again.
const_caller_location: const_caller_location<'tcx>[query description - consider adding a doc-comment!] get a &core::panic::Location referring to a span
lit_to_const: lit_to_const<'tcx>[query description - consider adding a doc-comment!] converting literal to const
lit_to_mir_constant: lit_to_mir_constant<'tcx>[query description - consider adding a doc-comment!] converting literal to mir constant
check_match: check_match<'tcx>[query description - consider adding a doc-comment!] match-checking tcx.def_path_str(key)
privacy_access_levels: privacy_access_levels<'tcx>Performs part of the privacy check and computes “access levels”.
check_private_in_public: check_private_in_public<'tcx>[query description - consider adding a doc-comment!] checking for private elements in public interfaces
reachable_set: reachable_set<'tcx>[query description - consider adding a doc-comment!] reachability
region_scope_tree: region_scope_tree<'tcx>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: mir_shims<'tcx>Generates a MIR body for the shim.
symbol_name: symbol_name<'tcx>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.
opt_def_kind: opt_def_kind<'tcx>[query description - consider adding a doc-comment!] looking up definition kind of tcx.def_path_str(def_id)
def_span: def_span<'tcx>Gets the span for the definition.
def_ident_span: def_ident_span<'tcx>Gets the span for the identifier of the definition.
lookup_stability: lookup_stability<'tcx>[query description - consider adding a doc-comment!] looking up stability of tcx.def_path_str(def_id)
lookup_const_stability: lookup_const_stability<'tcx>[query description - consider adding a doc-comment!] looking up const stability of tcx.def_path_str(def_id)
lookup_default_body_stability: lookup_default_body_stability<'tcx>[query description - consider adding a doc-comment!] looking up default body stability of tcx.def_path_str(def_id)
should_inherit_track_caller: should_inherit_track_caller<'tcx>[query description - consider adding a doc-comment!] computing should_inherit_track_caller of tcx.def_path_str(def_id)
lookup_deprecation_entry: lookup_deprecation_entry<'tcx>[query description - consider adding a doc-comment!] checking whether tcx.def_path_str(def_id) is deprecated
Determines whether an item is annotated with doc(hidden).
item_attrs: item_attrs<'tcx>Returns the attributes on the item at def_id.
Do not use this directly, use tcx.get_attrs instead.
codegen_fn_attrs: codegen_fn_attrs<'tcx>[query description - consider adding a doc-comment!] computing codegen attributes of tcx.def_path_str(def_id)
asm_target_features: asm_target_features<'tcx>[query description - consider adding a doc-comment!] computing target features for inline asm of tcx.def_path_str(def_id)
fn_arg_names: fn_arg_names<'tcx>[query description - consider adding a doc-comment!] looking up function parameter names for tcx.def_path_str(def_id)
rendered_const: rendered_const<'tcx>Gets the rendered value of the specified constant or associated constant. Used by rustdoc.
impl_parent: impl_parent<'tcx>[query description - consider adding a doc-comment!] computing specialization parent impl of tcx.def_path_str(def_id)
is_ctfe_mir_available: is_ctfe_mir_available<'tcx>[query description - consider adding a doc-comment!] checking if item has ctfe mir available: tcx.def_path_str(key)
is_mir_available: is_mir_available<'tcx>[query description - consider adding a doc-comment!] checking if item has mir available: tcx.def_path_str(key)
own_existential_vtable_entries: own_existential_vtable_entries<'tcx>[query description - consider adding a doc-comment!] finding all existential vtable entries for trait tcx.def_path_str(key.def_id())
vtable_entries: vtable_entries<'tcx>[query description - consider adding a doc-comment!] finding all vtable entries for trait tcx.def_path_str(key.def_id())
vtable_trait_upcasting_coercion_new_vptr_slot: vtable_trait_upcasting_coercion_new_vptr_slot<'tcx>[query description - consider adding a doc-comment!] finding the slot within vtable for trait object key.1 vtable ptr during trait upcasting coercion from key.0 vtable
vtable_allocation: vtable_allocation<'tcx>[query description - consider adding a doc-comment!] vtable const allocation for < key.0 as key.1.map(| trait_ref | format! ("{}", trait_ref)).unwrap_or("_".to_owned()) >
codegen_select_candidate: codegen_select_candidate<'tcx>[query description - consider adding a doc-comment!] computing candidate for key.1
all_local_trait_impls: all_local_trait_impls<'tcx>Return all impl blocks in the current crate.
trait_impls_of: trait_impls_of<'tcx>Given a trait trait_id, return all known impl blocks.
specialization_graph_of: specialization_graph_of<'tcx>[query description - consider adding a doc-comment!] building specialization graph of trait tcx.def_path_str(trait_id)
object_safety_violations: object_safety_violations<'tcx>[query description - consider adding a doc-comment!] determine object safety of trait tcx.def_path_str(trait_id)
param_env: param_env<'tcx>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
might want to use reveal_all() method to change modes.
param_env_reveal_all_normalized: param_env_reveal_all_normalized<'tcx>Like param_env, but returns the ParamEnv in Reveal::All mode.
Prefer this over tcx.param_env(def_id).with_reveal_all_normalized(tcx),
as this method is more efficient.
is_copy_raw: is_copy_raw<'tcx>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: is_sized_raw<'tcx>Query backing Ty::is_sized.
is_freeze_raw: is_freeze_raw<'tcx>Query backing Ty::is_freeze.
is_unpin_raw: is_unpin_raw<'tcx>Query backing Ty::is_unpin.
needs_drop_raw: needs_drop_raw<'tcx>Query backing Ty::needs_drop.
has_significant_drop_raw: has_significant_drop_raw<'tcx>Query backing Ty::has_significant_drop_raw.
has_structural_eq_impls: has_structural_eq_impls<'tcx>Query backing Ty::is_structural_eq_shallow.
This is only correct for ADTs. Call is_structural_eq_shallow to handle all types
correctly.
adt_drop_tys: adt_drop_tys<'tcx>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.
adt_significant_drop_tys: adt_significant_drop_tys<'tcx>A list of types where the ADT requires drop if and only if any of those types
has significant drop. A type marked with the attribute rustc_insignificant_dtor
is considered to not be significant. A drop is significant if it is implemented
by the user or does anything that will have any observable behavior (other than
freeing up memory). If the ADT is known to have a significant destructor then
Err(AlwaysRequiresDrop) is returned.
layout_of: layout_of<'tcx>Computes the layout of a type. Note that this implicitly executes in “reveal all” mode, and will normalize the input type.
fn_abi_of_fn_ptr: fn_abi_of_fn_ptr<'tcx>Compute a FnAbi suitable for indirect calls, i.e. to fn pointers.
NB: this doesn’t handle virtual calls - those should use fn_abi_of_instance
instead, where the instance is an InstanceDef::Virtual.
fn_abi_of_instance: fn_abi_of_instance<'tcx>Compute a FnAbi suitable for declaring/defining an fn instance, and for
direct calls to an fn.
NB: that includes virtual calls, which are represented by “direct calls”
to an InstanceDef::Virtual instance (of <dyn Trait as Trait>::fn).
dylib_dependency_formats: dylib_dependency_formats<'tcx>[query description - consider adding a doc-comment!] dylib dependency formats of crate
dependency_formats: dependency_formats<'tcx>[query description - consider adding a doc-comment!] get the linkage format of all dependencies
is_compiler_builtins: is_compiler_builtins<'tcx>[query description - consider adding a doc-comment!] checking if the crate is_compiler_builtins
has_global_allocator: has_global_allocator<'tcx>[query description - consider adding a doc-comment!] checking if the crate has_global_allocator
has_panic_handler: has_panic_handler<'tcx>[query description - consider adding a doc-comment!] checking if the crate has_panic_handler
is_profiler_runtime: is_profiler_runtime<'tcx>[query description - consider adding a doc-comment!] query a crate is #![profiler_runtime]
has_ffi_unwind_calls: has_ffi_unwind_calls<'tcx>[query description - consider adding a doc-comment!] check if tcx.def_path_str(key.to_def_id()) contains FFI-unwind calls
required_panic_strategy: required_panic_strategy<'tcx>[query description - consider adding a doc-comment!] query a crate’s required panic strategy
panic_in_drop_strategy: panic_in_drop_strategy<'tcx>[query description - consider adding a doc-comment!] query a crate’s configured panic-in-drop strategy
is_no_builtins: is_no_builtins<'tcx>[query description - consider adding a doc-comment!] test whether a crate has #![no_builtins]
symbol_mangling_version: symbol_mangling_version<'tcx>[query description - consider adding a doc-comment!] query a crate’s symbol mangling version
extern_crate: extern_crate<'tcx>[query description - consider adding a doc-comment!] getting crate’s ExternCrateData
specializes: specializes<'tcx>[query description - consider adding a doc-comment!] computing whether impls specialize one another
in_scope_traits_map: in_scope_traits_map<'tcx>[query description - consider adding a doc-comment!] traits in scope at a block
module_reexports: module_reexports<'tcx>[query description - consider adding a doc-comment!] looking up reexports of module tcx.def_path_str(def_id.to_def_id())
impl_defaultness: impl_defaultness<'tcx>[query description - consider adding a doc-comment!] looking up whether tcx.def_path_str(def_id) is a default impl
check_well_formed: check_well_formed<'tcx>[query description - consider adding a doc-comment!] checking that tcx.def_path_str(key.to_def_id()) is well-formed
reachable_non_generics: reachable_non_generics<'tcx>[query description - consider adding a doc-comment!] looking up the exported symbols of a crate
is_reachable_non_generic: is_reachable_non_generic<'tcx>[query description - consider adding a doc-comment!] checking whether tcx.def_path_str(def_id) is an exported symbol
is_unreachable_local_definition: is_unreachable_local_definition<'tcx>[query description - consider adding a doc-comment!] checking whether tcx.def_path_str(def_id.to_def_id()) is reachable from outside the crate
upstream_monomorphizations: upstream_monomorphizations<'tcx>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: upstream_monomorphizations_for<'tcx>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: upstream_drop_glue_for<'tcx>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: foreign_modules<'tcx>[query description - consider adding a doc-comment!] looking up the foreign modules of a linked crate
entry_fn: entry_fn<'tcx>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).
proc_macro_decls_static: proc_macro_decls_static<'tcx>[query description - consider adding a doc-comment!] looking up the derive registrar for a crate
crate_hash: crate_hash<'tcx>[query description - consider adding a doc-comment!] looking up the hash a crate
crate_host_hash: crate_host_hash<'tcx>[query description - consider adding a doc-comment!] looking up the hash of a host version of a crate
extra_filename: extra_filename<'tcx>[query description - consider adding a doc-comment!] looking up the extra filename for a crate
crate_extern_paths: crate_extern_paths<'tcx>[query description - consider adding a doc-comment!] looking up the paths for extern crates
implementations_of_trait: implementations_of_trait<'tcx>Given a crate and a trait, look up all impls of that trait in the crate.
Return (impl_id, self_ty).
crate_incoherent_impls: crate_incoherent_impls<'tcx>Collects all incoherent impls for the given crate and type.
Do not call this directly, but instead use the incoherent_impls query.
This query is only used to get the data necessary for that query.
is_dllimport_foreign_item: is_dllimport_foreign_item<'tcx>[query description - consider adding a doc-comment!] is_dllimport_foreign_item( tcx.def_path_str(def_id) )
is_statically_included_foreign_item: is_statically_included_foreign_item<'tcx>[query description - consider adding a doc-comment!] is_statically_included_foreign_item( tcx.def_path_str(def_id) )
native_library_kind: native_library_kind<'tcx>[query description - consider adding a doc-comment!] native_library_kind( tcx.def_path_str(def_id) )
native_library: native_library<'tcx>[query description - consider adding a doc-comment!] native_library( tcx.def_path_str(def_id) )
resolve_lifetimes_trait_definition: resolve_lifetimes_trait_definition<'tcx>Does lifetime resolution, but does not descend into trait items. This
should only be used for resolving lifetimes of on trait definitions,
and is used to avoid cycles. Importantly, resolve_lifetimes still visits
the same lifetimes and is responsible for diagnostics.
See `rustc_resolve::late::lifetimes for details.
resolve_lifetimes: resolve_lifetimes<'tcx>Does lifetime resolution on items. Importantly, we can’t resolve lifetimes directly on things like trait methods, because of trait params. See `rustc_resolve::late::lifetimes for details.
named_region_map: named_region_map<'tcx>[query description - consider adding a doc-comment!] looking up a named region
is_late_bound_map: is_late_bound_map<'tcx>[query description - consider adding a doc-comment!] testing if a region is late bound
object_lifetime_default: object_lifetime_default<'tcx>For a given item’s generic parameter, gets the default lifetimes to be used
for each parameter if a trait object were to be passed for that parameter.
For example, for T in struct Foo<'a, T>, this would be 'static.
For T in struct Foo<'a, T: 'a>, this would instead be 'a.
This query will panic if passed something that is not a type parameter.
late_bound_vars_map: late_bound_vars_map<'tcx>[query description - consider adding a doc-comment!] looking up late bound vars
visibility: visibility<'tcx>Computes the visibility of the provided def_id.
If the item from the def_id doesn’t have a visibility, it will panic. For example
a generic type parameter will panic if you call this method on it:
pub trait Foo<T: Debug> {}In here, if you call visibility on T, it’ll panic.
type_uninhabited_from: type_uninhabited_from<'tcx>Computes the set of modules from which this type is visibly uninhabited. To check whether a type is uninhabited at all (not just from a given module), you could check whether the forest is empty.
dep_kind: dep_kind<'tcx>[query description - consider adding a doc-comment!] fetching what a dependency looks like
crate_name: crate_name<'tcx>Gets the name of the crate.
module_children: module_children<'tcx>[query description - consider adding a doc-comment!] collecting child items of module tcx.def_path_str(def_id)
extern_mod_stmt_cnum: extern_mod_stmt_cnum<'tcx>[query description - consider adding a doc-comment!] computing crate imported by tcx.def_path_str(def_id.to_def_id())
lib_features: lib_features<'tcx>[query description - consider adding a doc-comment!] calculating the lib features map
defined_lib_features: defined_lib_features<'tcx>[query description - consider adding a doc-comment!] calculating the lib features defined in a crate
stability_implications: stability_implications<'tcx>[query description - consider adding a doc-comment!] calculating the implications between #[unstable] features defined in a crate
is_intrinsic: is_intrinsic<'tcx>Whether the function is an intrinsic
get_lang_items: get_lang_items<'tcx>Returns the lang items defined in another crate by loading it from metadata.
all_diagnostic_items: all_diagnostic_items<'tcx>Returns all diagnostic items defined in all crates.
defined_lang_items: defined_lang_items<'tcx>Returns the lang items defined in another crate by loading it from metadata.
diagnostic_items: diagnostic_items<'tcx>Returns the diagnostic items defined in a crate.
missing_lang_items: missing_lang_items<'tcx>[query description - consider adding a doc-comment!] calculating the missing lang items in a crate
visible_parent_map: visible_parent_map<'tcx>[query description - consider adding a doc-comment!] calculating the visible parent map
trimmed_def_paths: trimmed_def_paths<'tcx>[query description - consider adding a doc-comment!] calculating trimmed def paths
missing_extern_crate_item: missing_extern_crate_item<'tcx>[query description - consider adding a doc-comment!] seeing if we’re missing an extern crate item for this crate
used_crate_source: used_crate_source<'tcx>[query description - consider adding a doc-comment!] looking at the source for a crate
debugger_visualizers: debugger_visualizers<'tcx>Returns the debugger visualizers defined for this crate.
postorder_cnums: postorder_cnums<'tcx>[query description - consider adding a doc-comment!] generating a postorder list of CrateNums
is_private_dep: is_private_dep<'tcx>Returns whether or not the crate with CrateNum ‘cnum’ is marked as a private dependency
allocator_kind: allocator_kind<'tcx>[query description - consider adding a doc-comment!] allocator kind for the current crate
upvars_mentioned: upvars_mentioned<'tcx>[query description - consider adding a doc-comment!] collecting upvars mentioned in tcx.def_path_str(def_id)
maybe_unused_trait_imports: maybe_unused_trait_imports<'tcx>[query description - consider adding a doc-comment!] fetching potentially unused trait imports
maybe_unused_extern_crates: maybe_unused_extern_crates<'tcx>[query description - consider adding a doc-comment!] looking up all possibly unused extern crates
names_imported_by_glob_use: names_imported_by_glob_use<'tcx>[query description - consider adding a doc-comment!] names_imported_by_glob_use for tcx.def_path_str(def_id.to_def_id())
stability_index: stability_index<'tcx>[query description - consider adding a doc-comment!] calculating the stability index for the local crate
crates: crates<'tcx>[query description - consider adding a doc-comment!] fetching all foreign CrateNum instances
traits_in_crate: traits_in_crate<'tcx>A list of all traits in a crate, used by rustdoc and error reporting.
NOTE: Not named just traits due to a naming conflict.
exported_symbols: exported_symbols<'tcx>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: collect_and_partition_mono_items<'tcx>[query description - consider adding a doc-comment!] collect_and_partition_mono_items
is_codegened_item: is_codegened_item<'tcx>[query description - consider adding a doc-comment!] determining whether tcx.def_path_str(def_id) needs codegen
codegened_and_inlined_items: codegened_and_inlined_items<'tcx>All items participating in code generation together with items inlined into them.
codegen_unit: codegen_unit<'tcx>[query description - consider adding a doc-comment!] codegen_unit
unused_generic_params: unused_generic_params<'tcx>[query description - consider adding a doc-comment!] determining which generic parameters are unused by tcx.def_path_str(key.def_id())
backend_optimization_level: backend_optimization_level<'tcx>[query description - consider adding a doc-comment!] optimization level used by backend
output_filenames: output_filenames<'tcx>Return the filenames where output artefacts shall be stored.
This query returns an &Arc because codegen backends need the value even after the TyCtxt
has been destroyed.
normalize_projection_ty: normalize_projection_ty<'tcx>Do not call this query directly: invoke normalize instead.
try_normalize_generic_arg_after_erasing_regions: try_normalize_generic_arg_after_erasing_regions<'tcx>Do not call this query directly: invoke try_normalize_erasing_regions instead.
try_normalize_mir_const_after_erasing_regions: try_normalize_mir_const_after_erasing_regions<'tcx>Do not call this query directly: invoke try_normalize_erasing_regions instead.
implied_outlives_bounds: implied_outlives_bounds<'tcx>[query description - consider adding a doc-comment!] computing implied outlives bounds for {:?}
dropck_outlives: dropck_outlives<'tcx>Do not call this query directly:
invoke DropckOutlives::new(dropped_ty)).fully_perform(typeck.infcx) instead.
evaluate_obligation: evaluate_obligation<'tcx>Do not call this query directly: invoke infcx.predicate_may_hold() or
infcx.predicate_must_hold() instead.
evaluate_goal: evaluate_goal<'tcx>[query description - consider adding a doc-comment!] evaluating trait selection obligation goal.value
type_op_ascribe_user_type: type_op_ascribe_user_type<'tcx>Do not call this query directly: part of the Eq type-op
type_op_eq: type_op_eq<'tcx>Do not call this query directly: part of the Eq type-op
type_op_subtype: type_op_subtype<'tcx>Do not call this query directly: part of the Subtype type-op
type_op_prove_predicate: type_op_prove_predicate<'tcx>Do not call this query directly: part of the ProvePredicate type-op
type_op_normalize_ty: type_op_normalize_ty<'tcx>Do not call this query directly: part of the Normalize type-op
type_op_normalize_predicate: type_op_normalize_predicate<'tcx>Do not call this query directly: part of the Normalize type-op
type_op_normalize_poly_fn_sig: type_op_normalize_poly_fn_sig<'tcx>Do not call this query directly: part of the Normalize type-op
type_op_normalize_fn_sig: type_op_normalize_fn_sig<'tcx>Do not call this query directly: part of the Normalize type-op
subst_and_check_impossible_predicates: subst_and_check_impossible_predicates<'tcx>[query description - consider adding a doc-comment!] impossible substituted predicates: tcx.def_path_str(key.0)
is_impossible_method: is_impossible_method<'tcx>[query description - consider adding a doc-comment!] checking if tcx.def_path_str(key.1) is impossible to call within tcx.def_path_str(key.0)
method_autoderef_steps: method_autoderef_steps<'tcx>[query description - consider adding a doc-comment!] computing autoderef types for {:?}
supported_target_features: supported_target_features<'tcx>[query description - consider adding a doc-comment!] looking up supported target features
instance_def_size_estimate: instance_def_size_estimate<'tcx>Get an estimate of the size of an InstanceDef based on its MIR for CGU partitioning.
features_query: features_query<'tcx>[query description - consider adding a doc-comment!] looking up enabled feature gates
resolve_instance: resolve_instance<'tcx>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(ErrorGuaranteed)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: resolve_instance_of_const_arg<'tcx>[query description - consider adding a doc-comment!] resolving instance of the const argument ty :: Instance :: new(key.value.0.to_def_id(), key.value.2)
normalize_opaque_types: normalize_opaque_types<'tcx>[query description - consider adding a doc-comment!] normalizing opaque types in {:?}
conservative_is_privately_uninhabited: conservative_is_privately_uninhabited<'tcx>Checks whether a type is definitely uninhabited. This is
conservative: for some types that are uninhabited we return false,
but we only return true for types that are definitely uninhabited.
ty.conservative_is_privately_uninhabited implies that any value of type ty
will be Abi::Uninhabited. (Note that uninhabited types may have nonzero
size, to account for partial initialisation. See #49298 for details.)
limits: limits<'tcx>[query description - consider adding a doc-comment!] looking up limits
diagnostic_hir_wf_check: diagnostic_hir_wf_check<'tcx>Performs an HIR-based well-formed check on the item with the given HirId. If
we get an Unimplemented error that matches the provided Predicate, return
the cause of the newly created obligation.
This is only used by error-reporting code to get a better cause (in particular, a better
span) for an existing error. Therefore, it is best-effort, and may never handle
all of the cases that the normal ty::Ty-based wfcheck does. This is fine,
because the ty::Ty-based wfcheck is always run.
global_backend_features: global_backend_features<'tcx>The list of backend features computed from CLI flags (-Ctarget-cpu, -Ctarget-feature,
--target and similar).
generator_diagnostic_data: generator_diagnostic_data<'tcx>[query description - consider adding a doc-comment!] looking up generator diagnostic data of tcx.def_path_str(key)
permits_uninit_init: permits_uninit_init<'tcx>[query description - consider adding a doc-comment!] checking to see if {:?} permits being left uninit
permits_zero_init: permits_zero_init<'tcx>[query description - consider adding a doc-comment!] checking to see if {:?} permits being left zeroed
Trait Implementations
sourceimpl<'tcx> Default for QueryCaches<'tcx>
impl<'tcx> Default for QueryCaches<'tcx>
sourcefn default() -> QueryCaches<'tcx>
fn default() -> QueryCaches<'tcx>
Auto Trait Implementations
impl<'tcx> !RefUnwindSafe for QueryCaches<'tcx>
impl<'tcx> !Send for QueryCaches<'tcx>
impl<'tcx> !Sync for QueryCaches<'tcx>
impl<'tcx> Unpin for QueryCaches<'tcx>
impl<'tcx> !UnwindSafe for QueryCaches<'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
sourceimpl<T, R> InternIteratorElement<T, R> for T
impl<T, R> InternIteratorElement<T, R> for T
type Output = R
fn intern_with<I, F>(iter: I, f: F) -> <T as InternIteratorElement<T, R>>::Outputwhere
I: Iterator<Item = T>,
F: FnOnce(&[T]) -> R,
sourceimpl<T> MaybeResult<T> for T
impl<T> MaybeResult<T> for T
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
impl<'a, T> Captures<'a> for Twhere
T: ?Sized,
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: 13720 bytes