1use rustc_data_structures::fingerprint::Fingerprint;
2use rustc_hir::def_id::{CrateNum, DefId, LOCAL_CRATE, LocalDefId, LocalModDefId, ModDefId};
3use rustc_hir::definitions::DefPathHash;
4use rustc_hir::{HirId, ItemLocalId, OwnerId};
5pub use rustc_query_system::dep_graph::DepNode;
6use rustc_query_system::dep_graph::FingerprintStyle;
7pub use rustc_query_system::dep_graph::dep_node::DepKind;
8pub(crate) use rustc_query_system::dep_graph::{DepContext, DepNodeParams};
9use rustc_span::Symbol;
10
11use crate::mir::mono::MonoItem;
12use crate::ty::TyCtxt;
13
14macro_rules! define_dep_nodes {
15 (
16 $(
17 $(#[$attr:meta])*
18 [$($modifiers:tt)*] fn $variant:ident($($K:tt)*) -> $V:ty,
19 )*
20 ) => {
21
22 #[macro_export]
23 macro_rules! make_dep_kind_array {
24 ($mod:ident) => {[ $($mod::$variant()),* ]};
25 }
26
27 #[macro_export]
28 macro_rules! make_dep_kind_name_array {
29 ($mod:ident) => {
30 vec! {
31 $(*$mod::$variant().name),*
32 }
33 };
34 }
35
36 #[allow(non_camel_case_types)]
42 #[repr(u16)] enum DepKindDefs {
44 $( $( #[$attr] )* $variant),*
45 }
46
47 #[allow(non_upper_case_globals)]
48 pub mod dep_kinds {
49 use super::*;
50
51 $(
52 pub const $variant: DepKind = DepKind::new(DepKindDefs::$variant as u16);
54 )*
55 }
56
57 pub(crate) const DEP_KIND_VARIANTS: u16 = {
60 let deps = &[$(dep_kinds::$variant,)*];
61 let mut i = 0;
62 while i < deps.len() {
63 if i != deps[i].as_usize() {
64 panic!();
65 }
66 i += 1;
67 }
68 deps.len() as u16
69 };
70
71 pub(super) fn dep_kind_from_label_string(label: &str) -> Result<DepKind, ()> {
72 match label {
73 $(stringify!($variant) => Ok(dep_kinds::$variant),)*
74 _ => Err(()),
75 }
76 }
77
78 #[allow(dead_code, non_upper_case_globals)]
81 pub mod label_strs {
82 $(
83 pub const $variant: &str = stringify!($variant);
84 )*
85 }
86 };
87}
88
89#[macro_export]
macro_rules! make_dep_kind_array {
($r#mod : ident) =>
{[$r#mod :: Null (), $r#mod :: Red (), $r#mod :: SideEffect (), $r#mod ::
AnonZeroDeps (), $r#mod :: TraitSelect (), $r#mod ::
CompileCodegenUnit (), $r#mod :: CompileMonoItem (), $r#mod ::
Metadata (), $r#mod :: derive_macro_expansion (), $r#mod ::
trigger_delayed_bug (), $r#mod :: registered_tools (), $r#mod ::
early_lint_checks (), $r#mod :: env_var_os (), $r#mod :: resolutions
(), $r#mod :: resolver_for_lowering_raw (), $r#mod :: source_span (),
$r#mod :: hir_crate (), $r#mod :: hir_crate_items (), $r#mod ::
hir_module_items (), $r#mod :: local_def_id_to_hir_id (), $r#mod ::
hir_owner_parent (), $r#mod :: opt_hir_owner_nodes (), $r#mod ::
hir_attr_map (), $r#mod :: opt_ast_lowering_delayed_lints (), $r#mod
:: const_param_default (), $r#mod :: const_of_item (), $r#mod ::
type_of (), $r#mod :: type_of_opaque (), $r#mod ::
type_of_opaque_hir_typeck (), $r#mod :: type_alias_is_lazy (), $r#mod
:: collect_return_position_impl_trait_in_trait_tys (), $r#mod ::
opaque_ty_origin (), $r#mod :: unsizing_params_for_adt (), $r#mod ::
analysis (), $r#mod :: check_expectations (), $r#mod :: generics_of
(), $r#mod :: predicates_of (), $r#mod :: opaque_types_defined_by (),
$r#mod :: nested_bodies_within (), $r#mod :: explicit_item_bounds (),
$r#mod :: explicit_item_self_bounds (), $r#mod :: item_bounds (),
$r#mod :: item_self_bounds (), $r#mod :: item_non_self_bounds (),
$r#mod :: impl_super_outlives (), $r#mod :: native_libraries (),
$r#mod :: shallow_lint_levels_on (), $r#mod :: lint_expectations (),
$r#mod :: lints_that_dont_need_to_run (), $r#mod :: expn_that_defined
(), $r#mod :: is_panic_runtime (), $r#mod :: representability (),
$r#mod :: representability_adt_ty (), $r#mod :: params_in_repr (),
$r#mod :: thir_body (), $r#mod :: mir_keys (), $r#mod ::
mir_const_qualif (), $r#mod :: mir_built (), $r#mod ::
thir_abstract_const (), $r#mod ::
mir_drops_elaborated_and_const_checked (), $r#mod :: mir_for_ctfe (),
$r#mod :: mir_promoted (), $r#mod :: closure_typeinfo (), $r#mod ::
closure_saved_names_of_captured_variables (), $r#mod ::
mir_coroutine_witnesses (), $r#mod :: check_coroutine_obligations (),
$r#mod :: check_potentially_region_dependent_goals (), $r#mod ::
optimized_mir (), $r#mod :: coverage_attr_on (), $r#mod ::
coverage_ids_info (), $r#mod :: promoted_mir (), $r#mod ::
erase_and_anonymize_regions_ty (), $r#mod :: wasm_import_module_map
(), $r#mod :: trait_explicit_predicates_and_bounds (), $r#mod ::
explicit_predicates_of (), $r#mod :: inferred_outlives_of (), $r#mod
:: explicit_super_predicates_of (), $r#mod ::
explicit_implied_predicates_of (), $r#mod ::
explicit_supertraits_containing_assoc_item (), $r#mod ::
const_conditions (), $r#mod :: explicit_implied_const_bounds (),
$r#mod :: type_param_predicates (), $r#mod :: trait_def (), $r#mod ::
adt_def (), $r#mod :: adt_destructor (), $r#mod ::
adt_async_destructor (), $r#mod :: adt_sizedness_constraint (), $r#mod
:: adt_dtorck_constraint (), $r#mod :: constness (), $r#mod ::
asyncness (), $r#mod :: is_promotable_const_fn (), $r#mod ::
coroutine_by_move_body_def_id (), $r#mod :: coroutine_kind (), $r#mod
:: coroutine_for_closure (), $r#mod :: coroutine_hidden_types (),
$r#mod :: crate_variances (), $r#mod :: variances_of (), $r#mod ::
inferred_outlives_crate (), $r#mod :: associated_item_def_ids (),
$r#mod :: associated_item (), $r#mod :: associated_items (), $r#mod ::
impl_item_implementor_ids (), $r#mod ::
associated_types_for_impl_traits_in_trait_or_impl (), $r#mod ::
impl_trait_header (), $r#mod :: impl_self_is_guaranteed_unsized (),
$r#mod :: inherent_impls (), $r#mod :: incoherent_impls (), $r#mod ::
check_transmutes (), $r#mod :: check_unsafety (), $r#mod ::
check_tail_calls (), $r#mod :: assumed_wf_types (), $r#mod ::
assumed_wf_types_for_rpitit (), $r#mod :: fn_sig (), $r#mod ::
lint_mod (), $r#mod :: check_unused_traits (), $r#mod ::
check_mod_attrs (), $r#mod :: check_mod_unstable_api_usage (), $r#mod
:: check_mod_privacy (), $r#mod :: check_liveness (), $r#mod ::
live_symbols_and_ignored_derived_traits (), $r#mod ::
check_mod_deathness (), $r#mod :: check_type_wf (), $r#mod ::
coerce_unsized_info (), $r#mod :: typeck (), $r#mod ::
used_trait_imports (), $r#mod :: coherent_trait (), $r#mod ::
mir_borrowck (), $r#mod :: crate_inherent_impls (), $r#mod ::
crate_inherent_impls_validity_check (), $r#mod ::
crate_inherent_impls_overlap_check (), $r#mod :: orphan_check_impl (),
$r#mod :: mir_callgraph_cyclic (), $r#mod :: mir_inliner_callees (),
$r#mod :: tag_for_variant (), $r#mod :: eval_to_allocation_raw (),
$r#mod :: eval_static_initializer (), $r#mod ::
eval_to_const_value_raw (), $r#mod :: eval_to_valtree (), $r#mod ::
valtree_to_const_val (), $r#mod :: lit_to_const (), $r#mod ::
check_match (), $r#mod :: effective_visibilities (), $r#mod ::
check_private_in_public (), $r#mod :: reachable_set (), $r#mod ::
region_scope_tree (), $r#mod :: mir_shims (), $r#mod :: symbol_name
(), $r#mod :: def_kind (), $r#mod :: def_span (), $r#mod ::
def_ident_span (), $r#mod :: ty_span (), $r#mod :: lookup_stability
(), $r#mod :: lookup_const_stability (), $r#mod ::
lookup_default_body_stability (), $r#mod ::
should_inherit_track_caller (), $r#mod :: inherited_align (), $r#mod
:: lookup_deprecation_entry (), $r#mod :: is_doc_hidden (), $r#mod ::
is_doc_notable_trait (), $r#mod :: attrs_for_def (), $r#mod ::
codegen_fn_attrs (), $r#mod :: asm_target_features (), $r#mod ::
fn_arg_idents (), $r#mod :: rendered_const (), $r#mod ::
rendered_precise_capturing_args (), $r#mod :: impl_parent (), $r#mod
:: is_ctfe_mir_available (), $r#mod :: is_mir_available (), $r#mod ::
own_existential_vtable_entries (), $r#mod :: vtable_entries (), $r#mod
:: first_method_vtable_slot (), $r#mod :: supertrait_vtable_slot (),
$r#mod :: vtable_allocation (), $r#mod :: codegen_select_candidate (),
$r#mod :: all_local_trait_impls (), $r#mod :: local_trait_impls (),
$r#mod :: trait_impls_of (), $r#mod :: specialization_graph_of (),
$r#mod :: dyn_compatibility_violations (), $r#mod :: is_dyn_compatible
(), $r#mod :: param_env (), $r#mod ::
typing_env_normalized_for_post_analysis (), $r#mod :: is_copy_raw (),
$r#mod :: is_use_cloned_raw (), $r#mod :: is_sized_raw (), $r#mod ::
is_freeze_raw (), $r#mod :: is_unpin_raw (), $r#mod ::
is_async_drop_raw (), $r#mod :: needs_drop_raw (), $r#mod ::
needs_async_drop_raw (), $r#mod :: has_significant_drop_raw (), $r#mod
:: has_structural_eq_impl (), $r#mod :: adt_drop_tys (), $r#mod ::
adt_async_drop_tys (), $r#mod :: adt_significant_drop_tys (), $r#mod
:: list_significant_drop_tys (), $r#mod :: layout_of (), $r#mod ::
fn_abi_of_fn_ptr (), $r#mod :: fn_abi_of_instance (), $r#mod ::
dylib_dependency_formats (), $r#mod :: dependency_formats (), $r#mod
:: is_compiler_builtins (), $r#mod :: has_global_allocator (), $r#mod
:: has_alloc_error_handler (), $r#mod :: has_panic_handler (), $r#mod
:: is_profiler_runtime (), $r#mod :: has_ffi_unwind_calls (), $r#mod
:: required_panic_strategy (), $r#mod :: panic_in_drop_strategy (),
$r#mod :: is_no_builtins (), $r#mod :: symbol_mangling_version (),
$r#mod :: extern_crate (), $r#mod :: specialization_enabled_in (),
$r#mod :: specializes (), $r#mod :: in_scope_traits_map (), $r#mod ::
defaultness (), $r#mod :: default_field (), $r#mod ::
check_well_formed (), $r#mod ::
enforce_impl_non_lifetime_params_are_constrained (), $r#mod ::
reachable_non_generics (), $r#mod :: is_reachable_non_generic (),
$r#mod :: is_unreachable_local_definition (), $r#mod ::
upstream_monomorphizations (), $r#mod ::
upstream_monomorphizations_for (), $r#mod :: upstream_drop_glue_for
(), $r#mod :: upstream_async_drop_glue_for (), $r#mod ::
foreign_modules (), $r#mod :: clashing_extern_declarations (), $r#mod
:: entry_fn (), $r#mod :: proc_macro_decls_static (), $r#mod ::
crate_hash (), $r#mod :: crate_host_hash (), $r#mod :: extra_filename
(), $r#mod :: crate_extern_paths (), $r#mod ::
implementations_of_trait (), $r#mod :: crate_incoherent_impls (),
$r#mod :: native_library (), $r#mod :: inherit_sig_for_delegation_item
(), $r#mod :: resolve_bound_vars (), $r#mod :: named_variable_map (),
$r#mod :: is_late_bound_map (), $r#mod :: object_lifetime_default (),
$r#mod :: late_bound_vars_map (), $r#mod :: opaque_captured_lifetimes
(), $r#mod :: visibility (), $r#mod :: inhabited_predicate_adt (),
$r#mod :: inhabited_predicate_type (), $r#mod :: dep_kind (), $r#mod
:: crate_name (), $r#mod :: module_children (), $r#mod ::
num_extern_def_ids (), $r#mod :: lib_features (), $r#mod ::
stability_implications (), $r#mod :: intrinsic_raw (), $r#mod ::
get_lang_items (), $r#mod :: all_diagnostic_items (), $r#mod ::
defined_lang_items (), $r#mod :: diagnostic_items (), $r#mod ::
missing_lang_items (), $r#mod :: visible_parent_map (), $r#mod ::
trimmed_def_paths (), $r#mod :: missing_extern_crate_item (), $r#mod
:: used_crate_source (), $r#mod :: debugger_visualizers (), $r#mod ::
postorder_cnums (), $r#mod :: is_private_dep (), $r#mod ::
allocator_kind (), $r#mod :: alloc_error_handler_kind (), $r#mod ::
upvars_mentioned (), $r#mod :: crates (), $r#mod :: used_crates (),
$r#mod :: duplicate_crate_names (), $r#mod :: traits (), $r#mod ::
trait_impls_in_crate (), $r#mod :: stable_order_of_exportable_impls
(), $r#mod :: exportable_items (), $r#mod ::
exported_non_generic_symbols (), $r#mod :: exported_generic_symbols
(), $r#mod :: collect_and_partition_mono_items (), $r#mod ::
is_codegened_item (), $r#mod :: codegen_unit (), $r#mod ::
backend_optimization_level (), $r#mod :: output_filenames (), $r#mod
:: normalize_canonicalized_projection (), $r#mod ::
normalize_canonicalized_free_alias (), $r#mod ::
normalize_canonicalized_inherent_projection (), $r#mod ::
try_normalize_generic_arg_after_erasing_regions (), $r#mod ::
implied_outlives_bounds (), $r#mod :: dropck_outlives (), $r#mod ::
evaluate_obligation (), $r#mod :: type_op_ascribe_user_type (), $r#mod
:: type_op_prove_predicate (), $r#mod :: type_op_normalize_ty (),
$r#mod :: type_op_normalize_clause (), $r#mod ::
type_op_normalize_poly_fn_sig (), $r#mod :: type_op_normalize_fn_sig
(), $r#mod :: instantiate_and_check_impossible_predicates (), $r#mod
:: is_impossible_associated_item (), $r#mod :: method_autoderef_steps
(), $r#mod :: evaluate_root_goal_for_proof_tree_raw (), $r#mod ::
rust_target_features (), $r#mod :: implied_target_features (), $r#mod
:: features_query (), $r#mod :: crate_for_resolver (), $r#mod ::
resolve_instance_raw (), $r#mod :: reveal_opaque_types_in_bounds (),
$r#mod :: limits (), $r#mod :: diagnostic_hir_wf_check (), $r#mod ::
global_backend_features (), $r#mod :: check_validity_requirement (),
$r#mod :: compare_impl_item (), $r#mod :: deduced_param_attrs (),
$r#mod :: doc_link_resolutions (), $r#mod :: doc_link_traits_in_scope
(), $r#mod :: stripped_cfg_items (), $r#mod ::
generics_require_sized_self (), $r#mod :: cross_crate_inlinable (),
$r#mod :: check_mono_item (), $r#mod :: skip_move_check_fns (), $r#mod
:: items_of_instance (), $r#mod :: size_estimate (), $r#mod ::
anon_const_kind (), $r#mod :: trivial_const (), $r#mod ::
sanitizer_settings_for (), $r#mod ::
check_externally_implementable_items (), $r#mod ::
externally_implementable_items ()]};
}
#[macro_export]
macro_rules! make_dep_kind_name_array {
($r#mod : ident) =>
{
vec!
{
* $r#mod :: Null ().name, * $r#mod :: Red ().name, * $r#mod ::
SideEffect ().name, * $r#mod :: AnonZeroDeps ().name, * $r#mod ::
TraitSelect ().name, * $r#mod :: CompileCodegenUnit ().name, *
$r#mod :: CompileMonoItem ().name, * $r#mod :: Metadata ().name, *
$r#mod :: derive_macro_expansion ().name, * $r#mod ::
trigger_delayed_bug ().name, * $r#mod :: registered_tools ().name,
* $r#mod :: early_lint_checks ().name, * $r#mod :: env_var_os
().name, * $r#mod :: resolutions ().name, * $r#mod ::
resolver_for_lowering_raw ().name, * $r#mod :: source_span
().name, * $r#mod :: hir_crate ().name, * $r#mod ::
hir_crate_items ().name, * $r#mod :: hir_module_items ().name, *
$r#mod :: local_def_id_to_hir_id ().name, * $r#mod ::
hir_owner_parent ().name, * $r#mod :: opt_hir_owner_nodes ().name,
* $r#mod :: hir_attr_map ().name, * $r#mod ::
opt_ast_lowering_delayed_lints ().name, * $r#mod ::
const_param_default ().name, * $r#mod :: const_of_item ().name, *
$r#mod :: type_of ().name, * $r#mod :: type_of_opaque ().name, *
$r#mod :: type_of_opaque_hir_typeck ().name, * $r#mod ::
type_alias_is_lazy ().name, * $r#mod ::
collect_return_position_impl_trait_in_trait_tys ().name, * $r#mod
:: opaque_ty_origin ().name, * $r#mod :: unsizing_params_for_adt
().name, * $r#mod :: analysis ().name, * $r#mod ::
check_expectations ().name, * $r#mod :: generics_of ().name, *
$r#mod :: predicates_of ().name, * $r#mod ::
opaque_types_defined_by ().name, * $r#mod :: nested_bodies_within
().name, * $r#mod :: explicit_item_bounds ().name, * $r#mod ::
explicit_item_self_bounds ().name, * $r#mod :: item_bounds
().name, * $r#mod :: item_self_bounds ().name, * $r#mod ::
item_non_self_bounds ().name, * $r#mod :: impl_super_outlives
().name, * $r#mod :: native_libraries ().name, * $r#mod ::
shallow_lint_levels_on ().name, * $r#mod :: lint_expectations
().name, * $r#mod :: lints_that_dont_need_to_run ().name, * $r#mod
:: expn_that_defined ().name, * $r#mod :: is_panic_runtime
().name, * $r#mod :: representability ().name, * $r#mod ::
representability_adt_ty ().name, * $r#mod :: params_in_repr
().name, * $r#mod :: thir_body ().name, * $r#mod :: mir_keys
().name, * $r#mod :: mir_const_qualif ().name, * $r#mod ::
mir_built ().name, * $r#mod :: thir_abstract_const ().name, *
$r#mod :: mir_drops_elaborated_and_const_checked ().name, * $r#mod
:: mir_for_ctfe ().name, * $r#mod :: mir_promoted ().name, *
$r#mod :: closure_typeinfo ().name, * $r#mod ::
closure_saved_names_of_captured_variables ().name, * $r#mod ::
mir_coroutine_witnesses ().name, * $r#mod ::
check_coroutine_obligations ().name, * $r#mod ::
check_potentially_region_dependent_goals ().name, * $r#mod ::
optimized_mir ().name, * $r#mod :: coverage_attr_on ().name, *
$r#mod :: coverage_ids_info ().name, * $r#mod :: promoted_mir
().name, * $r#mod :: erase_and_anonymize_regions_ty ().name, *
$r#mod :: wasm_import_module_map ().name, * $r#mod ::
trait_explicit_predicates_and_bounds ().name, * $r#mod ::
explicit_predicates_of ().name, * $r#mod :: inferred_outlives_of
().name, * $r#mod :: explicit_super_predicates_of ().name, *
$r#mod :: explicit_implied_predicates_of ().name, * $r#mod ::
explicit_supertraits_containing_assoc_item ().name, * $r#mod ::
const_conditions ().name, * $r#mod ::
explicit_implied_const_bounds ().name, * $r#mod ::
type_param_predicates ().name, * $r#mod :: trait_def ().name, *
$r#mod :: adt_def ().name, * $r#mod :: adt_destructor ().name, *
$r#mod :: adt_async_destructor ().name, * $r#mod ::
adt_sizedness_constraint ().name, * $r#mod ::
adt_dtorck_constraint ().name, * $r#mod :: constness ().name, *
$r#mod :: asyncness ().name, * $r#mod :: is_promotable_const_fn
().name, * $r#mod :: coroutine_by_move_body_def_id ().name, *
$r#mod :: coroutine_kind ().name, * $r#mod ::
coroutine_for_closure ().name, * $r#mod :: coroutine_hidden_types
().name, * $r#mod :: crate_variances ().name, * $r#mod ::
variances_of ().name, * $r#mod :: inferred_outlives_crate ().name,
* $r#mod :: associated_item_def_ids ().name, * $r#mod ::
associated_item ().name, * $r#mod :: associated_items ().name, *
$r#mod :: impl_item_implementor_ids ().name, * $r#mod ::
associated_types_for_impl_traits_in_trait_or_impl ().name, *
$r#mod :: impl_trait_header ().name, * $r#mod ::
impl_self_is_guaranteed_unsized ().name, * $r#mod ::
inherent_impls ().name, * $r#mod :: incoherent_impls ().name, *
$r#mod :: check_transmutes ().name, * $r#mod :: check_unsafety
().name, * $r#mod :: check_tail_calls ().name, * $r#mod ::
assumed_wf_types ().name, * $r#mod :: assumed_wf_types_for_rpitit
().name, * $r#mod :: fn_sig ().name, * $r#mod :: lint_mod ().name,
* $r#mod :: check_unused_traits ().name, * $r#mod ::
check_mod_attrs ().name, * $r#mod :: check_mod_unstable_api_usage
().name, * $r#mod :: check_mod_privacy ().name, * $r#mod ::
check_liveness ().name, * $r#mod ::
live_symbols_and_ignored_derived_traits ().name, * $r#mod ::
check_mod_deathness ().name, * $r#mod :: check_type_wf ().name, *
$r#mod :: coerce_unsized_info ().name, * $r#mod :: typeck ().name,
* $r#mod :: used_trait_imports ().name, * $r#mod :: coherent_trait
().name, * $r#mod :: mir_borrowck ().name, * $r#mod ::
crate_inherent_impls ().name, * $r#mod ::
crate_inherent_impls_validity_check ().name, * $r#mod ::
crate_inherent_impls_overlap_check ().name, * $r#mod ::
orphan_check_impl ().name, * $r#mod :: mir_callgraph_cyclic
().name, * $r#mod :: mir_inliner_callees ().name, * $r#mod ::
tag_for_variant ().name, * $r#mod :: eval_to_allocation_raw
().name, * $r#mod :: eval_static_initializer ().name, * $r#mod ::
eval_to_const_value_raw ().name, * $r#mod :: eval_to_valtree
().name, * $r#mod :: valtree_to_const_val ().name, * $r#mod ::
lit_to_const ().name, * $r#mod :: check_match ().name, * $r#mod ::
effective_visibilities ().name, * $r#mod ::
check_private_in_public ().name, * $r#mod :: reachable_set
().name, * $r#mod :: region_scope_tree ().name, * $r#mod ::
mir_shims ().name, * $r#mod :: symbol_name ().name, * $r#mod ::
def_kind ().name, * $r#mod :: def_span ().name, * $r#mod ::
def_ident_span ().name, * $r#mod :: ty_span ().name, * $r#mod ::
lookup_stability ().name, * $r#mod :: lookup_const_stability
().name, * $r#mod :: lookup_default_body_stability ().name, *
$r#mod :: should_inherit_track_caller ().name, * $r#mod ::
inherited_align ().name, * $r#mod :: lookup_deprecation_entry
().name, * $r#mod :: is_doc_hidden ().name, * $r#mod ::
is_doc_notable_trait ().name, * $r#mod :: attrs_for_def ().name, *
$r#mod :: codegen_fn_attrs ().name, * $r#mod ::
asm_target_features ().name, * $r#mod :: fn_arg_idents ().name, *
$r#mod :: rendered_const ().name, * $r#mod ::
rendered_precise_capturing_args ().name, * $r#mod :: impl_parent
().name, * $r#mod :: is_ctfe_mir_available ().name, * $r#mod ::
is_mir_available ().name, * $r#mod ::
own_existential_vtable_entries ().name, * $r#mod :: vtable_entries
().name, * $r#mod :: first_method_vtable_slot ().name, * $r#mod ::
supertrait_vtable_slot ().name, * $r#mod :: vtable_allocation
().name, * $r#mod :: codegen_select_candidate ().name, * $r#mod ::
all_local_trait_impls ().name, * $r#mod :: local_trait_impls
().name, * $r#mod :: trait_impls_of ().name, * $r#mod ::
specialization_graph_of ().name, * $r#mod ::
dyn_compatibility_violations ().name, * $r#mod ::
is_dyn_compatible ().name, * $r#mod :: param_env ().name, * $r#mod
:: typing_env_normalized_for_post_analysis ().name, * $r#mod ::
is_copy_raw ().name, * $r#mod :: is_use_cloned_raw ().name, *
$r#mod :: is_sized_raw ().name, * $r#mod :: is_freeze_raw ().name,
* $r#mod :: is_unpin_raw ().name, * $r#mod :: is_async_drop_raw
().name, * $r#mod :: needs_drop_raw ().name, * $r#mod ::
needs_async_drop_raw ().name, * $r#mod :: has_significant_drop_raw
().name, * $r#mod :: has_structural_eq_impl ().name, * $r#mod ::
adt_drop_tys ().name, * $r#mod :: adt_async_drop_tys ().name, *
$r#mod :: adt_significant_drop_tys ().name, * $r#mod ::
list_significant_drop_tys ().name, * $r#mod :: layout_of ().name,
* $r#mod :: fn_abi_of_fn_ptr ().name, * $r#mod ::
fn_abi_of_instance ().name, * $r#mod :: dylib_dependency_formats
().name, * $r#mod :: dependency_formats ().name, * $r#mod ::
is_compiler_builtins ().name, * $r#mod :: has_global_allocator
().name, * $r#mod :: has_alloc_error_handler ().name, * $r#mod ::
has_panic_handler ().name, * $r#mod :: is_profiler_runtime
().name, * $r#mod :: has_ffi_unwind_calls ().name, * $r#mod ::
required_panic_strategy ().name, * $r#mod ::
panic_in_drop_strategy ().name, * $r#mod :: is_no_builtins
().name, * $r#mod :: symbol_mangling_version ().name, * $r#mod ::
extern_crate ().name, * $r#mod :: specialization_enabled_in
().name, * $r#mod :: specializes ().name, * $r#mod ::
in_scope_traits_map ().name, * $r#mod :: defaultness ().name, *
$r#mod :: default_field ().name, * $r#mod :: check_well_formed
().name, * $r#mod ::
enforce_impl_non_lifetime_params_are_constrained ().name, * $r#mod
:: reachable_non_generics ().name, * $r#mod ::
is_reachable_non_generic ().name, * $r#mod ::
is_unreachable_local_definition ().name, * $r#mod ::
upstream_monomorphizations ().name, * $r#mod ::
upstream_monomorphizations_for ().name, * $r#mod ::
upstream_drop_glue_for ().name, * $r#mod ::
upstream_async_drop_glue_for ().name, * $r#mod :: foreign_modules
().name, * $r#mod :: clashing_extern_declarations ().name, *
$r#mod :: entry_fn ().name, * $r#mod :: proc_macro_decls_static
().name, * $r#mod :: crate_hash ().name, * $r#mod ::
crate_host_hash ().name, * $r#mod :: extra_filename ().name, *
$r#mod :: crate_extern_paths ().name, * $r#mod ::
implementations_of_trait ().name, * $r#mod ::
crate_incoherent_impls ().name, * $r#mod :: native_library
().name, * $r#mod :: inherit_sig_for_delegation_item ().name, *
$r#mod :: resolve_bound_vars ().name, * $r#mod ::
named_variable_map ().name, * $r#mod :: is_late_bound_map ().name,
* $r#mod :: object_lifetime_default ().name, * $r#mod ::
late_bound_vars_map ().name, * $r#mod :: opaque_captured_lifetimes
().name, * $r#mod :: visibility ().name, * $r#mod ::
inhabited_predicate_adt ().name, * $r#mod ::
inhabited_predicate_type ().name, * $r#mod :: dep_kind ().name, *
$r#mod :: crate_name ().name, * $r#mod :: module_children ().name,
* $r#mod :: num_extern_def_ids ().name, * $r#mod :: lib_features
().name, * $r#mod :: stability_implications ().name, * $r#mod ::
intrinsic_raw ().name, * $r#mod :: get_lang_items ().name, *
$r#mod :: all_diagnostic_items ().name, * $r#mod ::
defined_lang_items ().name, * $r#mod :: diagnostic_items ().name,
* $r#mod :: missing_lang_items ().name, * $r#mod ::
visible_parent_map ().name, * $r#mod :: trimmed_def_paths ().name,
* $r#mod :: missing_extern_crate_item ().name, * $r#mod ::
used_crate_source ().name, * $r#mod :: debugger_visualizers
().name, * $r#mod :: postorder_cnums ().name, * $r#mod ::
is_private_dep ().name, * $r#mod :: allocator_kind ().name, *
$r#mod :: alloc_error_handler_kind ().name, * $r#mod ::
upvars_mentioned ().name, * $r#mod :: crates ().name, * $r#mod ::
used_crates ().name, * $r#mod :: duplicate_crate_names ().name, *
$r#mod :: traits ().name, * $r#mod :: trait_impls_in_crate
().name, * $r#mod :: stable_order_of_exportable_impls ().name, *
$r#mod :: exportable_items ().name, * $r#mod ::
exported_non_generic_symbols ().name, * $r#mod ::
exported_generic_symbols ().name, * $r#mod ::
collect_and_partition_mono_items ().name, * $r#mod ::
is_codegened_item ().name, * $r#mod :: codegen_unit ().name, *
$r#mod :: backend_optimization_level ().name, * $r#mod ::
output_filenames ().name, * $r#mod ::
normalize_canonicalized_projection ().name, * $r#mod ::
normalize_canonicalized_free_alias ().name, * $r#mod ::
normalize_canonicalized_inherent_projection ().name, * $r#mod ::
try_normalize_generic_arg_after_erasing_regions ().name, * $r#mod
:: implied_outlives_bounds ().name, * $r#mod :: dropck_outlives
().name, * $r#mod :: evaluate_obligation ().name, * $r#mod ::
type_op_ascribe_user_type ().name, * $r#mod ::
type_op_prove_predicate ().name, * $r#mod :: type_op_normalize_ty
().name, * $r#mod :: type_op_normalize_clause ().name, * $r#mod ::
type_op_normalize_poly_fn_sig ().name, * $r#mod ::
type_op_normalize_fn_sig ().name, * $r#mod ::
instantiate_and_check_impossible_predicates ().name, * $r#mod ::
is_impossible_associated_item ().name, * $r#mod ::
method_autoderef_steps ().name, * $r#mod ::
evaluate_root_goal_for_proof_tree_raw ().name, * $r#mod ::
rust_target_features ().name, * $r#mod :: implied_target_features
().name, * $r#mod :: features_query ().name, * $r#mod ::
crate_for_resolver ().name, * $r#mod :: resolve_instance_raw
().name, * $r#mod :: reveal_opaque_types_in_bounds ().name, *
$r#mod :: limits ().name, * $r#mod :: diagnostic_hir_wf_check
().name, * $r#mod :: global_backend_features ().name, * $r#mod ::
check_validity_requirement ().name, * $r#mod :: compare_impl_item
().name, * $r#mod :: deduced_param_attrs ().name, * $r#mod ::
doc_link_resolutions ().name, * $r#mod :: doc_link_traits_in_scope
().name, * $r#mod :: stripped_cfg_items ().name, * $r#mod ::
generics_require_sized_self ().name, * $r#mod ::
cross_crate_inlinable ().name, * $r#mod :: check_mono_item
().name, * $r#mod :: skip_move_check_fns ().name, * $r#mod ::
items_of_instance ().name, * $r#mod :: size_estimate ().name, *
$r#mod :: anon_const_kind ().name, * $r#mod :: trivial_const
().name, * $r#mod :: sanitizer_settings_for ().name, * $r#mod ::
check_externally_implementable_items ().name, * $r#mod ::
externally_implementable_items ().name
}
};
}
#[allow(non_camel_case_types)]
#[repr(u16)]
enum DepKindDefs {
#[doc = r" We use this for most things when incr. comp. is turned off."]
Null,
#[doc = r" We use this to create a forever-red node."]
Red,
SideEffect,
AnonZeroDeps,
TraitSelect,
CompileCodegenUnit,
CompileMonoItem,
Metadata,
#[doc =
" Caches the expansion of a derive proc macro, e.g. `#[derive(Serialize)]`."]
#[doc = " The key is:"]
#[doc = " - A unique key corresponding to the invocation of a macro."]
#[doc = " - Token stream which serves as an input to the macro."]
#[doc = ""]
#[doc = " The output is the token stream generated by the proc macro."]
derive_macro_expansion,
#[doc =
" This exists purely for testing the interactions between delayed bugs and incremental."]
trigger_delayed_bug,
#[doc =
" Collects the list of all tools registered using `#![register_tool]`."]
registered_tools,
#[doc =
"[query description - consider adding a doc-comment!] perform lints prior to AST lowering"]
early_lint_checks,
#[doc = " Tracked access to environment variables."]
#[doc = ""]
#[doc =
" Useful for the implementation of `std::env!`, `proc-macro`s change"]
#[doc =
" detection and other changes in the compiler\'s behaviour that is easier"]
#[doc = " to control with an environment variable than a flag."]
#[doc = ""]
#[doc = " NOTE: This currently does not work with dependency info in the"]
#[doc =
" analysis, codegen and linking passes, place extra code at the top of"]
#[doc = " `rustc_interface::passes::write_dep_info` to make that work."]
env_var_os,
#[doc =
"[query description - consider adding a doc-comment!] getting the resolver outputs"]
resolutions,
#[doc =
"[query description - consider adding a doc-comment!] getting the resolver for lowering"]
resolver_for_lowering_raw,
#[doc = " Return the span for a definition."]
#[doc = ""]
#[doc =
" Contrary to `def_span` below, this query returns the full absolute span of the definition."]
#[doc =
" This span is meant for dep-tracking rather than diagnostics. It should not be used outside"]
#[doc = " of rustc_middle::hir::source_map."]
source_span,
#[doc =
" Represents crate as a whole (as distinct from the top-level crate module)."]
#[doc = ""]
#[doc =
" If you call `tcx.hir_crate(())` we will have to assume that any change"]
#[doc =
" means that you need to be recompiled. This is because the `hir_crate`"]
#[doc =
" query gives you access to all other items. To avoid this fate, do not"]
#[doc = " call `tcx.hir_crate(())`; instead, prefer wrappers like"]
#[doc = " [`TyCtxt::hir_visit_all_item_likes_in_crate`]."]
hir_crate,
#[doc = " All items in the crate."]
hir_crate_items,
#[doc = " The items in a module."]
#[doc = ""]
#[doc =
" This can be conveniently accessed by `tcx.hir_visit_item_likes_in_module`."]
#[doc = " Avoid calling this query directly."]
hir_module_items,
#[doc = " Returns HIR ID for the given `LocalDefId`."]
local_def_id_to_hir_id,
#[doc =
" Gives access to the HIR node\'s parent for the HIR owner `key`."]
#[doc = ""]
#[doc = " This can be conveniently accessed by `tcx.hir_*` methods."]
#[doc = " Avoid calling this query directly."]
hir_owner_parent,
#[doc =
" Gives access to the HIR nodes and bodies inside `key` if it\'s a HIR owner."]
#[doc = ""]
#[doc = " This can be conveniently accessed by `tcx.hir_*` methods."]
#[doc = " Avoid calling this query directly."]
opt_hir_owner_nodes,
#[doc = " Gives access to the HIR attributes inside the HIR owner `key`."]
#[doc = ""]
#[doc = " This can be conveniently accessed by `tcx.hir_*` methods."]
#[doc = " Avoid calling this query directly."]
hir_attr_map,
#[doc = " Gives access to lints emitted during ast lowering."]
#[doc = ""]
#[doc = " This can be conveniently accessed by `tcx.hir_*` methods."]
#[doc = " Avoid calling this query directly."]
opt_ast_lowering_delayed_lints,
#[doc =
" Returns the *default* of the const pararameter given by `DefId`."]
#[doc = ""]
#[doc =
" E.g., given `struct Ty<const N: usize = 3>;` this returns `3` for `N`."]
const_param_default,
#[doc =
" Returns the const of the RHS of a (free or assoc) const item, if it is a `#[type_const]`."]
#[doc = ""]
#[doc =
" When a const item is used in a type-level expression, like in equality for an assoc const"]
#[doc =
" projection, this allows us to retrieve the typesystem-appropriate representation of the"]
#[doc = " const value."]
#[doc = ""]
#[doc =
" This query will ICE if given a const that is not marked with `#[type_const]`."]
const_of_item,
#[doc = " Returns the *type* of the definition given by `DefId`."]
#[doc = ""]
#[doc =
" For type aliases (whether eager or lazy) and associated types, this returns"]
#[doc =
" the underlying aliased type (not the corresponding [alias type])."]
#[doc = ""]
#[doc =
" For opaque types, this returns and thus reveals the hidden type! If you"]
#[doc = " want to detect cycle errors use `type_of_opaque` instead."]
#[doc = ""]
#[doc =
" To clarify, for type definitions, this does *not* return the \"type of a type\""]
#[doc =
" (aka *kind* or *sort*) in the type-theoretical sense! It merely returns"]
#[doc = " the type primarily *associated with* it."]
#[doc = ""]
#[doc = " # Panics"]
#[doc = ""]
#[doc =
" This query will panic if the given definition doesn\'t (and can\'t"]
#[doc = " conceptually) have an (underlying) type."]
#[doc = ""]
#[doc = " [alias type]: rustc_middle::ty::AliasTy"]
type_of,
#[doc =
" Returns the *hidden type* of the opaque type given by `DefId` unless a cycle occurred."]
#[doc = ""]
#[doc =
" This is a specialized instance of [`Self::type_of`] that detects query cycles."]
#[doc =
" Unless `CyclePlaceholder` needs to be handled separately, call [`Self::type_of`] instead."]
#[doc =
" This is used to improve the error message in cases where revealing the hidden type"]
#[doc = " for auto-trait leakage cycles."]
#[doc = ""]
#[doc = " # Panics"]
#[doc = ""]
#[doc =
" This query will panic if the given definition is not an opaque type."]
type_of_opaque,
#[doc =
"[query description - consider adding a doc-comment!] computing type of opaque `{path}` via HIR typeck"]
type_of_opaque_hir_typeck,
#[doc = " Returns whether the type alias given by `DefId` is lazy."]
#[doc = ""]
#[doc =
" I.e., if the type alias expands / ought to expand to a [free] [alias type]"]
#[doc = " instead of the underlying aliased type."]
#[doc = ""]
#[doc =
" Relevant for features `lazy_type_alias` and `type_alias_impl_trait`."]
#[doc = ""]
#[doc = " # Panics"]
#[doc = ""]
#[doc =
" This query *may* panic if the given definition is not a type alias."]
#[doc = ""]
#[doc = " [free]: rustc_middle::ty::Free"]
#[doc = " [alias type]: rustc_middle::ty::AliasTy"]
type_alias_is_lazy,
#[doc =
"[query description - consider adding a doc-comment!] comparing an impl and trait method signature, inferring any hidden `impl Trait` types in the process"]
collect_return_position_impl_trait_in_trait_tys,
#[doc =
"[query description - consider adding a doc-comment!] determine where the opaque originates from"]
opaque_ty_origin,
#[doc =
"[query description - consider adding a doc-comment!] determining what parameters of `tcx.def_path_str(key)` can participate in unsizing"]
unsizing_params_for_adt,
#[doc =
" The root query triggering all analysis passes like typeck or borrowck."]
analysis,
#[doc =
" This query checks the fulfillment of collected lint expectations."]
#[doc =
" All lint emitting queries have to be done before this is executed"]
#[doc = " to ensure that all expectations can be fulfilled."]
#[doc = ""]
#[doc =
" This is an extra query to enable other drivers (like rustdoc) to"]
#[doc =
" only execute a small subset of the `analysis` query, while allowing"]
#[doc =
" lints to be expected. In rustc, this query will be executed as part of"]
#[doc =
" the `analysis` query and doesn\'t have to be called a second time."]
#[doc = ""]
#[doc =
" Tools can additionally pass in a tool filter. That will restrict the"]
#[doc =
" expectations to only trigger for lints starting with the listed tool"]
#[doc =
" name. This is useful for cases were not all linting code from rustc"]
#[doc =
" was called. With the default `None` all registered lints will also"]
#[doc = " be checked for expectation fulfillment."]
check_expectations,
#[doc = " Returns the *generics* of the definition given by `DefId`."]
generics_of,
#[doc =
" Returns the (elaborated) *predicates* of the definition given by `DefId`"]
#[doc =
" that must be proven true at usage sites (and which can be assumed at definition site)."]
#[doc = ""]
#[doc =
" This is almost always *the* \"predicates query\" that you want."]
#[doc = ""]
#[doc =
" **Tip**: You can use `#[rustc_dump_predicates]` on an item to basically print"]
#[doc =
" the result of this query for use in UI tests or for debugging purposes."]
predicates_of,
#[doc =
"[query description - consider adding a doc-comment!] computing the opaque types defined by `tcx.def_path_str(key.to_def_id())` "]
opaque_types_defined_by,
#[doc =
" A list of all bodies inside of `key`, nested bodies are always stored"]
#[doc = " before their parent."]
nested_bodies_within,
#[doc =
" Returns the explicitly user-written *bounds* on the associated or opaque type given by `DefId`"]
#[doc =
" that must be proven true at definition site (and which can be assumed at usage sites)."]
#[doc = ""]
#[doc =
" For associated types, these must be satisfied for an implementation"]
#[doc =
" to be well-formed, and for opaque types, these are required to be"]
#[doc = " satisfied by the hidden type of the opaque."]
#[doc = ""]
#[doc =
" Bounds from the parent (e.g. with nested `impl Trait`) are not included."]
#[doc = ""]
#[doc =
" Syntactially, these are the bounds written on associated types in trait"]
#[doc = " definitions, or those after the `impl` keyword for an opaque:"]
#[doc = ""]
#[doc = " ```ignore (illustrative)"]
#[doc = " trait Trait { type X: Bound + \'lt; }"]
#[doc = " // ^^^^^^^^^^^"]
#[doc = " fn function() -> impl Debug + Display { /*...*/ }"]
#[doc = " // ^^^^^^^^^^^^^^^"]
#[doc = " ```"]
explicit_item_bounds,
#[doc =
" Returns the explicitly user-written *bounds* that share the `Self` type of the item."]
#[doc = ""]
#[doc =
" These are a subset of the [explicit item bounds] that may explicitly be used for things"]
#[doc = " like closure signature deduction."]
#[doc = ""]
#[doc = " [explicit item bounds]: Self::explicit_item_bounds"]
explicit_item_self_bounds,
#[doc =
" Returns the (elaborated) *bounds* on the associated or opaque type given by `DefId`"]
#[doc =
" that must be proven true at definition site (and which can be assumed at usage sites)."]
#[doc = ""]
#[doc =
" Bounds from the parent (e.g. with nested `impl Trait`) are not included."]
#[doc = ""]
#[doc =
" **Tip**: You can use `#[rustc_dump_item_bounds]` on an item to basically print"]
#[doc =
" the result of this query for use in UI tests or for debugging purposes."]
#[doc = ""]
#[doc = " # Examples"]
#[doc = ""]
#[doc = " ```"]
#[doc = " trait Trait { type Assoc: Eq + ?Sized; }"]
#[doc = " ```"]
#[doc = ""]
#[doc =
" While [`Self::explicit_item_bounds`] returns `[<Self as Trait>::Assoc: Eq]`"]
#[doc = " here, `item_bounds` returns:"]
#[doc = ""]
#[doc = " ```text"]
#[doc = " ["]
#[doc = " <Self as Trait>::Assoc: Eq,"]
#[doc = " <Self as Trait>::Assoc: PartialEq<<Self as Trait>::Assoc>"]
#[doc = " ]"]
#[doc = " ```"]
item_bounds,
#[doc =
"[query description - consider adding a doc-comment!] elaborating item assumptions for `tcx.def_path_str(key)` "]
item_self_bounds,
#[doc =
"[query description - consider adding a doc-comment!] elaborating item assumptions for `tcx.def_path_str(key)` "]
item_non_self_bounds,
#[doc =
"[query description - consider adding a doc-comment!] elaborating supertrait outlives for trait of `tcx.def_path_str(key)` "]
impl_super_outlives,
#[doc = " Look up all native libraries this crate depends on."]
#[doc = " These are assembled from the following places:"]
#[doc = " - `extern` blocks (depending on their `link` attributes)"]
#[doc = " - the `libs` (`-l`) option"]
native_libraries,
#[doc =
"[query description - consider adding a doc-comment!] looking up lint levels for `tcx.def_path_str(key)` "]
shallow_lint_levels_on,
#[doc =
"[query description - consider adding a doc-comment!] computing `#[expect]`ed lints in this crate"]
lint_expectations,
#[doc =
"[query description - consider adding a doc-comment!] Computing all lints that are explicitly enabled or with a default level greater than Allow"]
lints_that_dont_need_to_run,
#[doc =
"[query description - consider adding a doc-comment!] getting the expansion that defined `tcx.def_path_str(key)` "]
expn_that_defined,
#[doc =
"[query description - consider adding a doc-comment!] checking if the crate is_panic_runtime"]
is_panic_runtime,
#[doc = " Checks whether a type is representable or infinitely sized"]
representability,
#[doc = " An implementation detail for the `representability` query"]
representability_adt_ty,
#[doc =
" Set of param indexes for type params that are in the type\'s representation"]
params_in_repr,
#[doc =
" Fetch the THIR for a given body. The THIR body gets stolen by unsafety checking unless"]
#[doc = " `-Zno-steal-thir` is on."]
thir_body,
#[doc =
" Set of all the `DefId`s in this crate that have MIR associated with"]
#[doc =
" them. This includes all the body owners, but also things like struct"]
#[doc = " constructors."]
mir_keys,
#[doc =
" Maps DefId\'s that have an associated `mir::Body` to the result"]
#[doc = " of the MIR const-checking pass. This is the set of qualifs in"]
#[doc = " the final value of a `const`."]
mir_const_qualif,
#[doc =
" Build the MIR for a given `DefId` and prepare it for const qualification."]
#[doc = ""]
#[doc = " See the [rustc dev guide] for more info."]
#[doc = ""]
#[doc =
" [rustc dev guide]: https://rustc-dev-guide.rust-lang.org/mir/construction.html"]
mir_built,
#[doc = " Try to build an abstract representation of the given constant."]
thir_abstract_const,
#[doc =
"[query description - consider adding a doc-comment!] elaborating drops for `tcx.def_path_str(key)` "]
mir_drops_elaborated_and_const_checked,
#[doc =
"[query description - consider adding a doc-comment!] caching mir of `tcx.def_path_str(key)` for CTFE"]
mir_for_ctfe,
#[doc =
"[query description - consider adding a doc-comment!] promoting constants in MIR for `tcx.def_path_str(key)` "]
mir_promoted,
#[doc =
"[query description - consider adding a doc-comment!] finding symbols for captures of closure `tcx.def_path_str(key)` "]
closure_typeinfo,
#[doc = " Returns names of captured upvars for closures and coroutines."]
#[doc = ""]
#[doc = " Here are some examples:"]
#[doc = " - `name__field1__field2` when the upvar is captured by value."]
#[doc =
" - `_ref__name__field` when the upvar is captured by reference."]
#[doc = ""]
#[doc =
" For coroutines this only contains upvars that are shared by all states."]
closure_saved_names_of_captured_variables,
#[doc =
"[query description - consider adding a doc-comment!] coroutine witness types for `tcx.def_path_str(key)` "]
mir_coroutine_witnesses,
#[doc =
"[query description - consider adding a doc-comment!] verify auto trait bounds for coroutine interior type `tcx.def_path_str(key)` "]
check_coroutine_obligations,
#[doc =
" Used in case `mir_borrowck` fails to prove an obligation. We generally assume that"]
#[doc =
" all goals we prove in MIR type check hold as we\'ve already checked them in HIR typeck."]
#[doc = ""]
#[doc =
" However, we replace each free region in the MIR body with a unique region inference"]
#[doc =
" variable. As we may rely on structural identity when proving goals this may cause a"]
#[doc =
" goal to no longer hold. We store obligations for which this may happen during HIR"]
#[doc =
" typeck in the `TypeckResults`. We then uniquify and reprove them in case MIR typeck"]
#[doc =
" encounters an unexpected error. We expect this to result in an error when used and"]
#[doc = " delay a bug if it does not."]
check_potentially_region_dependent_goals,
#[doc =
" MIR after our optimization passes have run. This is MIR that is ready"]
#[doc =
" for codegen. This is also the only query that can fetch non-local MIR, at present."]
optimized_mir,
#[doc =
" Checks for the nearest `#[coverage(off)]` or `#[coverage(on)]` on"]
#[doc = " this def and any enclosing defs, up to the crate root."]
#[doc = ""]
#[doc = " Returns `false` if `#[coverage(off)]` was found, or `true` if"]
#[doc = " either `#[coverage(on)]` or no coverage attribute was found."]
coverage_attr_on,
#[doc =
" Scans through a function\'s MIR after MIR optimizations, to prepare the"]
#[doc =
" information needed by codegen when `-Cinstrument-coverage` is active."]
#[doc = ""]
#[doc =
" This includes the details of where to insert `llvm.instrprof.increment`"]
#[doc =
" intrinsics, and the expression tables to be embedded in the function\'s"]
#[doc = " coverage metadata."]
#[doc = ""]
#[doc =
" FIXME(Zalathar): This query\'s purpose has drifted a bit and should"]
#[doc =
" probably be renamed, but that can wait until after the potential"]
#[doc = " follow-ups to #136053 have settled down."]
#[doc = ""]
#[doc = " Returns `None` for functions that were not instrumented."]
coverage_ids_info,
#[doc =
" The `DefId` is the `DefId` of the containing MIR body. Promoteds do not have their own"]
#[doc =
" `DefId`. This function returns all promoteds in the specified body. The body references"]
#[doc =
" promoteds by the `DefId` and the `mir::Promoted` index. This is necessary, because"]
#[doc =
" after inlining a body may refer to promoteds from other bodies. In that case you still"]
#[doc = " need to use the `DefId` of the original body."]
promoted_mir,
#[doc = " Erases regions from `ty` to yield a new type."]
#[doc =
" Normally you would just use `tcx.erase_and_anonymize_regions(value)`,"]
#[doc = " however, which uses this query as a kind of cache."]
erase_and_anonymize_regions_ty,
#[doc =
"[query description - consider adding a doc-comment!] getting wasm import module map"]
wasm_import_module_map,
#[doc =
" Returns the explicitly user-written *predicates and bounds* of the trait given by `DefId`."]
#[doc = ""]
#[doc = " Traits are unusual, because predicates on associated types are"]
#[doc =
" converted into bounds on that type for backwards compatibility:"]
#[doc = ""]
#[doc = " ```"]
#[doc = " trait X where Self::U: Copy { type U; }"]
#[doc = " ```"]
#[doc = ""]
#[doc = " becomes"]
#[doc = ""]
#[doc = " ```"]
#[doc = " trait X { type U: Copy; }"]
#[doc = " ```"]
#[doc = ""]
#[doc =
" [`Self::explicit_predicates_of`] and [`Self::explicit_item_bounds`] will"]
#[doc = " then take the appropriate subsets of the predicates here."]
#[doc = ""]
#[doc = " # Panics"]
#[doc = ""]
#[doc = " This query will panic if the given definition is not a trait."]
trait_explicit_predicates_and_bounds,
#[doc =
" Returns the explicitly user-written *predicates* of the definition given by `DefId`"]
#[doc =
" that must be proven true at usage sites (and which can be assumed at definition site)."]
#[doc = ""]
#[doc =
" You should probably use [`Self::predicates_of`] unless you\'re looking for"]
#[doc = " predicates with explicit spans for diagnostics purposes."]
explicit_predicates_of,
#[doc =
" Returns the *inferred outlives-predicates* of the item given by `DefId`."]
#[doc = ""]
#[doc =
" E.g., for `struct Foo<\'a, T> { x: &\'a T }`, this would return `[T: \'a]`."]
#[doc = ""]
#[doc =
" **Tip**: You can use `#[rustc_outlives]` on an item to basically print the"]
#[doc =
" result of this query for use in UI tests or for debugging purposes."]
inferred_outlives_of,
#[doc =
" Returns the explicitly user-written *super-predicates* of the trait given by `DefId`."]
#[doc = ""]
#[doc =
" These predicates are unelaborated and consequently don\'t contain transitive super-predicates."]
#[doc = ""]
#[doc =
" This is a subset of the full list of predicates. We store these in a separate map"]
#[doc =
" because we must evaluate them even during type conversion, often before the full"]
#[doc =
" predicates are available (note that super-predicates must not be cyclic)."]
explicit_super_predicates_of,
#[doc =
" The predicates of the trait that are implied during elaboration."]
#[doc = ""]
#[doc =
" This is a superset of the super-predicates of the trait, but a subset of the predicates"]
#[doc =
" of the trait. For regular traits, this includes all super-predicates and their"]
#[doc =
" associated type bounds. For trait aliases, currently, this includes all of the"]
#[doc = " predicates of the trait alias."]
explicit_implied_predicates_of,
#[doc =
" The Ident is the name of an associated type.The query returns only the subset"]
#[doc =
" of supertraits that define the given associated type. This is used to avoid"]
#[doc =
" cycles in resolving type-dependent associated item paths like `T::Item`."]
explicit_supertraits_containing_assoc_item,
#[doc =
" Compute the conditions that need to hold for a conditionally-const item to be const."]
#[doc =
" That is, compute the set of `[const]` where clauses for a given item."]
#[doc = ""]
#[doc =
" This can be thought of as the `[const]` equivalent of `predicates_of`. These are the"]
#[doc =
" predicates that need to be proven at usage sites, and can be assumed at definition."]
#[doc = ""]
#[doc =
" This query also computes the `[const]` where clauses for associated types, which are"]
#[doc =
" not \"const\", but which have item bounds which may be `[const]`. These must hold for"]
#[doc = " the `[const]` item bound to hold."]
const_conditions,
#[doc =
" Compute the const bounds that are implied for a conditionally-const item."]
#[doc = ""]
#[doc =
" This can be though of as the `[const]` equivalent of `explicit_item_bounds`. These"]
#[doc =
" are the predicates that need to proven at definition sites, and can be assumed at"]
#[doc = " usage sites."]
explicit_implied_const_bounds,
#[doc =
" To avoid cycles within the predicates of a single item we compute"]
#[doc = " per-type-parameter predicates for resolving `T::AssocTy`."]
type_param_predicates,
#[doc =
"[query description - consider adding a doc-comment!] computing trait definition for `tcx.def_path_str(key)` "]
trait_def,
#[doc =
"[query description - consider adding a doc-comment!] computing ADT definition for `tcx.def_path_str(key)` "]
adt_def,
#[doc =
"[query description - consider adding a doc-comment!] computing `Drop` impl for `tcx.def_path_str(key)` "]
adt_destructor,
#[doc =
"[query description - consider adding a doc-comment!] computing `AsyncDrop` impl for `tcx.def_path_str(key)` "]
adt_async_destructor,
#[doc =
"[query description - consider adding a doc-comment!] computing the sizedness constraint for `tcx.def_path_str(key.0)` "]
adt_sizedness_constraint,
#[doc =
"[query description - consider adding a doc-comment!] computing drop-check constraints for `tcx.def_path_str(key)` "]
adt_dtorck_constraint,
#[doc =
" Returns the constness of the function-like[^1] definition given by `DefId`."]
#[doc = ""]
#[doc =
" Tuple struct/variant constructors are *always* const, foreign functions are"]
#[doc =
" *never* const. The rest is const iff marked with keyword `const` (or rather"]
#[doc = " its parent in the case of associated functions)."]
#[doc = ""]
#[doc = " <div class=\"warning\">"]
#[doc = ""]
#[doc =
" **Do not call this query** directly. It is only meant to cache the base data for the"]
#[doc =
" higher-level functions. Consider using `is_const_fn` or `is_const_trait_impl` instead."]
#[doc = ""]
#[doc =
" Also note that neither of them takes into account feature gates, stability and"]
#[doc = " const predicates/conditions!"]
#[doc = ""]
#[doc = " </div>"]
#[doc = ""]
#[doc = " # Panics"]
#[doc = ""]
#[doc =
" This query will panic if the given definition is not function-like[^1]."]
#[doc = ""]
#[doc =
" [^1]: Tuple struct/variant constructors, closures and free, associated and foreign functions."]
constness,
#[doc =
"[query description - consider adding a doc-comment!] checking if the function is async: `tcx.def_path_str(key)` "]
asyncness,
#[doc = " Returns `true` if calls to the function may be promoted."]
#[doc = ""]
#[doc =
" This is either because the function is e.g., a tuple-struct or tuple-variant"]
#[doc =
" constructor, or because it has the `#[rustc_promotable]` attribute. The attribute should"]
#[doc =
" be removed in the future in favour of some form of check which figures out whether the"]
#[doc =
" function does not inspect the bits of any of its arguments (so is essentially just a"]
#[doc = " constructor function)."]
is_promotable_const_fn,
#[doc =
" The body of the coroutine, modified to take its upvars by move rather than by ref."]
#[doc = ""]
#[doc =
" This is used by coroutine-closures, which must return a different flavor of coroutine"]
#[doc =
" when called using `AsyncFnOnce::call_once`. It is produced by the `ByMoveBody` pass which"]
#[doc =
" is run right after building the initial MIR, and will only be populated for coroutines"]
#[doc = " which come out of the async closure desugaring."]
coroutine_by_move_body_def_id,
#[doc =
" Returns `Some(coroutine_kind)` if the node pointed to by `def_id` is a coroutine."]
coroutine_kind,
#[doc =
"[query description - consider adding a doc-comment!] Given a coroutine-closure def id, return the def id of the coroutine returned by it"]
coroutine_for_closure,
#[doc =
"[query description - consider adding a doc-comment!] looking up the hidden types stored across await points in a coroutine"]
coroutine_hidden_types,
#[doc =
" Gets a map with the variances of every item in the local crate."]
#[doc = ""]
#[doc = " <div class=\"warning\">"]
#[doc = ""]
#[doc =
" **Do not call this query** directly, use [`Self::variances_of`] instead."]
#[doc = ""]
#[doc = " </div>"]
crate_variances,
#[doc = " Returns the (inferred) variances of the item given by `DefId`."]
#[doc = ""]
#[doc =
" The list of variances corresponds to the list of (early-bound) generic"]
#[doc = " parameters of the item (including its parents)."]
#[doc = ""]
#[doc =
" **Tip**: You can use `#[rustc_variance]` on an item to basically print the"]
#[doc =
" result of this query for use in UI tests or for debugging purposes."]
variances_of,
#[doc =
" Gets a map with the inferred outlives-predicates of every item in the local crate."]
#[doc = ""]
#[doc = " <div class=\"warning\">"]
#[doc = ""]
#[doc =
" **Do not call this query** directly, use [`Self::inferred_outlives_of`] instead."]
#[doc = ""]
#[doc = " </div>"]
inferred_outlives_crate,
#[doc = " Maps from an impl/trait or struct/variant `DefId`"]
#[doc = " to a list of the `DefId`s of its associated items or fields."]
associated_item_def_ids,
#[doc =
" Maps from a trait/impl item to the trait/impl item \"descriptor\"."]
associated_item,
#[doc = " Collects the associated items defined on a trait or impl."]
associated_items,
#[doc =
" Maps from associated items on a trait to the corresponding associated"]
#[doc = " item on the impl specified by `impl_id`."]
#[doc = ""]
#[doc = " For example, with the following code"]
#[doc = ""]
#[doc = " ```"]
#[doc = " struct Type {}"]
#[doc = " // DefId"]
#[doc = " trait Trait { // trait_id"]
#[doc = " fn f(); // trait_f"]
#[doc = " fn g() {} // trait_g"]
#[doc = " }"]
#[doc = ""]
#[doc = " impl Trait for Type { // impl_id"]
#[doc = " fn f() {} // impl_f"]
#[doc = " fn g() {} // impl_g"]
#[doc = " }"]
#[doc = " ```"]
#[doc = ""]
#[doc =
" The map returned for `tcx.impl_item_implementor_ids(impl_id)` would be"]
#[doc = "`{ trait_f: impl_f, trait_g: impl_g }`"]
impl_item_implementor_ids,
#[doc =
" Given the `item_def_id` of a trait or impl, return a mapping from associated fn def id"]
#[doc =
" to its associated type items that correspond to the RPITITs in its signature."]
associated_types_for_impl_traits_in_trait_or_impl,
#[doc =
" Given an `impl_id`, return the trait it implements along with some header information."]
impl_trait_header,
#[doc =
" Given an `impl_def_id`, return true if the self type is guaranteed to be unsized due"]
#[doc =
" to either being one of the built-in unsized types (str/slice/dyn) or to be a struct"]
#[doc = " whose tail is one of those types."]
impl_self_is_guaranteed_unsized,
#[doc = " Maps a `DefId` of a type to a list of its inherent impls."]
#[doc =
" Contains implementations of methods that are inherent to a type."]
#[doc = " Methods in these implementations don\'t need to be exported."]
inherent_impls,
#[doc =
"[query description - consider adding a doc-comment!] collecting all inherent impls for `{:?}`"]
incoherent_impls,
#[doc = " Unsafety-check this `LocalDefId`."]
check_transmutes,
#[doc = " Unsafety-check this `LocalDefId`."]
check_unsafety,
#[doc = " Checks well-formedness of tail calls (`become f()`)."]
check_tail_calls,
#[doc =
" Returns the types assumed to be well formed while \"inside\" of the given item."]
#[doc = ""]
#[doc =
" Note that we\'ve liberated the late bound regions of function signatures, so"]
#[doc =
" this can not be used to check whether these types are well formed."]
assumed_wf_types,
#[doc =
" We need to store the assumed_wf_types for an RPITIT so that impls of foreign"]
#[doc =
" traits with return-position impl trait in traits can inherit the right wf types."]
assumed_wf_types_for_rpitit,
#[doc = " Computes the signature of the function."]
fn_sig,
#[doc = " Performs lint checking for the module."]
lint_mod,
#[doc =
"[query description - consider adding a doc-comment!] checking unused trait imports in crate"]
check_unused_traits,
#[doc = " Checks the attributes in the module."]
check_mod_attrs,
#[doc = " Checks for uses of unstable APIs in the module."]
check_mod_unstable_api_usage,
#[doc =
"[query description - consider adding a doc-comment!] checking privacy in `describe_as_module(key.to_local_def_id(), tcx)` "]
check_mod_privacy,
#[doc =
"[query description - consider adding a doc-comment!] checking liveness of variables in `tcx.def_path_str(key.to_def_id())` "]
check_liveness,
#[doc = " Return the live symbols in the crate for dead code check."]
#[doc = ""]
#[doc =
" The second return value maps from ADTs to ignored derived traits (e.g. Debug and Clone)."]
live_symbols_and_ignored_derived_traits,
#[doc =
"[query description - consider adding a doc-comment!] checking deathness of variables in `describe_as_module(key, tcx)` "]
check_mod_deathness,
#[doc =
"[query description - consider adding a doc-comment!] checking that types are well-formed"]
check_type_wf,
#[doc = " Caches `CoerceUnsized` kinds for impls on custom types."]
coerce_unsized_info,
#[doc =
"[query description - consider adding a doc-comment!] type-checking `tcx.def_path_str(key)` "]
typeck,
#[doc =
"[query description - consider adding a doc-comment!] finding used_trait_imports `tcx.def_path_str(key)` "]
used_trait_imports,
#[doc =
"[query description - consider adding a doc-comment!] coherence checking all impls of trait `tcx.def_path_str(def_id)` "]
coherent_trait,
#[doc =
" Borrow-checks the given typeck root, e.g. functions, const/static items,"]
#[doc = " and its children, e.g. closures, inline consts."]
mir_borrowck,
#[doc = " Gets a complete map from all types to their inherent impls."]
#[doc = ""]
#[doc = " <div class=\"warning\">"]
#[doc = ""]
#[doc = " **Not meant to be used** directly outside of coherence."]
#[doc = ""]
#[doc = " </div>"]
crate_inherent_impls,
#[doc =
" Checks all types in the crate for overlap in their inherent impls. Reports errors."]
#[doc = ""]
#[doc = " <div class=\"warning\">"]
#[doc = ""]
#[doc = " **Not meant to be used** directly outside of coherence."]
#[doc = ""]
#[doc = " </div>"]
crate_inherent_impls_validity_check,
#[doc =
" Checks all types in the crate for overlap in their inherent impls. Reports errors."]
#[doc = ""]
#[doc = " <div class=\"warning\">"]
#[doc = ""]
#[doc = " **Not meant to be used** directly outside of coherence."]
#[doc = ""]
#[doc = " </div>"]
crate_inherent_impls_overlap_check,
#[doc =
" Checks whether all impls in the crate pass the overlap check, returning"]
#[doc =
" which impls fail it. If all impls are correct, the returned slice is empty."]
orphan_check_impl,
#[doc =
" Return the set of (transitive) callees that may result in a recursive call to `key`,"]
#[doc = " if we were able to walk all callees."]
mir_callgraph_cyclic,
#[doc = " Obtain all the calls into other local functions"]
mir_inliner_callees,
#[doc = " Computes the tag (if any) for a given type and variant."]
#[doc = ""]
#[doc =
" `None` means that the variant doesn\'t need a tag (because it is niched)."]
#[doc = ""]
#[doc = " # Panics"]
#[doc = ""]
#[doc =
" This query will panic for uninhabited variants and if the passed type is not an enum."]
tag_for_variant,
#[doc = " Evaluates a constant and returns the computed allocation."]
#[doc = ""]
#[doc = " <div class=\"warning\">"]
#[doc = ""]
#[doc =
" **Do not call this query** directly, use [`Self::eval_to_const_value_raw`] or"]
#[doc = " [`Self::eval_to_valtree`] instead."]
#[doc = ""]
#[doc = " </div>"]
eval_to_allocation_raw,
#[doc =
" Evaluate a static\'s initializer, returning the allocation of the initializer\'s memory."]
eval_static_initializer,
#[doc =
" Evaluates const items or anonymous constants[^1] into a representation"]
#[doc = " suitable for the type system and const generics."]
#[doc = ""]
#[doc = " <div class=\"warning\">"]
#[doc = ""]
#[doc =
" **Do not call this** directly, use one of the following wrappers:"]
#[doc = " [`TyCtxt::const_eval_poly`], [`TyCtxt::const_eval_resolve`],"]
#[doc =
" [`TyCtxt::const_eval_instance`], or [`TyCtxt::const_eval_global_id`]."]
#[doc = ""]
#[doc = " </div>"]
#[doc = ""]
#[doc =
" [^1]: Such as enum variant explicit discriminants or array lengths."]
eval_to_const_value_raw,
#[doc = " Evaluate a constant and convert it to a type level constant or"]
#[doc = " return `None` if that is not possible."]
eval_to_valtree,
#[doc =
" Converts a type-level constant value into a MIR constant value."]
valtree_to_const_val,
#[doc =
"[query description - consider adding a doc-comment!] converting literal to const"]
lit_to_const,
#[doc =
"[query description - consider adding a doc-comment!] match-checking `tcx.def_path_str(key)` "]
check_match,
#[doc =
" Performs part of the privacy check and computes effective visibilities."]
effective_visibilities,
#[doc =
"[query description - consider adding a doc-comment!] checking for private elements in public interfaces for `describe_as_module(module_def_id, tcx)` "]
check_private_in_public,
#[doc =
"[query description - consider adding a doc-comment!] reachability"]
reachable_set,
#[doc =
" Per-body `region::ScopeTree`. The `DefId` should be the owner `DefId` for the body;"]
#[doc =
" in the case of closures, this will be redirected to the enclosing function."]
region_scope_tree,
#[doc = " Generates a MIR body for the shim."]
mir_shims,
#[doc = " The `symbol_name` query provides the symbol name for calling a"]
#[doc =
" given instance from the local crate. In particular, it will also"]
#[doc =
" look up the correct symbol name of instances from upstream crates."]
symbol_name,
#[doc =
"[query description - consider adding a doc-comment!] looking up definition kind of `tcx.def_path_str(def_id)` "]
def_kind,
#[doc = " Gets the span for the definition."]
def_span,
#[doc = " Gets the span for the identifier of the definition."]
def_ident_span,
#[doc = " Gets the span for the type of the definition."]
#[doc = " Panics if it is not a definition that has a single type."]
ty_span,
#[doc =
"[query description - consider adding a doc-comment!] looking up stability of `tcx.def_path_str(def_id)` "]
lookup_stability,
#[doc =
"[query description - consider adding a doc-comment!] looking up const stability of `tcx.def_path_str(def_id)` "]
lookup_const_stability,
#[doc =
"[query description - consider adding a doc-comment!] looking up default body stability of `tcx.def_path_str(def_id)` "]
lookup_default_body_stability,
#[doc =
"[query description - consider adding a doc-comment!] computing should_inherit_track_caller of `tcx.def_path_str(def_id)` "]
should_inherit_track_caller,
#[doc =
"[query description - consider adding a doc-comment!] computing inherited_align of `tcx.def_path_str(def_id)` "]
inherited_align,
#[doc =
"[query description - consider adding a doc-comment!] checking whether `tcx.def_path_str(def_id)` is deprecated"]
lookup_deprecation_entry,
#[doc = " Determines whether an item is annotated with `#[doc(hidden)]`."]
is_doc_hidden,
#[doc =
" Determines whether an item is annotated with `#[doc(notable_trait)]`."]
is_doc_notable_trait,
#[doc = " Returns the attributes on the item at `def_id`."]
#[doc = ""]
#[doc = " Do not use this directly, use `tcx.get_attrs` instead."]
attrs_for_def,
#[doc = " Returns the `CodegenFnAttrs` for the item at `def_id`."]
#[doc = ""]
#[doc =
" If possible, use `tcx.codegen_instance_attrs` instead. That function takes the"]
#[doc = " instance kind into account."]
#[doc = ""]
#[doc =
" For example, the `#[naked]` attribute should be applied for `InstanceKind::Item`,"]
#[doc =
" but should not be applied if the instance kind is `InstanceKind::ReifyShim`."]
#[doc =
" Using this query would include the attribute regardless of the actual instance"]
#[doc = " kind at the call site."]
codegen_fn_attrs,
#[doc =
"[query description - consider adding a doc-comment!] computing target features for inline asm of `tcx.def_path_str(def_id)` "]
asm_target_features,
#[doc =
"[query description - consider adding a doc-comment!] looking up function parameter identifiers for `tcx.def_path_str(def_id)` "]
fn_arg_idents,
#[doc =
" Gets the rendered value of the specified constant or associated constant."]
#[doc = " Used by rustdoc."]
rendered_const,
#[doc =
" Gets the rendered precise capturing args for an opaque for use in rustdoc."]
rendered_precise_capturing_args,
#[doc =
"[query description - consider adding a doc-comment!] computing specialization parent impl of `tcx.def_path_str(def_id)` "]
impl_parent,
#[doc =
"[query description - consider adding a doc-comment!] checking if item has CTFE MIR available: `tcx.def_path_str(key)` "]
is_ctfe_mir_available,
#[doc =
"[query description - consider adding a doc-comment!] checking if item has MIR available: `tcx.def_path_str(key)` "]
is_mir_available,
#[doc =
"[query description - consider adding a doc-comment!] finding all existential vtable entries for trait `tcx.def_path_str(key)` "]
own_existential_vtable_entries,
#[doc =
"[query description - consider adding a doc-comment!] finding all vtable entries for trait `tcx.def_path_str(key.def_id)` "]
vtable_entries,
#[doc =
"[query description - consider adding a doc-comment!] finding the slot within the vtable of `key.self_ty()` for the implementation of `key.print_only_trait_name()` "]
first_method_vtable_slot,
#[doc =
"[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"]
supertrait_vtable_slot,
#[doc =
"[query description - consider adding a doc-comment!] vtable const allocation for < `key.0` as `key.1.map(| trait_ref | format!\n(\"{trait_ref}\")).unwrap_or_else(| | \"_\".to_owned())` >"]
vtable_allocation,
#[doc =
"[query description - consider adding a doc-comment!] computing candidate for `key.value` "]
codegen_select_candidate,
#[doc = " Return all `impl` blocks in the current crate."]
all_local_trait_impls,
#[doc =
" Return all `impl` blocks of the given trait in the current crate."]
local_trait_impls,
#[doc = " Given a trait `trait_id`, return all known `impl` blocks."]
trait_impls_of,
#[doc =
"[query description - consider adding a doc-comment!] building specialization graph of trait `tcx.def_path_str(trait_id)` "]
specialization_graph_of,
#[doc =
"[query description - consider adding a doc-comment!] determining dyn-compatibility of trait `tcx.def_path_str(trait_id)` "]
dyn_compatibility_violations,
#[doc =
"[query description - consider adding a doc-comment!] checking if trait `tcx.def_path_str(trait_id)` is dyn-compatible"]
is_dyn_compatible,
#[doc =
" Gets the ParameterEnvironment for a given item; this environment"]
#[doc =
" will be in \"user-facing\" mode, meaning that it is suitable for"]
#[doc = " type-checking etc, and it does not normalize specializable"]
#[doc = " associated types."]
#[doc = ""]
#[doc =
" You should almost certainly not use this. If you already have an InferCtxt, then"]
#[doc =
" you should also probably have a `ParamEnv` from when it was built. If you don\'t,"]
#[doc =
" then you should take a `TypingEnv` to ensure that you handle opaque types correctly."]
param_env,
#[doc =
" Like `param_env`, but returns the `ParamEnv` after all opaque types have been"]
#[doc =
" replaced with their hidden type. This is used in the old trait solver"]
#[doc = " when in `PostAnalysis` mode and should not be called directly."]
typing_env_normalized_for_post_analysis,
#[doc =
" Trait selection queries. These are best used by invoking `ty.is_copy_modulo_regions()`,"]
#[doc =
" `ty.is_copy()`, etc, since that will prune the environment where possible."]
is_copy_raw,
#[doc =
" Trait selection queries. These are best used by invoking `ty.is_use_cloned_modulo_regions()`,"]
#[doc =
" `ty.is_use_cloned()`, etc, since that will prune the environment where possible."]
is_use_cloned_raw,
#[doc = " Query backing `Ty::is_sized`."]
is_sized_raw,
#[doc = " Query backing `Ty::is_freeze`."]
is_freeze_raw,
#[doc = " Query backing `Ty::is_unpin`."]
is_unpin_raw,
#[doc = " Query backing `Ty::is_async_drop`."]
is_async_drop_raw,
#[doc = " Query backing `Ty::needs_drop`."]
needs_drop_raw,
#[doc = " Query backing `Ty::needs_async_drop`."]
needs_async_drop_raw,
#[doc = " Query backing `Ty::has_significant_drop_raw`."]
has_significant_drop_raw,
#[doc = " Query backing `Ty::is_structural_eq_shallow`."]
#[doc = ""]
#[doc =
" This is only correct for ADTs. Call `is_structural_eq_shallow` to handle all types"]
#[doc = " correctly."]
has_structural_eq_impl,
#[doc =
" A list of types where the ADT requires drop if and only if any of"]
#[doc =
" those types require drop. If the ADT is known to always need drop"]
#[doc = " then `Err(AlwaysRequiresDrop)` is returned."]
adt_drop_tys,
#[doc =
" A list of types where the ADT requires async drop if and only if any of"]
#[doc =
" those types require async drop. If the ADT is known to always need async drop"]
#[doc = " then `Err(AlwaysRequiresDrop)` is returned."]
adt_async_drop_tys,
#[doc =
" A list of types where the ADT requires drop if and only if any of those types"]
#[doc =
" has significant drop. A type marked with the attribute `rustc_insignificant_dtor`"]
#[doc =
" is considered to not be significant. A drop is significant if it is implemented"]
#[doc =
" by the user or does anything that will have any observable behavior (other than"]
#[doc =
" freeing up memory). If the ADT is known to have a significant destructor then"]
#[doc = " `Err(AlwaysRequiresDrop)` is returned."]
adt_significant_drop_tys,
#[doc =
" Returns a list of types which (a) have a potentially significant destructor"]
#[doc =
" and (b) may be dropped as a result of dropping a value of some type `ty`"]
#[doc = " (in the given environment)."]
#[doc = ""]
#[doc =
" The idea of \"significant\" drop is somewhat informal and is used only for"]
#[doc =
" diagnostics and edition migrations. The idea is that a significant drop may have"]
#[doc =
" some visible side-effect on execution; freeing memory is NOT considered a side-effect."]
#[doc = " The rules are as follows:"]
#[doc =
" * Type with no explicit drop impl do not have significant drop."]
#[doc =
" * Types with a drop impl are assumed to have significant drop unless they have a `#[rustc_insignificant_dtor]` annotation."]
#[doc = ""]
#[doc =
" Note that insignificant drop is a \"shallow\" property. A type like `Vec<LockGuard>` does not"]
#[doc =
" have significant drop but the type `LockGuard` does, and so if `ty = Vec<LockGuard>`"]
#[doc = " then the return value would be `&[LockGuard]`."]
#[doc =
" *IMPORTANT*: *DO NOT* run this query before promoted MIR body is constructed,"]
#[doc = " because this query partially depends on that query."]
#[doc = " Otherwise, there is a risk of query cycles."]
list_significant_drop_tys,
#[doc = " Computes the layout of a type. Note that this implicitly"]
#[doc =
" executes in `TypingMode::PostAnalysis`, and will normalize the input type."]
layout_of,
#[doc =
" Compute a `FnAbi` suitable for indirect calls, i.e. to `fn` pointers."]
#[doc = ""]
#[doc =
" NB: this doesn\'t handle virtual calls - those should use `fn_abi_of_instance`"]
#[doc = " instead, where the instance is an `InstanceKind::Virtual`."]
fn_abi_of_fn_ptr,
#[doc =
" Compute a `FnAbi` suitable for declaring/defining an `fn` instance, and for"]
#[doc = " direct calls to an `fn`."]
#[doc = ""]
#[doc =
" NB: that includes virtual calls, which are represented by \"direct calls\""]
#[doc =
" to an `InstanceKind::Virtual` instance (of `<dyn Trait as Trait>::fn`)."]
fn_abi_of_instance,
#[doc =
"[query description - consider adding a doc-comment!] getting dylib dependency formats of crate"]
dylib_dependency_formats,
#[doc =
"[query description - consider adding a doc-comment!] getting the linkage format of all dependencies"]
dependency_formats,
#[doc =
"[query description - consider adding a doc-comment!] checking if the crate is_compiler_builtins"]
is_compiler_builtins,
#[doc =
"[query description - consider adding a doc-comment!] checking if the crate has_global_allocator"]
has_global_allocator,
#[doc =
"[query description - consider adding a doc-comment!] checking if the crate has_alloc_error_handler"]
has_alloc_error_handler,
#[doc =
"[query description - consider adding a doc-comment!] checking if the crate has_panic_handler"]
has_panic_handler,
#[doc =
"[query description - consider adding a doc-comment!] checking if a crate is `#![profiler_runtime]`"]
is_profiler_runtime,
#[doc =
"[query description - consider adding a doc-comment!] checking if `tcx.def_path_str(key)` contains FFI-unwind calls"]
has_ffi_unwind_calls,
#[doc =
"[query description - consider adding a doc-comment!] getting a crate's required panic strategy"]
required_panic_strategy,
#[doc =
"[query description - consider adding a doc-comment!] getting a crate's configured panic-in-drop strategy"]
panic_in_drop_strategy,
#[doc =
"[query description - consider adding a doc-comment!] getting whether a crate has `#![no_builtins]`"]
is_no_builtins,
#[doc =
"[query description - consider adding a doc-comment!] getting a crate's symbol mangling version"]
symbol_mangling_version,
#[doc =
"[query description - consider adding a doc-comment!] getting crate's ExternCrateData"]
extern_crate,
#[doc =
"[query description - consider adding a doc-comment!] checking whether the crate enabled `specialization`/`min_specialization`"]
specialization_enabled_in,
#[doc =
"[query description - consider adding a doc-comment!] computing whether impls specialize one another"]
specializes,
#[doc =
"[query description - consider adding a doc-comment!] getting traits in scope at a block"]
in_scope_traits_map,
#[doc =
" Returns whether the impl or associated function has the `default` keyword."]
#[doc =
" Note: This will ICE on inherent impl items. Consider using `AssocItem::defaultness`."]
defaultness,
#[doc =
" Returns whether the field corresponding to the `DefId` has a default field value."]
default_field,
#[doc =
"[query description - consider adding a doc-comment!] checking that `tcx.def_path_str(key)` is well-formed"]
check_well_formed,
#[doc =
"[query description - consider adding a doc-comment!] checking that `tcx.def_path_str(key)` 's generics are constrained by the impl header"]
enforce_impl_non_lifetime_params_are_constrained,
#[doc =
"[query description - consider adding a doc-comment!] looking up the exported symbols of a crate"]
reachable_non_generics,
#[doc =
"[query description - consider adding a doc-comment!] checking whether `tcx.def_path_str(def_id)` is an exported symbol"]
is_reachable_non_generic,
#[doc =
"[query description - consider adding a doc-comment!] checking whether `tcx.def_path_str(def_id)` is reachable from outside the crate"]
is_unreachable_local_definition,
#[doc = " The entire set of monomorphizations the local crate can safely"]
#[doc = " link to because they are exported from upstream crates. Do"]
#[doc = " not depend on this directly, as its value changes anytime"]
#[doc = " a monomorphization gets added or removed in any upstream"]
#[doc =
" crate. Instead use the narrower `upstream_monomorphizations_for`,"]
#[doc = " `upstream_drop_glue_for`, `upstream_async_drop_glue_for`, or,"]
#[doc = " even better, `Instance::upstream_monomorphization()`."]
upstream_monomorphizations,
#[doc =
" Returns the set of upstream monomorphizations available for the"]
#[doc =
" generic function identified by the given `def_id`. The query makes"]
#[doc =
" sure to make a stable selection if the same monomorphization is"]
#[doc = " available in multiple upstream crates."]
#[doc = ""]
#[doc =
" You likely want to call `Instance::upstream_monomorphization()`"]
#[doc = " instead of invoking this query directly."]
upstream_monomorphizations_for,
#[doc =
" Returns the upstream crate that exports drop-glue for the given"]
#[doc =
" type (`args` is expected to be a single-item list containing the"]
#[doc = " type one wants drop-glue for)."]
#[doc = ""]
#[doc =
" This is a subset of `upstream_monomorphizations_for` in order to"]
#[doc =
" increase dep-tracking granularity. Otherwise adding or removing any"]
#[doc = " type with drop-glue in any upstream crate would invalidate all"]
#[doc = " functions calling drop-glue of an upstream type."]
#[doc = ""]
#[doc =
" You likely want to call `Instance::upstream_monomorphization()`"]
#[doc = " instead of invoking this query directly."]
#[doc = ""]
#[doc =
" NOTE: This query could easily be extended to also support other"]
#[doc =
" common functions that have are large set of monomorphizations"]
#[doc = " (like `Clone::clone` for example)."]
upstream_drop_glue_for,
#[doc = " Returns the upstream crate that exports async-drop-glue for"]
#[doc = " the given type (`args` is expected to be a single-item list"]
#[doc = " containing the type one wants async-drop-glue for)."]
#[doc = ""]
#[doc = " This is a subset of `upstream_monomorphizations_for` in order"]
#[doc = " to increase dep-tracking granularity. Otherwise adding or"]
#[doc = " removing any type with async-drop-glue in any upstream crate"]
#[doc = " would invalidate all functions calling async-drop-glue of an"]
#[doc = " upstream type."]
#[doc = ""]
#[doc =
" You likely want to call `Instance::upstream_monomorphization()`"]
#[doc = " instead of invoking this query directly."]
#[doc = ""]
#[doc =
" NOTE: This query could easily be extended to also support other"]
#[doc =
" common functions that have are large set of monomorphizations"]
#[doc = " (like `Clone::clone` for example)."]
upstream_async_drop_glue_for,
#[doc = " Returns a list of all `extern` blocks of a crate."]
foreign_modules,
#[doc =
" Lint against `extern fn` declarations having incompatible types."]
clashing_extern_declarations,
#[doc =
" Identifies the entry-point (e.g., the `main` function) for a given"]
#[doc =
" crate, returning `None` if there is no entry point (such as for library crates)."]
entry_fn,
#[doc = " Finds the `rustc_proc_macro_decls` item of a crate."]
proc_macro_decls_static,
#[doc =
"[query description - consider adding a doc-comment!] looking up the hash a crate"]
crate_hash,
#[doc =
" Gets the hash for the host proc macro. Used to support -Z dual-proc-macro."]
crate_host_hash,
#[doc =
" Gets the extra data to put in each output filename for a crate."]
#[doc =
" For example, compiling the `foo` crate with `extra-filename=-a` creates a `libfoo-b.rlib` file."]
extra_filename,
#[doc = " Gets the paths where the crate came from in the file system."]
crate_extern_paths,
#[doc =
" Given a crate and a trait, look up all impls of that trait in the crate."]
#[doc = " Return `(impl_id, self_ty)`."]
implementations_of_trait,
#[doc = " Collects all incoherent impls for the given crate and type."]
#[doc = ""]
#[doc =
" Do not call this directly, but instead use the `incoherent_impls` query."]
#[doc =
" This query is only used to get the data necessary for that query."]
crate_incoherent_impls,
#[doc =
" Get the corresponding native library from the `native_libraries` query"]
native_library,
#[doc =
"[query description - consider adding a doc-comment!] inheriting delegation signature"]
inherit_sig_for_delegation_item,
#[doc =
" Does lifetime resolution on items. Importantly, we can\'t resolve"]
#[doc =
" lifetimes directly on things like trait methods, because of trait params."]
#[doc = " See `rustc_resolve::late::lifetimes` for details."]
resolve_bound_vars,
#[doc =
"[query description - consider adding a doc-comment!] looking up a named region inside `tcx.def_path_str(owner_id)` "]
named_variable_map,
#[doc =
"[query description - consider adding a doc-comment!] testing if a region is late bound inside `tcx.def_path_str(owner_id)` "]
is_late_bound_map,
#[doc =
" Returns the *default lifetime* to be used if a trait object type were to be passed for"]
#[doc = " the type parameter given by `DefId`."]
#[doc = ""]
#[doc =
" **Tip**: You can use `#[rustc_object_lifetime_default]` on an item to basically"]
#[doc =
" print the result of this query for use in UI tests or for debugging purposes."]
#[doc = ""]
#[doc = " # Examples"]
#[doc = ""]
#[doc =
" - For `T` in `struct Foo<\'a, T: \'a>(&\'a T);`, this would be `Param(\'a)`"]
#[doc =
" - For `T` in `struct Bar<\'a, T>(&\'a T);`, this would be `Empty`"]
#[doc = ""]
#[doc = " # Panics"]
#[doc = ""]
#[doc =
" This query will panic if the given definition is not a type parameter."]
object_lifetime_default,
#[doc =
"[query description - consider adding a doc-comment!] looking up late bound vars inside `tcx.def_path_str(owner_id)` "]
late_bound_vars_map,
#[doc =
" For an opaque type, return the list of (captured lifetime, inner generic param)."]
#[doc = " ```ignore (illustrative)"]
#[doc =
" fn foo<\'a: \'a, \'b, T>(&\'b u8) -> impl Into<Self> + \'b { ... }"]
#[doc = " ```"]
#[doc = ""]
#[doc =
" We would return `[(\'a, \'_a), (\'b, \'_b)]`, with `\'a` early-bound and `\'b` late-bound."]
#[doc = ""]
#[doc = " After hir_ty_lowering, we get:"]
#[doc = " ```ignore (pseudo-code)"]
#[doc = " opaque foo::<\'a>::opaque<\'_a, \'_b>: Into<Foo<\'_a>> + \'_b;"]
#[doc = " ^^^^^^^^ inner generic params"]
#[doc =
" fn foo<\'a>: for<\'b> fn(&\'b u8) -> foo::<\'a>::opaque::<\'a, \'b>"]
#[doc =
" ^^^^^^ captured lifetimes"]
#[doc = " ```"]
opaque_captured_lifetimes,
#[doc = " Computes the visibility of the provided `def_id`."]
#[doc = ""]
#[doc =
" If the item from the `def_id` doesn\'t have a visibility, it will panic. For example"]
#[doc =
" a generic type parameter will panic if you call this method on it:"]
#[doc = ""]
#[doc = " ```"]
#[doc = " use std::fmt::Debug;"]
#[doc = ""]
#[doc = " pub trait Foo<T: Debug> {}"]
#[doc = " ```"]
#[doc = ""]
#[doc = " In here, if you call `visibility` on `T`, it\'ll panic."]
visibility,
#[doc =
"[query description - consider adding a doc-comment!] computing the uninhabited predicate of `{:?}`"]
inhabited_predicate_adt,
#[doc =
" Do not call this query directly: invoke `Ty::inhabited_predicate` instead."]
inhabited_predicate_type,
#[doc =
"[query description - consider adding a doc-comment!] fetching what a dependency looks like"]
dep_kind,
#[doc = " Gets the name of the crate."]
crate_name,
#[doc =
"[query description - consider adding a doc-comment!] collecting child items of module `tcx.def_path_str(def_id)` "]
module_children,
#[doc = " Gets the number of definitions in a foreign crate."]
#[doc = ""]
#[doc =
" This allows external tools to iterate over all definitions in a foreign crate."]
#[doc = ""]
#[doc =
" This should never be used for the local crate, instead use `iter_local_def_id`."]
num_extern_def_ids,
#[doc =
"[query description - consider adding a doc-comment!] calculating the lib features defined in a crate"]
lib_features,
#[doc =
" Mapping from feature name to feature name based on the `implied_by` field of `#[unstable]`"]
#[doc =
" attributes. If a `#[unstable(feature = \"implier\", implied_by = \"impliee\")]` attribute"]
#[doc = " exists, then this map will have a `impliee -> implier` entry."]
#[doc = ""]
#[doc =
" This mapping is necessary unless both the `#[stable]` and `#[unstable]` attributes should"]
#[doc =
" specify their implications (both `implies` and `implied_by`). If only one of the two"]
#[doc =
" attributes do (as in the current implementation, `implied_by` in `#[unstable]`), then this"]
#[doc =
" mapping is necessary for diagnostics. When a \"unnecessary feature attribute\" error is"]
#[doc =
" reported, only the `#[stable]` attribute information is available, so the map is necessary"]
#[doc =
" to know that the feature implies another feature. If it were reversed, and the `#[stable]`"]
#[doc =
" attribute had an `implies` meta item, then a map would be necessary when avoiding a \"use of"]
#[doc = " unstable feature\" error for a feature that was implied."]
stability_implications,
#[doc = " Whether the function is an intrinsic"]
intrinsic_raw,
#[doc =
" Returns the lang items defined in another crate by loading it from metadata."]
get_lang_items,
#[doc = " Returns all diagnostic items defined in all crates."]
all_diagnostic_items,
#[doc =
" Returns the lang items defined in another crate by loading it from metadata."]
defined_lang_items,
#[doc = " Returns the diagnostic items defined in a crate."]
diagnostic_items,
#[doc =
"[query description - consider adding a doc-comment!] calculating the missing lang items in a crate"]
missing_lang_items,
#[doc =
" The visible parent map is a map from every item to a visible parent."]
#[doc = " It prefers the shortest visible path to an item."]
#[doc = " Used for diagnostics, for example path trimming."]
#[doc = " The parents are modules, enums or traits."]
visible_parent_map,
#[doc =
" Collects the \"trimmed\", shortest accessible paths to all items for diagnostics."]
#[doc =
" See the [provider docs](`rustc_middle::ty::print::trimmed_def_paths`) for more info."]
trimmed_def_paths,
#[doc =
"[query description - consider adding a doc-comment!] seeing if we're missing an `extern crate` item for this crate"]
missing_extern_crate_item,
#[doc =
"[query description - consider adding a doc-comment!] looking at the source for a crate"]
used_crate_source,
#[doc = " Returns the debugger visualizers defined for this crate."]
#[doc =
" NOTE: This query has to be marked `eval_always` because it reads data"]
#[doc =
" directly from disk that is not tracked anywhere else. I.e. it"]
#[doc = " represents a genuine input to the query system."]
debugger_visualizers,
#[doc =
"[query description - consider adding a doc-comment!] generating a postorder list of CrateNums"]
postorder_cnums,
#[doc = " Returns whether or not the crate with CrateNum \'cnum\'"]
#[doc = " is marked as a private dependency"]
is_private_dep,
#[doc =
"[query description - consider adding a doc-comment!] getting the allocator kind for the current crate"]
allocator_kind,
#[doc =
"[query description - consider adding a doc-comment!] alloc error handler kind for the current crate"]
alloc_error_handler_kind,
#[doc =
"[query description - consider adding a doc-comment!] collecting upvars mentioned in `tcx.def_path_str(def_id)` "]
upvars_mentioned,
#[doc =
" All available crates in the graph, including those that should not be user-facing"]
#[doc = " (such as private crates)."]
crates,
#[doc =
"[query description - consider adding a doc-comment!] fetching `CrateNum`s for all crates loaded non-speculatively"]
used_crates,
#[doc = " All crates that share the same name as crate `c`."]
#[doc = ""]
#[doc =
" This normally occurs when multiple versions of the same dependency are present in the"]
#[doc = " dependency tree."]
duplicate_crate_names,
#[doc =
" A list of all traits in a crate, used by rustdoc and error reporting."]
traits,
#[doc =
"[query description - consider adding a doc-comment!] fetching all trait impls in a crate"]
trait_impls_in_crate,
#[doc =
"[query description - consider adding a doc-comment!] fetching the stable impl's order"]
stable_order_of_exportable_impls,
#[doc =
"[query description - consider adding a doc-comment!] fetching all exportable items in a crate"]
exportable_items,
#[doc = " The list of non-generic symbols exported from the given crate."]
#[doc = ""]
#[doc = " This is separate from exported_generic_symbols to avoid having"]
#[doc = " to deserialize all non-generic symbols too for upstream crates"]
#[doc = " in the upstream_monomorphizations query."]
#[doc = ""]
#[doc =
" - All names contained in `exported_non_generic_symbols(cnum)` are"]
#[doc =
" guaranteed to correspond to a publicly visible symbol in `cnum`"]
#[doc = " machine code."]
#[doc =
" - The `exported_non_generic_symbols` and `exported_generic_symbols`"]
#[doc = " sets of different crates do not intersect."]
exported_non_generic_symbols,
#[doc = " The list of generic symbols exported from the given crate."]
#[doc = ""]
#[doc = " - All names contained in `exported_generic_symbols(cnum)` are"]
#[doc =
" guaranteed to correspond to a publicly visible symbol in `cnum`"]
#[doc = " machine code."]
#[doc =
" - The `exported_non_generic_symbols` and `exported_generic_symbols`"]
#[doc = " sets of different crates do not intersect."]
exported_generic_symbols,
#[doc =
"[query description - consider adding a doc-comment!] collect_and_partition_mono_items"]
collect_and_partition_mono_items,
#[doc =
"[query description - consider adding a doc-comment!] determining whether `tcx.def_path_str(def_id)` needs codegen"]
is_codegened_item,
#[doc =
"[query description - consider adding a doc-comment!] getting codegen unit `{sym}`"]
codegen_unit,
#[doc =
"[query description - consider adding a doc-comment!] optimization level used by backend"]
backend_optimization_level,
#[doc = " Return the filenames where output artefacts shall be stored."]
#[doc = ""]
#[doc =
" This query returns an `&Arc` because codegen backends need the value even after the `TyCtxt`"]
#[doc = " has been destroyed."]
output_filenames,
#[doc = " <div class=\"warning\">"]
#[doc = ""]
#[doc = " Do not call this query directly: Invoke `normalize` instead."]
#[doc = ""]
#[doc = " </div>"]
normalize_canonicalized_projection,
#[doc = " <div class=\"warning\">"]
#[doc = ""]
#[doc = " Do not call this query directly: Invoke `normalize` instead."]
#[doc = ""]
#[doc = " </div>"]
normalize_canonicalized_free_alias,
#[doc = " <div class=\"warning\">"]
#[doc = ""]
#[doc = " Do not call this query directly: Invoke `normalize` instead."]
#[doc = ""]
#[doc = " </div>"]
normalize_canonicalized_inherent_projection,
#[doc =
" Do not call this query directly: invoke `try_normalize_erasing_regions` instead."]
try_normalize_generic_arg_after_erasing_regions,
#[doc =
"[query description - consider adding a doc-comment!] computing implied outlives bounds for `key.0.canonical.value.value.ty` (hack disabled = {:?})"]
implied_outlives_bounds,
#[doc = " Do not call this query directly:"]
#[doc =
" invoke `DropckOutlives::new(dropped_ty)).fully_perform(typeck.infcx)` instead."]
dropck_outlives,
#[doc =
" Do not call this query directly: invoke `infcx.predicate_may_hold()` or"]
#[doc = " `infcx.predicate_must_hold()` instead."]
evaluate_obligation,
#[doc = " Do not call this query directly: part of the `Eq` type-op"]
type_op_ascribe_user_type,
#[doc =
" Do not call this query directly: part of the `ProvePredicate` type-op"]
type_op_prove_predicate,
#[doc =
" Do not call this query directly: part of the `Normalize` type-op"]
type_op_normalize_ty,
#[doc =
" Do not call this query directly: part of the `Normalize` type-op"]
type_op_normalize_clause,
#[doc =
" Do not call this query directly: part of the `Normalize` type-op"]
type_op_normalize_poly_fn_sig,
#[doc =
" Do not call this query directly: part of the `Normalize` type-op"]
type_op_normalize_fn_sig,
#[doc =
"[query description - consider adding a doc-comment!] checking impossible instantiated predicates: `tcx.def_path_str(key.0)` "]
instantiate_and_check_impossible_predicates,
#[doc =
"[query description - consider adding a doc-comment!] checking if `tcx.def_path_str(key.1)` is impossible to reference within `tcx.def_path_str(key.0)` "]
is_impossible_associated_item,
#[doc =
"[query description - consider adding a doc-comment!] computing autoderef types for `goal.canonical.value.value.self_ty` "]
method_autoderef_steps,
#[doc = " Used by `-Znext-solver` to compute proof trees."]
evaluate_root_goal_for_proof_tree_raw,
#[doc =
" Returns the Rust target features for the current target. These are not always the same as LLVM target features!"]
rust_target_features,
#[doc =
"[query description - consider adding a doc-comment!] looking up implied target features"]
implied_target_features,
#[doc =
"[query description - consider adding a doc-comment!] looking up enabled feature gates"]
features_query,
#[doc =
"[query description - consider adding a doc-comment!] the ast before macro expansion and name resolution"]
crate_for_resolver,
#[doc = " Attempt to resolve the given `DefId` to an `Instance`, for the"]
#[doc = " given generics args (`GenericArgsRef`), returning one of:"]
#[doc = " * `Ok(Some(instance))` on success"]
#[doc = " * `Ok(None)` when the `GenericArgsRef` are still too generic,"]
#[doc = " and therefore don\'t allow finding the final `Instance`"]
#[doc =
" * `Err(ErrorGuaranteed)` when the `Instance` resolution process"]
#[doc =
" couldn\'t complete due to errors elsewhere - this is distinct"]
#[doc =
" from `Ok(None)` to avoid misleading diagnostics when an error"]
#[doc = " has already been/will be emitted, for the original cause."]
resolve_instance_raw,
#[doc =
"[query description - consider adding a doc-comment!] revealing opaque types in `{:?}`"]
reveal_opaque_types_in_bounds,
#[doc =
"[query description - consider adding a doc-comment!] looking up limits"]
limits,
#[doc =
" Performs an HIR-based well-formed check on the item with the given `HirId`. If"]
#[doc =
" we get an `Unimplemented` error that matches the provided `Predicate`, return"]
#[doc = " the cause of the newly created obligation."]
#[doc = ""]
#[doc =
" This is only used by error-reporting code to get a better cause (in particular, a better"]
#[doc =
" span) for an *existing* error. Therefore, it is best-effort, and may never handle"]
#[doc =
" all of the cases that the normal `ty::Ty`-based wfcheck does. This is fine,"]
#[doc = " because the `ty::Ty`-based wfcheck is always run."]
diagnostic_hir_wf_check,
#[doc =
" The list of backend features computed from CLI flags (`-Ctarget-cpu`, `-Ctarget-feature`,"]
#[doc = " `--target` and similar)."]
global_backend_features,
#[doc =
"[query description - consider adding a doc-comment!] checking validity requirement for `key.1.value` : `key.0` "]
check_validity_requirement,
#[doc =
" This takes the def-id of an associated item from a impl of a trait,"]
#[doc =
" and checks its validity against the trait item it corresponds to."]
#[doc = ""]
#[doc = " Any other def id will ICE."]
compare_impl_item,
#[doc =
"[query description - consider adding a doc-comment!] deducing parameter attributes for `tcx.def_path_str(def_id)` "]
deduced_param_attrs,
#[doc =
"[query description - consider adding a doc-comment!] resolutions for documentation links for a module"]
doc_link_resolutions,
#[doc =
"[query description - consider adding a doc-comment!] traits in scope for documentation links for a module"]
doc_link_traits_in_scope,
#[doc =
" Get all item paths that were stripped by a `#[cfg]` in a particular crate."]
#[doc =
" Should not be called for the local crate before the resolver outputs are created, as it"]
#[doc = " is only fed there."]
stripped_cfg_items,
#[doc =
"[query description - consider adding a doc-comment!] check whether the item has a `where Self: Sized` bound"]
generics_require_sized_self,
#[doc =
"[query description - consider adding a doc-comment!] whether the item should be made inlinable across crates"]
cross_crate_inlinable,
#[doc = " Perform monomorphization-time checking on this item."]
#[doc =
" This is used for lints/errors that can only be checked once the instance is fully"]
#[doc = " monomorphized."]
check_mono_item,
#[doc =
" Builds the set of functions that should be skipped for the move-size check."]
skip_move_check_fns,
#[doc =
"[query description - consider adding a doc-comment!] collecting items used by `key.0` "]
items_of_instance,
#[doc =
"[query description - consider adding a doc-comment!] estimating codegen size of `key` "]
size_estimate,
#[doc =
"[query description - consider adding a doc-comment!] looking up anon const kind of `tcx.def_path_str(def_id)` "]
anon_const_kind,
#[doc =
"[query description - consider adding a doc-comment!] checking if `tcx.def_path_str(def_id)` is a trivial const"]
trivial_const,
#[doc = " Checks for the nearest `#[sanitize(xyz = \"off\")]` or"]
#[doc =
" `#[sanitize(xyz = \"on\")]` on this def and any enclosing defs, up to the"]
#[doc = " crate root."]
#[doc = ""]
#[doc = " Returns the sanitizer settings for this def."]
sanitizer_settings_for,
#[doc =
"[query description - consider adding a doc-comment!] check externally implementable items"]
check_externally_implementable_items,
#[doc = " Returns a list of all `externally implementable items` crate."]
externally_implementable_items,
}
#[allow(non_upper_case_globals)]
pub mod dep_kinds {
use super::*;
pub const Null: DepKind = DepKind::new(DepKindDefs::Null as u16);
pub const Red: DepKind = DepKind::new(DepKindDefs::Red as u16);
pub const SideEffect: DepKind =
DepKind::new(DepKindDefs::SideEffect as u16);
pub const AnonZeroDeps: DepKind =
DepKind::new(DepKindDefs::AnonZeroDeps as u16);
pub const TraitSelect: DepKind =
DepKind::new(DepKindDefs::TraitSelect as u16);
pub const CompileCodegenUnit: DepKind =
DepKind::new(DepKindDefs::CompileCodegenUnit as u16);
pub const CompileMonoItem: DepKind =
DepKind::new(DepKindDefs::CompileMonoItem as u16);
pub const Metadata: DepKind = DepKind::new(DepKindDefs::Metadata as u16);
pub const derive_macro_expansion: DepKind =
DepKind::new(DepKindDefs::derive_macro_expansion as u16);
pub const trigger_delayed_bug: DepKind =
DepKind::new(DepKindDefs::trigger_delayed_bug as u16);
pub const registered_tools: DepKind =
DepKind::new(DepKindDefs::registered_tools as u16);
pub const early_lint_checks: DepKind =
DepKind::new(DepKindDefs::early_lint_checks as u16);
pub const env_var_os: DepKind =
DepKind::new(DepKindDefs::env_var_os as u16);
pub const resolutions: DepKind =
DepKind::new(DepKindDefs::resolutions as u16);
pub const resolver_for_lowering_raw: DepKind =
DepKind::new(DepKindDefs::resolver_for_lowering_raw as u16);
pub const source_span: DepKind =
DepKind::new(DepKindDefs::source_span as u16);
pub const hir_crate: DepKind =
DepKind::new(DepKindDefs::hir_crate as u16);
pub const hir_crate_items: DepKind =
DepKind::new(DepKindDefs::hir_crate_items as u16);
pub const hir_module_items: DepKind =
DepKind::new(DepKindDefs::hir_module_items as u16);
pub const local_def_id_to_hir_id: DepKind =
DepKind::new(DepKindDefs::local_def_id_to_hir_id as u16);
pub const hir_owner_parent: DepKind =
DepKind::new(DepKindDefs::hir_owner_parent as u16);
pub const opt_hir_owner_nodes: DepKind =
DepKind::new(DepKindDefs::opt_hir_owner_nodes as u16);
pub const hir_attr_map: DepKind =
DepKind::new(DepKindDefs::hir_attr_map as u16);
pub const opt_ast_lowering_delayed_lints: DepKind =
DepKind::new(DepKindDefs::opt_ast_lowering_delayed_lints as u16);
pub const const_param_default: DepKind =
DepKind::new(DepKindDefs::const_param_default as u16);
pub const const_of_item: DepKind =
DepKind::new(DepKindDefs::const_of_item as u16);
pub const type_of: DepKind = DepKind::new(DepKindDefs::type_of as u16);
pub const type_of_opaque: DepKind =
DepKind::new(DepKindDefs::type_of_opaque as u16);
pub const type_of_opaque_hir_typeck: DepKind =
DepKind::new(DepKindDefs::type_of_opaque_hir_typeck as u16);
pub const type_alias_is_lazy: DepKind =
DepKind::new(DepKindDefs::type_alias_is_lazy as u16);
pub const collect_return_position_impl_trait_in_trait_tys: DepKind =
DepKind::new(DepKindDefs::collect_return_position_impl_trait_in_trait_tys
as u16);
pub const opaque_ty_origin: DepKind =
DepKind::new(DepKindDefs::opaque_ty_origin as u16);
pub const unsizing_params_for_adt: DepKind =
DepKind::new(DepKindDefs::unsizing_params_for_adt as u16);
pub const analysis: DepKind = DepKind::new(DepKindDefs::analysis as u16);
pub const check_expectations: DepKind =
DepKind::new(DepKindDefs::check_expectations as u16);
pub const generics_of: DepKind =
DepKind::new(DepKindDefs::generics_of as u16);
pub const predicates_of: DepKind =
DepKind::new(DepKindDefs::predicates_of as u16);
pub const opaque_types_defined_by: DepKind =
DepKind::new(DepKindDefs::opaque_types_defined_by as u16);
pub const nested_bodies_within: DepKind =
DepKind::new(DepKindDefs::nested_bodies_within as u16);
pub const explicit_item_bounds: DepKind =
DepKind::new(DepKindDefs::explicit_item_bounds as u16);
pub const explicit_item_self_bounds: DepKind =
DepKind::new(DepKindDefs::explicit_item_self_bounds as u16);
pub const item_bounds: DepKind =
DepKind::new(DepKindDefs::item_bounds as u16);
pub const item_self_bounds: DepKind =
DepKind::new(DepKindDefs::item_self_bounds as u16);
pub const item_non_self_bounds: DepKind =
DepKind::new(DepKindDefs::item_non_self_bounds as u16);
pub const impl_super_outlives: DepKind =
DepKind::new(DepKindDefs::impl_super_outlives as u16);
pub const native_libraries: DepKind =
DepKind::new(DepKindDefs::native_libraries as u16);
pub const shallow_lint_levels_on: DepKind =
DepKind::new(DepKindDefs::shallow_lint_levels_on as u16);
pub const lint_expectations: DepKind =
DepKind::new(DepKindDefs::lint_expectations as u16);
pub const lints_that_dont_need_to_run: DepKind =
DepKind::new(DepKindDefs::lints_that_dont_need_to_run as u16);
pub const expn_that_defined: DepKind =
DepKind::new(DepKindDefs::expn_that_defined as u16);
pub const is_panic_runtime: DepKind =
DepKind::new(DepKindDefs::is_panic_runtime as u16);
pub const representability: DepKind =
DepKind::new(DepKindDefs::representability as u16);
pub const representability_adt_ty: DepKind =
DepKind::new(DepKindDefs::representability_adt_ty as u16);
pub const params_in_repr: DepKind =
DepKind::new(DepKindDefs::params_in_repr as u16);
pub const thir_body: DepKind =
DepKind::new(DepKindDefs::thir_body as u16);
pub const mir_keys: DepKind = DepKind::new(DepKindDefs::mir_keys as u16);
pub const mir_const_qualif: DepKind =
DepKind::new(DepKindDefs::mir_const_qualif as u16);
pub const mir_built: DepKind =
DepKind::new(DepKindDefs::mir_built as u16);
pub const thir_abstract_const: DepKind =
DepKind::new(DepKindDefs::thir_abstract_const as u16);
pub const mir_drops_elaborated_and_const_checked: DepKind =
DepKind::new(DepKindDefs::mir_drops_elaborated_and_const_checked as
u16);
pub const mir_for_ctfe: DepKind =
DepKind::new(DepKindDefs::mir_for_ctfe as u16);
pub const mir_promoted: DepKind =
DepKind::new(DepKindDefs::mir_promoted as u16);
pub const closure_typeinfo: DepKind =
DepKind::new(DepKindDefs::closure_typeinfo as u16);
pub const closure_saved_names_of_captured_variables: DepKind =
DepKind::new(DepKindDefs::closure_saved_names_of_captured_variables as
u16);
pub const mir_coroutine_witnesses: DepKind =
DepKind::new(DepKindDefs::mir_coroutine_witnesses as u16);
pub const check_coroutine_obligations: DepKind =
DepKind::new(DepKindDefs::check_coroutine_obligations as u16);
pub const check_potentially_region_dependent_goals: DepKind =
DepKind::new(DepKindDefs::check_potentially_region_dependent_goals as
u16);
pub const optimized_mir: DepKind =
DepKind::new(DepKindDefs::optimized_mir as u16);
pub const coverage_attr_on: DepKind =
DepKind::new(DepKindDefs::coverage_attr_on as u16);
pub const coverage_ids_info: DepKind =
DepKind::new(DepKindDefs::coverage_ids_info as u16);
pub const promoted_mir: DepKind =
DepKind::new(DepKindDefs::promoted_mir as u16);
pub const erase_and_anonymize_regions_ty: DepKind =
DepKind::new(DepKindDefs::erase_and_anonymize_regions_ty as u16);
pub const wasm_import_module_map: DepKind =
DepKind::new(DepKindDefs::wasm_import_module_map as u16);
pub const trait_explicit_predicates_and_bounds: DepKind =
DepKind::new(DepKindDefs::trait_explicit_predicates_and_bounds as
u16);
pub const explicit_predicates_of: DepKind =
DepKind::new(DepKindDefs::explicit_predicates_of as u16);
pub const inferred_outlives_of: DepKind =
DepKind::new(DepKindDefs::inferred_outlives_of as u16);
pub const explicit_super_predicates_of: DepKind =
DepKind::new(DepKindDefs::explicit_super_predicates_of as u16);
pub const explicit_implied_predicates_of: DepKind =
DepKind::new(DepKindDefs::explicit_implied_predicates_of as u16);
pub const explicit_supertraits_containing_assoc_item: DepKind =
DepKind::new(DepKindDefs::explicit_supertraits_containing_assoc_item
as u16);
pub const const_conditions: DepKind =
DepKind::new(DepKindDefs::const_conditions as u16);
pub const explicit_implied_const_bounds: DepKind =
DepKind::new(DepKindDefs::explicit_implied_const_bounds as u16);
pub const type_param_predicates: DepKind =
DepKind::new(DepKindDefs::type_param_predicates as u16);
pub const trait_def: DepKind =
DepKind::new(DepKindDefs::trait_def as u16);
pub const adt_def: DepKind = DepKind::new(DepKindDefs::adt_def as u16);
pub const adt_destructor: DepKind =
DepKind::new(DepKindDefs::adt_destructor as u16);
pub const adt_async_destructor: DepKind =
DepKind::new(DepKindDefs::adt_async_destructor as u16);
pub const adt_sizedness_constraint: DepKind =
DepKind::new(DepKindDefs::adt_sizedness_constraint as u16);
pub const adt_dtorck_constraint: DepKind =
DepKind::new(DepKindDefs::adt_dtorck_constraint as u16);
pub const constness: DepKind =
DepKind::new(DepKindDefs::constness as u16);
pub const asyncness: DepKind =
DepKind::new(DepKindDefs::asyncness as u16);
pub const is_promotable_const_fn: DepKind =
DepKind::new(DepKindDefs::is_promotable_const_fn as u16);
pub const coroutine_by_move_body_def_id: DepKind =
DepKind::new(DepKindDefs::coroutine_by_move_body_def_id as u16);
pub const coroutine_kind: DepKind =
DepKind::new(DepKindDefs::coroutine_kind as u16);
pub const coroutine_for_closure: DepKind =
DepKind::new(DepKindDefs::coroutine_for_closure as u16);
pub const coroutine_hidden_types: DepKind =
DepKind::new(DepKindDefs::coroutine_hidden_types as u16);
pub const crate_variances: DepKind =
DepKind::new(DepKindDefs::crate_variances as u16);
pub const variances_of: DepKind =
DepKind::new(DepKindDefs::variances_of as u16);
pub const inferred_outlives_crate: DepKind =
DepKind::new(DepKindDefs::inferred_outlives_crate as u16);
pub const associated_item_def_ids: DepKind =
DepKind::new(DepKindDefs::associated_item_def_ids as u16);
pub const associated_item: DepKind =
DepKind::new(DepKindDefs::associated_item as u16);
pub const associated_items: DepKind =
DepKind::new(DepKindDefs::associated_items as u16);
pub const impl_item_implementor_ids: DepKind =
DepKind::new(DepKindDefs::impl_item_implementor_ids as u16);
pub const associated_types_for_impl_traits_in_trait_or_impl: DepKind =
DepKind::new(DepKindDefs::associated_types_for_impl_traits_in_trait_or_impl
as u16);
pub const impl_trait_header: DepKind =
DepKind::new(DepKindDefs::impl_trait_header as u16);
pub const impl_self_is_guaranteed_unsized: DepKind =
DepKind::new(DepKindDefs::impl_self_is_guaranteed_unsized as u16);
pub const inherent_impls: DepKind =
DepKind::new(DepKindDefs::inherent_impls as u16);
pub const incoherent_impls: DepKind =
DepKind::new(DepKindDefs::incoherent_impls as u16);
pub const check_transmutes: DepKind =
DepKind::new(DepKindDefs::check_transmutes as u16);
pub const check_unsafety: DepKind =
DepKind::new(DepKindDefs::check_unsafety as u16);
pub const check_tail_calls: DepKind =
DepKind::new(DepKindDefs::check_tail_calls as u16);
pub const assumed_wf_types: DepKind =
DepKind::new(DepKindDefs::assumed_wf_types as u16);
pub const assumed_wf_types_for_rpitit: DepKind =
DepKind::new(DepKindDefs::assumed_wf_types_for_rpitit as u16);
pub const fn_sig: DepKind = DepKind::new(DepKindDefs::fn_sig as u16);
pub const lint_mod: DepKind = DepKind::new(DepKindDefs::lint_mod as u16);
pub const check_unused_traits: DepKind =
DepKind::new(DepKindDefs::check_unused_traits as u16);
pub const check_mod_attrs: DepKind =
DepKind::new(DepKindDefs::check_mod_attrs as u16);
pub const check_mod_unstable_api_usage: DepKind =
DepKind::new(DepKindDefs::check_mod_unstable_api_usage as u16);
pub const check_mod_privacy: DepKind =
DepKind::new(DepKindDefs::check_mod_privacy as u16);
pub const check_liveness: DepKind =
DepKind::new(DepKindDefs::check_liveness as u16);
pub const live_symbols_and_ignored_derived_traits: DepKind =
DepKind::new(DepKindDefs::live_symbols_and_ignored_derived_traits as
u16);
pub const check_mod_deathness: DepKind =
DepKind::new(DepKindDefs::check_mod_deathness as u16);
pub const check_type_wf: DepKind =
DepKind::new(DepKindDefs::check_type_wf as u16);
pub const coerce_unsized_info: DepKind =
DepKind::new(DepKindDefs::coerce_unsized_info as u16);
pub const typeck: DepKind = DepKind::new(DepKindDefs::typeck as u16);
pub const used_trait_imports: DepKind =
DepKind::new(DepKindDefs::used_trait_imports as u16);
pub const coherent_trait: DepKind =
DepKind::new(DepKindDefs::coherent_trait as u16);
pub const mir_borrowck: DepKind =
DepKind::new(DepKindDefs::mir_borrowck as u16);
pub const crate_inherent_impls: DepKind =
DepKind::new(DepKindDefs::crate_inherent_impls as u16);
pub const crate_inherent_impls_validity_check: DepKind =
DepKind::new(DepKindDefs::crate_inherent_impls_validity_check as u16);
pub const crate_inherent_impls_overlap_check: DepKind =
DepKind::new(DepKindDefs::crate_inherent_impls_overlap_check as u16);
pub const orphan_check_impl: DepKind =
DepKind::new(DepKindDefs::orphan_check_impl as u16);
pub const mir_callgraph_cyclic: DepKind =
DepKind::new(DepKindDefs::mir_callgraph_cyclic as u16);
pub const mir_inliner_callees: DepKind =
DepKind::new(DepKindDefs::mir_inliner_callees as u16);
pub const tag_for_variant: DepKind =
DepKind::new(DepKindDefs::tag_for_variant as u16);
pub const eval_to_allocation_raw: DepKind =
DepKind::new(DepKindDefs::eval_to_allocation_raw as u16);
pub const eval_static_initializer: DepKind =
DepKind::new(DepKindDefs::eval_static_initializer as u16);
pub const eval_to_const_value_raw: DepKind =
DepKind::new(DepKindDefs::eval_to_const_value_raw as u16);
pub const eval_to_valtree: DepKind =
DepKind::new(DepKindDefs::eval_to_valtree as u16);
pub const valtree_to_const_val: DepKind =
DepKind::new(DepKindDefs::valtree_to_const_val as u16);
pub const lit_to_const: DepKind =
DepKind::new(DepKindDefs::lit_to_const as u16);
pub const check_match: DepKind =
DepKind::new(DepKindDefs::check_match as u16);
pub const effective_visibilities: DepKind =
DepKind::new(DepKindDefs::effective_visibilities as u16);
pub const check_private_in_public: DepKind =
DepKind::new(DepKindDefs::check_private_in_public as u16);
pub const reachable_set: DepKind =
DepKind::new(DepKindDefs::reachable_set as u16);
pub const region_scope_tree: DepKind =
DepKind::new(DepKindDefs::region_scope_tree as u16);
pub const mir_shims: DepKind =
DepKind::new(DepKindDefs::mir_shims as u16);
pub const symbol_name: DepKind =
DepKind::new(DepKindDefs::symbol_name as u16);
pub const def_kind: DepKind = DepKind::new(DepKindDefs::def_kind as u16);
pub const def_span: DepKind = DepKind::new(DepKindDefs::def_span as u16);
pub const def_ident_span: DepKind =
DepKind::new(DepKindDefs::def_ident_span as u16);
pub const ty_span: DepKind = DepKind::new(DepKindDefs::ty_span as u16);
pub const lookup_stability: DepKind =
DepKind::new(DepKindDefs::lookup_stability as u16);
pub const lookup_const_stability: DepKind =
DepKind::new(DepKindDefs::lookup_const_stability as u16);
pub const lookup_default_body_stability: DepKind =
DepKind::new(DepKindDefs::lookup_default_body_stability as u16);
pub const should_inherit_track_caller: DepKind =
DepKind::new(DepKindDefs::should_inherit_track_caller as u16);
pub const inherited_align: DepKind =
DepKind::new(DepKindDefs::inherited_align as u16);
pub const lookup_deprecation_entry: DepKind =
DepKind::new(DepKindDefs::lookup_deprecation_entry as u16);
pub const is_doc_hidden: DepKind =
DepKind::new(DepKindDefs::is_doc_hidden as u16);
pub const is_doc_notable_trait: DepKind =
DepKind::new(DepKindDefs::is_doc_notable_trait as u16);
pub const attrs_for_def: DepKind =
DepKind::new(DepKindDefs::attrs_for_def as u16);
pub const codegen_fn_attrs: DepKind =
DepKind::new(DepKindDefs::codegen_fn_attrs as u16);
pub const asm_target_features: DepKind =
DepKind::new(DepKindDefs::asm_target_features as u16);
pub const fn_arg_idents: DepKind =
DepKind::new(DepKindDefs::fn_arg_idents as u16);
pub const rendered_const: DepKind =
DepKind::new(DepKindDefs::rendered_const as u16);
pub const rendered_precise_capturing_args: DepKind =
DepKind::new(DepKindDefs::rendered_precise_capturing_args as u16);
pub const impl_parent: DepKind =
DepKind::new(DepKindDefs::impl_parent as u16);
pub const is_ctfe_mir_available: DepKind =
DepKind::new(DepKindDefs::is_ctfe_mir_available as u16);
pub const is_mir_available: DepKind =
DepKind::new(DepKindDefs::is_mir_available as u16);
pub const own_existential_vtable_entries: DepKind =
DepKind::new(DepKindDefs::own_existential_vtable_entries as u16);
pub const vtable_entries: DepKind =
DepKind::new(DepKindDefs::vtable_entries as u16);
pub const first_method_vtable_slot: DepKind =
DepKind::new(DepKindDefs::first_method_vtable_slot as u16);
pub const supertrait_vtable_slot: DepKind =
DepKind::new(DepKindDefs::supertrait_vtable_slot as u16);
pub const vtable_allocation: DepKind =
DepKind::new(DepKindDefs::vtable_allocation as u16);
pub const codegen_select_candidate: DepKind =
DepKind::new(DepKindDefs::codegen_select_candidate as u16);
pub const all_local_trait_impls: DepKind =
DepKind::new(DepKindDefs::all_local_trait_impls as u16);
pub const local_trait_impls: DepKind =
DepKind::new(DepKindDefs::local_trait_impls as u16);
pub const trait_impls_of: DepKind =
DepKind::new(DepKindDefs::trait_impls_of as u16);
pub const specialization_graph_of: DepKind =
DepKind::new(DepKindDefs::specialization_graph_of as u16);
pub const dyn_compatibility_violations: DepKind =
DepKind::new(DepKindDefs::dyn_compatibility_violations as u16);
pub const is_dyn_compatible: DepKind =
DepKind::new(DepKindDefs::is_dyn_compatible as u16);
pub const param_env: DepKind =
DepKind::new(DepKindDefs::param_env as u16);
pub const typing_env_normalized_for_post_analysis: DepKind =
DepKind::new(DepKindDefs::typing_env_normalized_for_post_analysis as
u16);
pub const is_copy_raw: DepKind =
DepKind::new(DepKindDefs::is_copy_raw as u16);
pub const is_use_cloned_raw: DepKind =
DepKind::new(DepKindDefs::is_use_cloned_raw as u16);
pub const is_sized_raw: DepKind =
DepKind::new(DepKindDefs::is_sized_raw as u16);
pub const is_freeze_raw: DepKind =
DepKind::new(DepKindDefs::is_freeze_raw as u16);
pub const is_unpin_raw: DepKind =
DepKind::new(DepKindDefs::is_unpin_raw as u16);
pub const is_async_drop_raw: DepKind =
DepKind::new(DepKindDefs::is_async_drop_raw as u16);
pub const needs_drop_raw: DepKind =
DepKind::new(DepKindDefs::needs_drop_raw as u16);
pub const needs_async_drop_raw: DepKind =
DepKind::new(DepKindDefs::needs_async_drop_raw as u16);
pub const has_significant_drop_raw: DepKind =
DepKind::new(DepKindDefs::has_significant_drop_raw as u16);
pub const has_structural_eq_impl: DepKind =
DepKind::new(DepKindDefs::has_structural_eq_impl as u16);
pub const adt_drop_tys: DepKind =
DepKind::new(DepKindDefs::adt_drop_tys as u16);
pub const adt_async_drop_tys: DepKind =
DepKind::new(DepKindDefs::adt_async_drop_tys as u16);
pub const adt_significant_drop_tys: DepKind =
DepKind::new(DepKindDefs::adt_significant_drop_tys as u16);
pub const list_significant_drop_tys: DepKind =
DepKind::new(DepKindDefs::list_significant_drop_tys as u16);
pub const layout_of: DepKind =
DepKind::new(DepKindDefs::layout_of as u16);
pub const fn_abi_of_fn_ptr: DepKind =
DepKind::new(DepKindDefs::fn_abi_of_fn_ptr as u16);
pub const fn_abi_of_instance: DepKind =
DepKind::new(DepKindDefs::fn_abi_of_instance as u16);
pub const dylib_dependency_formats: DepKind =
DepKind::new(DepKindDefs::dylib_dependency_formats as u16);
pub const dependency_formats: DepKind =
DepKind::new(DepKindDefs::dependency_formats as u16);
pub const is_compiler_builtins: DepKind =
DepKind::new(DepKindDefs::is_compiler_builtins as u16);
pub const has_global_allocator: DepKind =
DepKind::new(DepKindDefs::has_global_allocator as u16);
pub const has_alloc_error_handler: DepKind =
DepKind::new(DepKindDefs::has_alloc_error_handler as u16);
pub const has_panic_handler: DepKind =
DepKind::new(DepKindDefs::has_panic_handler as u16);
pub const is_profiler_runtime: DepKind =
DepKind::new(DepKindDefs::is_profiler_runtime as u16);
pub const has_ffi_unwind_calls: DepKind =
DepKind::new(DepKindDefs::has_ffi_unwind_calls as u16);
pub const required_panic_strategy: DepKind =
DepKind::new(DepKindDefs::required_panic_strategy as u16);
pub const panic_in_drop_strategy: DepKind =
DepKind::new(DepKindDefs::panic_in_drop_strategy as u16);
pub const is_no_builtins: DepKind =
DepKind::new(DepKindDefs::is_no_builtins as u16);
pub const symbol_mangling_version: DepKind =
DepKind::new(DepKindDefs::symbol_mangling_version as u16);
pub const extern_crate: DepKind =
DepKind::new(DepKindDefs::extern_crate as u16);
pub const specialization_enabled_in: DepKind =
DepKind::new(DepKindDefs::specialization_enabled_in as u16);
pub const specializes: DepKind =
DepKind::new(DepKindDefs::specializes as u16);
pub const in_scope_traits_map: DepKind =
DepKind::new(DepKindDefs::in_scope_traits_map as u16);
pub const defaultness: DepKind =
DepKind::new(DepKindDefs::defaultness as u16);
pub const default_field: DepKind =
DepKind::new(DepKindDefs::default_field as u16);
pub const check_well_formed: DepKind =
DepKind::new(DepKindDefs::check_well_formed as u16);
pub const enforce_impl_non_lifetime_params_are_constrained: DepKind =
DepKind::new(DepKindDefs::enforce_impl_non_lifetime_params_are_constrained
as u16);
pub const reachable_non_generics: DepKind =
DepKind::new(DepKindDefs::reachable_non_generics as u16);
pub const is_reachable_non_generic: DepKind =
DepKind::new(DepKindDefs::is_reachable_non_generic as u16);
pub const is_unreachable_local_definition: DepKind =
DepKind::new(DepKindDefs::is_unreachable_local_definition as u16);
pub const upstream_monomorphizations: DepKind =
DepKind::new(DepKindDefs::upstream_monomorphizations as u16);
pub const upstream_monomorphizations_for: DepKind =
DepKind::new(DepKindDefs::upstream_monomorphizations_for as u16);
pub const upstream_drop_glue_for: DepKind =
DepKind::new(DepKindDefs::upstream_drop_glue_for as u16);
pub const upstream_async_drop_glue_for: DepKind =
DepKind::new(DepKindDefs::upstream_async_drop_glue_for as u16);
pub const foreign_modules: DepKind =
DepKind::new(DepKindDefs::foreign_modules as u16);
pub const clashing_extern_declarations: DepKind =
DepKind::new(DepKindDefs::clashing_extern_declarations as u16);
pub const entry_fn: DepKind = DepKind::new(DepKindDefs::entry_fn as u16);
pub const proc_macro_decls_static: DepKind =
DepKind::new(DepKindDefs::proc_macro_decls_static as u16);
pub const crate_hash: DepKind =
DepKind::new(DepKindDefs::crate_hash as u16);
pub const crate_host_hash: DepKind =
DepKind::new(DepKindDefs::crate_host_hash as u16);
pub const extra_filename: DepKind =
DepKind::new(DepKindDefs::extra_filename as u16);
pub const crate_extern_paths: DepKind =
DepKind::new(DepKindDefs::crate_extern_paths as u16);
pub const implementations_of_trait: DepKind =
DepKind::new(DepKindDefs::implementations_of_trait as u16);
pub const crate_incoherent_impls: DepKind =
DepKind::new(DepKindDefs::crate_incoherent_impls as u16);
pub const native_library: DepKind =
DepKind::new(DepKindDefs::native_library as u16);
pub const inherit_sig_for_delegation_item: DepKind =
DepKind::new(DepKindDefs::inherit_sig_for_delegation_item as u16);
pub const resolve_bound_vars: DepKind =
DepKind::new(DepKindDefs::resolve_bound_vars as u16);
pub const named_variable_map: DepKind =
DepKind::new(DepKindDefs::named_variable_map as u16);
pub const is_late_bound_map: DepKind =
DepKind::new(DepKindDefs::is_late_bound_map as u16);
pub const object_lifetime_default: DepKind =
DepKind::new(DepKindDefs::object_lifetime_default as u16);
pub const late_bound_vars_map: DepKind =
DepKind::new(DepKindDefs::late_bound_vars_map as u16);
pub const opaque_captured_lifetimes: DepKind =
DepKind::new(DepKindDefs::opaque_captured_lifetimes as u16);
pub const visibility: DepKind =
DepKind::new(DepKindDefs::visibility as u16);
pub const inhabited_predicate_adt: DepKind =
DepKind::new(DepKindDefs::inhabited_predicate_adt as u16);
pub const inhabited_predicate_type: DepKind =
DepKind::new(DepKindDefs::inhabited_predicate_type as u16);
pub const dep_kind: DepKind = DepKind::new(DepKindDefs::dep_kind as u16);
pub const crate_name: DepKind =
DepKind::new(DepKindDefs::crate_name as u16);
pub const module_children: DepKind =
DepKind::new(DepKindDefs::module_children as u16);
pub const num_extern_def_ids: DepKind =
DepKind::new(DepKindDefs::num_extern_def_ids as u16);
pub const lib_features: DepKind =
DepKind::new(DepKindDefs::lib_features as u16);
pub const stability_implications: DepKind =
DepKind::new(DepKindDefs::stability_implications as u16);
pub const intrinsic_raw: DepKind =
DepKind::new(DepKindDefs::intrinsic_raw as u16);
pub const get_lang_items: DepKind =
DepKind::new(DepKindDefs::get_lang_items as u16);
pub const all_diagnostic_items: DepKind =
DepKind::new(DepKindDefs::all_diagnostic_items as u16);
pub const defined_lang_items: DepKind =
DepKind::new(DepKindDefs::defined_lang_items as u16);
pub const diagnostic_items: DepKind =
DepKind::new(DepKindDefs::diagnostic_items as u16);
pub const missing_lang_items: DepKind =
DepKind::new(DepKindDefs::missing_lang_items as u16);
pub const visible_parent_map: DepKind =
DepKind::new(DepKindDefs::visible_parent_map as u16);
pub const trimmed_def_paths: DepKind =
DepKind::new(DepKindDefs::trimmed_def_paths as u16);
pub const missing_extern_crate_item: DepKind =
DepKind::new(DepKindDefs::missing_extern_crate_item as u16);
pub const used_crate_source: DepKind =
DepKind::new(DepKindDefs::used_crate_source as u16);
pub const debugger_visualizers: DepKind =
DepKind::new(DepKindDefs::debugger_visualizers as u16);
pub const postorder_cnums: DepKind =
DepKind::new(DepKindDefs::postorder_cnums as u16);
pub const is_private_dep: DepKind =
DepKind::new(DepKindDefs::is_private_dep as u16);
pub const allocator_kind: DepKind =
DepKind::new(DepKindDefs::allocator_kind as u16);
pub const alloc_error_handler_kind: DepKind =
DepKind::new(DepKindDefs::alloc_error_handler_kind as u16);
pub const upvars_mentioned: DepKind =
DepKind::new(DepKindDefs::upvars_mentioned as u16);
pub const crates: DepKind = DepKind::new(DepKindDefs::crates as u16);
pub const used_crates: DepKind =
DepKind::new(DepKindDefs::used_crates as u16);
pub const duplicate_crate_names: DepKind =
DepKind::new(DepKindDefs::duplicate_crate_names as u16);
pub const traits: DepKind = DepKind::new(DepKindDefs::traits as u16);
pub const trait_impls_in_crate: DepKind =
DepKind::new(DepKindDefs::trait_impls_in_crate as u16);
pub const stable_order_of_exportable_impls: DepKind =
DepKind::new(DepKindDefs::stable_order_of_exportable_impls as u16);
pub const exportable_items: DepKind =
DepKind::new(DepKindDefs::exportable_items as u16);
pub const exported_non_generic_symbols: DepKind =
DepKind::new(DepKindDefs::exported_non_generic_symbols as u16);
pub const exported_generic_symbols: DepKind =
DepKind::new(DepKindDefs::exported_generic_symbols as u16);
pub const collect_and_partition_mono_items: DepKind =
DepKind::new(DepKindDefs::collect_and_partition_mono_items as u16);
pub const is_codegened_item: DepKind =
DepKind::new(DepKindDefs::is_codegened_item as u16);
pub const codegen_unit: DepKind =
DepKind::new(DepKindDefs::codegen_unit as u16);
pub const backend_optimization_level: DepKind =
DepKind::new(DepKindDefs::backend_optimization_level as u16);
pub const output_filenames: DepKind =
DepKind::new(DepKindDefs::output_filenames as u16);
pub const normalize_canonicalized_projection: DepKind =
DepKind::new(DepKindDefs::normalize_canonicalized_projection as u16);
pub const normalize_canonicalized_free_alias: DepKind =
DepKind::new(DepKindDefs::normalize_canonicalized_free_alias as u16);
pub const normalize_canonicalized_inherent_projection: DepKind =
DepKind::new(DepKindDefs::normalize_canonicalized_inherent_projection
as u16);
pub const try_normalize_generic_arg_after_erasing_regions: DepKind =
DepKind::new(DepKindDefs::try_normalize_generic_arg_after_erasing_regions
as u16);
pub const implied_outlives_bounds: DepKind =
DepKind::new(DepKindDefs::implied_outlives_bounds as u16);
pub const dropck_outlives: DepKind =
DepKind::new(DepKindDefs::dropck_outlives as u16);
pub const evaluate_obligation: DepKind =
DepKind::new(DepKindDefs::evaluate_obligation as u16);
pub const type_op_ascribe_user_type: DepKind =
DepKind::new(DepKindDefs::type_op_ascribe_user_type as u16);
pub const type_op_prove_predicate: DepKind =
DepKind::new(DepKindDefs::type_op_prove_predicate as u16);
pub const type_op_normalize_ty: DepKind =
DepKind::new(DepKindDefs::type_op_normalize_ty as u16);
pub const type_op_normalize_clause: DepKind =
DepKind::new(DepKindDefs::type_op_normalize_clause as u16);
pub const type_op_normalize_poly_fn_sig: DepKind =
DepKind::new(DepKindDefs::type_op_normalize_poly_fn_sig as u16);
pub const type_op_normalize_fn_sig: DepKind =
DepKind::new(DepKindDefs::type_op_normalize_fn_sig as u16);
pub const instantiate_and_check_impossible_predicates: DepKind =
DepKind::new(DepKindDefs::instantiate_and_check_impossible_predicates
as u16);
pub const is_impossible_associated_item: DepKind =
DepKind::new(DepKindDefs::is_impossible_associated_item as u16);
pub const method_autoderef_steps: DepKind =
DepKind::new(DepKindDefs::method_autoderef_steps as u16);
pub const evaluate_root_goal_for_proof_tree_raw: DepKind =
DepKind::new(DepKindDefs::evaluate_root_goal_for_proof_tree_raw as
u16);
pub const rust_target_features: DepKind =
DepKind::new(DepKindDefs::rust_target_features as u16);
pub const implied_target_features: DepKind =
DepKind::new(DepKindDefs::implied_target_features as u16);
pub const features_query: DepKind =
DepKind::new(DepKindDefs::features_query as u16);
pub const crate_for_resolver: DepKind =
DepKind::new(DepKindDefs::crate_for_resolver as u16);
pub const resolve_instance_raw: DepKind =
DepKind::new(DepKindDefs::resolve_instance_raw as u16);
pub const reveal_opaque_types_in_bounds: DepKind =
DepKind::new(DepKindDefs::reveal_opaque_types_in_bounds as u16);
pub const limits: DepKind = DepKind::new(DepKindDefs::limits as u16);
pub const diagnostic_hir_wf_check: DepKind =
DepKind::new(DepKindDefs::diagnostic_hir_wf_check as u16);
pub const global_backend_features: DepKind =
DepKind::new(DepKindDefs::global_backend_features as u16);
pub const check_validity_requirement: DepKind =
DepKind::new(DepKindDefs::check_validity_requirement as u16);
pub const compare_impl_item: DepKind =
DepKind::new(DepKindDefs::compare_impl_item as u16);
pub const deduced_param_attrs: DepKind =
DepKind::new(DepKindDefs::deduced_param_attrs as u16);
pub const doc_link_resolutions: DepKind =
DepKind::new(DepKindDefs::doc_link_resolutions as u16);
pub const doc_link_traits_in_scope: DepKind =
DepKind::new(DepKindDefs::doc_link_traits_in_scope as u16);
pub const stripped_cfg_items: DepKind =
DepKind::new(DepKindDefs::stripped_cfg_items as u16);
pub const generics_require_sized_self: DepKind =
DepKind::new(DepKindDefs::generics_require_sized_self as u16);
pub const cross_crate_inlinable: DepKind =
DepKind::new(DepKindDefs::cross_crate_inlinable as u16);
pub const check_mono_item: DepKind =
DepKind::new(DepKindDefs::check_mono_item as u16);
pub const skip_move_check_fns: DepKind =
DepKind::new(DepKindDefs::skip_move_check_fns as u16);
pub const items_of_instance: DepKind =
DepKind::new(DepKindDefs::items_of_instance as u16);
pub const size_estimate: DepKind =
DepKind::new(DepKindDefs::size_estimate as u16);
pub const anon_const_kind: DepKind =
DepKind::new(DepKindDefs::anon_const_kind as u16);
pub const trivial_const: DepKind =
DepKind::new(DepKindDefs::trivial_const as u16);
pub const sanitizer_settings_for: DepKind =
DepKind::new(DepKindDefs::sanitizer_settings_for as u16);
pub const check_externally_implementable_items: DepKind =
DepKind::new(DepKindDefs::check_externally_implementable_items as
u16);
pub const externally_implementable_items: DepKind =
DepKind::new(DepKindDefs::externally_implementable_items as u16);
}
pub(crate) const DEP_KIND_VARIANTS: u16 =
{
let deps =
&[dep_kinds::Null, dep_kinds::Red, dep_kinds::SideEffect,
dep_kinds::AnonZeroDeps, dep_kinds::TraitSelect,
dep_kinds::CompileCodegenUnit, dep_kinds::CompileMonoItem,
dep_kinds::Metadata, dep_kinds::derive_macro_expansion,
dep_kinds::trigger_delayed_bug, dep_kinds::registered_tools,
dep_kinds::early_lint_checks, dep_kinds::env_var_os,
dep_kinds::resolutions,
dep_kinds::resolver_for_lowering_raw,
dep_kinds::source_span, dep_kinds::hir_crate,
dep_kinds::hir_crate_items, dep_kinds::hir_module_items,
dep_kinds::local_def_id_to_hir_id,
dep_kinds::hir_owner_parent, dep_kinds::opt_hir_owner_nodes,
dep_kinds::hir_attr_map,
dep_kinds::opt_ast_lowering_delayed_lints,
dep_kinds::const_param_default, dep_kinds::const_of_item,
dep_kinds::type_of, dep_kinds::type_of_opaque,
dep_kinds::type_of_opaque_hir_typeck,
dep_kinds::type_alias_is_lazy,
dep_kinds::collect_return_position_impl_trait_in_trait_tys,
dep_kinds::opaque_ty_origin,
dep_kinds::unsizing_params_for_adt, dep_kinds::analysis,
dep_kinds::check_expectations, dep_kinds::generics_of,
dep_kinds::predicates_of,
dep_kinds::opaque_types_defined_by,
dep_kinds::nested_bodies_within,
dep_kinds::explicit_item_bounds,
dep_kinds::explicit_item_self_bounds,
dep_kinds::item_bounds, dep_kinds::item_self_bounds,
dep_kinds::item_non_self_bounds,
dep_kinds::impl_super_outlives, dep_kinds::native_libraries,
dep_kinds::shallow_lint_levels_on,
dep_kinds::lint_expectations,
dep_kinds::lints_that_dont_need_to_run,
dep_kinds::expn_that_defined, dep_kinds::is_panic_runtime,
dep_kinds::representability,
dep_kinds::representability_adt_ty,
dep_kinds::params_in_repr, dep_kinds::thir_body,
dep_kinds::mir_keys, dep_kinds::mir_const_qualif,
dep_kinds::mir_built, dep_kinds::thir_abstract_const,
dep_kinds::mir_drops_elaborated_and_const_checked,
dep_kinds::mir_for_ctfe, dep_kinds::mir_promoted,
dep_kinds::closure_typeinfo,
dep_kinds::closure_saved_names_of_captured_variables,
dep_kinds::mir_coroutine_witnesses,
dep_kinds::check_coroutine_obligations,
dep_kinds::check_potentially_region_dependent_goals,
dep_kinds::optimized_mir, dep_kinds::coverage_attr_on,
dep_kinds::coverage_ids_info, dep_kinds::promoted_mir,
dep_kinds::erase_and_anonymize_regions_ty,
dep_kinds::wasm_import_module_map,
dep_kinds::trait_explicit_predicates_and_bounds,
dep_kinds::explicit_predicates_of,
dep_kinds::inferred_outlives_of,
dep_kinds::explicit_super_predicates_of,
dep_kinds::explicit_implied_predicates_of,
dep_kinds::explicit_supertraits_containing_assoc_item,
dep_kinds::const_conditions,
dep_kinds::explicit_implied_const_bounds,
dep_kinds::type_param_predicates, dep_kinds::trait_def,
dep_kinds::adt_def, dep_kinds::adt_destructor,
dep_kinds::adt_async_destructor,
dep_kinds::adt_sizedness_constraint,
dep_kinds::adt_dtorck_constraint, dep_kinds::constness,
dep_kinds::asyncness, dep_kinds::is_promotable_const_fn,
dep_kinds::coroutine_by_move_body_def_id,
dep_kinds::coroutine_kind, dep_kinds::coroutine_for_closure,
dep_kinds::coroutine_hidden_types,
dep_kinds::crate_variances, dep_kinds::variances_of,
dep_kinds::inferred_outlives_crate,
dep_kinds::associated_item_def_ids,
dep_kinds::associated_item, dep_kinds::associated_items,
dep_kinds::impl_item_implementor_ids,
dep_kinds::associated_types_for_impl_traits_in_trait_or_impl,
dep_kinds::impl_trait_header,
dep_kinds::impl_self_is_guaranteed_unsized,
dep_kinds::inherent_impls, dep_kinds::incoherent_impls,
dep_kinds::check_transmutes, dep_kinds::check_unsafety,
dep_kinds::check_tail_calls, dep_kinds::assumed_wf_types,
dep_kinds::assumed_wf_types_for_rpitit, dep_kinds::fn_sig,
dep_kinds::lint_mod, dep_kinds::check_unused_traits,
dep_kinds::check_mod_attrs,
dep_kinds::check_mod_unstable_api_usage,
dep_kinds::check_mod_privacy, dep_kinds::check_liveness,
dep_kinds::live_symbols_and_ignored_derived_traits,
dep_kinds::check_mod_deathness, dep_kinds::check_type_wf,
dep_kinds::coerce_unsized_info, dep_kinds::typeck,
dep_kinds::used_trait_imports, dep_kinds::coherent_trait,
dep_kinds::mir_borrowck, dep_kinds::crate_inherent_impls,
dep_kinds::crate_inherent_impls_validity_check,
dep_kinds::crate_inherent_impls_overlap_check,
dep_kinds::orphan_check_impl,
dep_kinds::mir_callgraph_cyclic,
dep_kinds::mir_inliner_callees, dep_kinds::tag_for_variant,
dep_kinds::eval_to_allocation_raw,
dep_kinds::eval_static_initializer,
dep_kinds::eval_to_const_value_raw,
dep_kinds::eval_to_valtree, dep_kinds::valtree_to_const_val,
dep_kinds::lit_to_const, dep_kinds::check_match,
dep_kinds::effective_visibilities,
dep_kinds::check_private_in_public,
dep_kinds::reachable_set, dep_kinds::region_scope_tree,
dep_kinds::mir_shims, dep_kinds::symbol_name,
dep_kinds::def_kind, dep_kinds::def_span,
dep_kinds::def_ident_span, dep_kinds::ty_span,
dep_kinds::lookup_stability,
dep_kinds::lookup_const_stability,
dep_kinds::lookup_default_body_stability,
dep_kinds::should_inherit_track_caller,
dep_kinds::inherited_align,
dep_kinds::lookup_deprecation_entry,
dep_kinds::is_doc_hidden, dep_kinds::is_doc_notable_trait,
dep_kinds::attrs_for_def, dep_kinds::codegen_fn_attrs,
dep_kinds::asm_target_features, dep_kinds::fn_arg_idents,
dep_kinds::rendered_const,
dep_kinds::rendered_precise_capturing_args,
dep_kinds::impl_parent, dep_kinds::is_ctfe_mir_available,
dep_kinds::is_mir_available,
dep_kinds::own_existential_vtable_entries,
dep_kinds::vtable_entries,
dep_kinds::first_method_vtable_slot,
dep_kinds::supertrait_vtable_slot,
dep_kinds::vtable_allocation,
dep_kinds::codegen_select_candidate,
dep_kinds::all_local_trait_impls,
dep_kinds::local_trait_impls, dep_kinds::trait_impls_of,
dep_kinds::specialization_graph_of,
dep_kinds::dyn_compatibility_violations,
dep_kinds::is_dyn_compatible, dep_kinds::param_env,
dep_kinds::typing_env_normalized_for_post_analysis,
dep_kinds::is_copy_raw, dep_kinds::is_use_cloned_raw,
dep_kinds::is_sized_raw, dep_kinds::is_freeze_raw,
dep_kinds::is_unpin_raw, dep_kinds::is_async_drop_raw,
dep_kinds::needs_drop_raw, dep_kinds::needs_async_drop_raw,
dep_kinds::has_significant_drop_raw,
dep_kinds::has_structural_eq_impl, dep_kinds::adt_drop_tys,
dep_kinds::adt_async_drop_tys,
dep_kinds::adt_significant_drop_tys,
dep_kinds::list_significant_drop_tys, dep_kinds::layout_of,
dep_kinds::fn_abi_of_fn_ptr, dep_kinds::fn_abi_of_instance,
dep_kinds::dylib_dependency_formats,
dep_kinds::dependency_formats,
dep_kinds::is_compiler_builtins,
dep_kinds::has_global_allocator,
dep_kinds::has_alloc_error_handler,
dep_kinds::has_panic_handler,
dep_kinds::is_profiler_runtime,
dep_kinds::has_ffi_unwind_calls,
dep_kinds::required_panic_strategy,
dep_kinds::panic_in_drop_strategy,
dep_kinds::is_no_builtins,
dep_kinds::symbol_mangling_version, dep_kinds::extern_crate,
dep_kinds::specialization_enabled_in,
dep_kinds::specializes, dep_kinds::in_scope_traits_map,
dep_kinds::defaultness, dep_kinds::default_field,
dep_kinds::check_well_formed,
dep_kinds::enforce_impl_non_lifetime_params_are_constrained,
dep_kinds::reachable_non_generics,
dep_kinds::is_reachable_non_generic,
dep_kinds::is_unreachable_local_definition,
dep_kinds::upstream_monomorphizations,
dep_kinds::upstream_monomorphizations_for,
dep_kinds::upstream_drop_glue_for,
dep_kinds::upstream_async_drop_glue_for,
dep_kinds::foreign_modules,
dep_kinds::clashing_extern_declarations,
dep_kinds::entry_fn, dep_kinds::proc_macro_decls_static,
dep_kinds::crate_hash, dep_kinds::crate_host_hash,
dep_kinds::extra_filename, dep_kinds::crate_extern_paths,
dep_kinds::implementations_of_trait,
dep_kinds::crate_incoherent_impls,
dep_kinds::native_library,
dep_kinds::inherit_sig_for_delegation_item,
dep_kinds::resolve_bound_vars,
dep_kinds::named_variable_map, dep_kinds::is_late_bound_map,
dep_kinds::object_lifetime_default,
dep_kinds::late_bound_vars_map,
dep_kinds::opaque_captured_lifetimes, dep_kinds::visibility,
dep_kinds::inhabited_predicate_adt,
dep_kinds::inhabited_predicate_type, dep_kinds::dep_kind,
dep_kinds::crate_name, dep_kinds::module_children,
dep_kinds::num_extern_def_ids, dep_kinds::lib_features,
dep_kinds::stability_implications, dep_kinds::intrinsic_raw,
dep_kinds::get_lang_items, dep_kinds::all_diagnostic_items,
dep_kinds::defined_lang_items, dep_kinds::diagnostic_items,
dep_kinds::missing_lang_items,
dep_kinds::visible_parent_map, dep_kinds::trimmed_def_paths,
dep_kinds::missing_extern_crate_item,
dep_kinds::used_crate_source,
dep_kinds::debugger_visualizers, dep_kinds::postorder_cnums,
dep_kinds::is_private_dep, dep_kinds::allocator_kind,
dep_kinds::alloc_error_handler_kind,
dep_kinds::upvars_mentioned, dep_kinds::crates,
dep_kinds::used_crates, dep_kinds::duplicate_crate_names,
dep_kinds::traits, dep_kinds::trait_impls_in_crate,
dep_kinds::stable_order_of_exportable_impls,
dep_kinds::exportable_items,
dep_kinds::exported_non_generic_symbols,
dep_kinds::exported_generic_symbols,
dep_kinds::collect_and_partition_mono_items,
dep_kinds::is_codegened_item, dep_kinds::codegen_unit,
dep_kinds::backend_optimization_level,
dep_kinds::output_filenames,
dep_kinds::normalize_canonicalized_projection,
dep_kinds::normalize_canonicalized_free_alias,
dep_kinds::normalize_canonicalized_inherent_projection,
dep_kinds::try_normalize_generic_arg_after_erasing_regions,
dep_kinds::implied_outlives_bounds,
dep_kinds::dropck_outlives, dep_kinds::evaluate_obligation,
dep_kinds::type_op_ascribe_user_type,
dep_kinds::type_op_prove_predicate,
dep_kinds::type_op_normalize_ty,
dep_kinds::type_op_normalize_clause,
dep_kinds::type_op_normalize_poly_fn_sig,
dep_kinds::type_op_normalize_fn_sig,
dep_kinds::instantiate_and_check_impossible_predicates,
dep_kinds::is_impossible_associated_item,
dep_kinds::method_autoderef_steps,
dep_kinds::evaluate_root_goal_for_proof_tree_raw,
dep_kinds::rust_target_features,
dep_kinds::implied_target_features,
dep_kinds::features_query, dep_kinds::crate_for_resolver,
dep_kinds::resolve_instance_raw,
dep_kinds::reveal_opaque_types_in_bounds, dep_kinds::limits,
dep_kinds::diagnostic_hir_wf_check,
dep_kinds::global_backend_features,
dep_kinds::check_validity_requirement,
dep_kinds::compare_impl_item,
dep_kinds::deduced_param_attrs,
dep_kinds::doc_link_resolutions,
dep_kinds::doc_link_traits_in_scope,
dep_kinds::stripped_cfg_items,
dep_kinds::generics_require_sized_self,
dep_kinds::cross_crate_inlinable,
dep_kinds::check_mono_item, dep_kinds::skip_move_check_fns,
dep_kinds::items_of_instance, dep_kinds::size_estimate,
dep_kinds::anon_const_kind, dep_kinds::trivial_const,
dep_kinds::sanitizer_settings_for,
dep_kinds::check_externally_implementable_items,
dep_kinds::externally_implementable_items];
let mut i = 0;
while i < deps.len() {
if i != deps[i].as_usize() {
::core::panicking::panic("explicit panic");
}
i += 1;
}
deps.len() as u16
};
pub(super) fn dep_kind_from_label_string(label: &str) -> Result<DepKind, ()> {
match label {
"Null" => Ok(dep_kinds::Null),
"Red" => Ok(dep_kinds::Red),
"SideEffect" => Ok(dep_kinds::SideEffect),
"AnonZeroDeps" => Ok(dep_kinds::AnonZeroDeps),
"TraitSelect" => Ok(dep_kinds::TraitSelect),
"CompileCodegenUnit" => Ok(dep_kinds::CompileCodegenUnit),
"CompileMonoItem" => Ok(dep_kinds::CompileMonoItem),
"Metadata" => Ok(dep_kinds::Metadata),
"derive_macro_expansion" => Ok(dep_kinds::derive_macro_expansion),
"trigger_delayed_bug" => Ok(dep_kinds::trigger_delayed_bug),
"registered_tools" => Ok(dep_kinds::registered_tools),
"early_lint_checks" => Ok(dep_kinds::early_lint_checks),
"env_var_os" => Ok(dep_kinds::env_var_os),
"resolutions" => Ok(dep_kinds::resolutions),
"resolver_for_lowering_raw" =>
Ok(dep_kinds::resolver_for_lowering_raw),
"source_span" => Ok(dep_kinds::source_span),
"hir_crate" => Ok(dep_kinds::hir_crate),
"hir_crate_items" => Ok(dep_kinds::hir_crate_items),
"hir_module_items" => Ok(dep_kinds::hir_module_items),
"local_def_id_to_hir_id" => Ok(dep_kinds::local_def_id_to_hir_id),
"hir_owner_parent" => Ok(dep_kinds::hir_owner_parent),
"opt_hir_owner_nodes" => Ok(dep_kinds::opt_hir_owner_nodes),
"hir_attr_map" => Ok(dep_kinds::hir_attr_map),
"opt_ast_lowering_delayed_lints" =>
Ok(dep_kinds::opt_ast_lowering_delayed_lints),
"const_param_default" => Ok(dep_kinds::const_param_default),
"const_of_item" => Ok(dep_kinds::const_of_item),
"type_of" => Ok(dep_kinds::type_of),
"type_of_opaque" => Ok(dep_kinds::type_of_opaque),
"type_of_opaque_hir_typeck" =>
Ok(dep_kinds::type_of_opaque_hir_typeck),
"type_alias_is_lazy" => Ok(dep_kinds::type_alias_is_lazy),
"collect_return_position_impl_trait_in_trait_tys" =>
Ok(dep_kinds::collect_return_position_impl_trait_in_trait_tys),
"opaque_ty_origin" => Ok(dep_kinds::opaque_ty_origin),
"unsizing_params_for_adt" => Ok(dep_kinds::unsizing_params_for_adt),
"analysis" => Ok(dep_kinds::analysis),
"check_expectations" => Ok(dep_kinds::check_expectations),
"generics_of" => Ok(dep_kinds::generics_of),
"predicates_of" => Ok(dep_kinds::predicates_of),
"opaque_types_defined_by" => Ok(dep_kinds::opaque_types_defined_by),
"nested_bodies_within" => Ok(dep_kinds::nested_bodies_within),
"explicit_item_bounds" => Ok(dep_kinds::explicit_item_bounds),
"explicit_item_self_bounds" =>
Ok(dep_kinds::explicit_item_self_bounds),
"item_bounds" => Ok(dep_kinds::item_bounds),
"item_self_bounds" => Ok(dep_kinds::item_self_bounds),
"item_non_self_bounds" => Ok(dep_kinds::item_non_self_bounds),
"impl_super_outlives" => Ok(dep_kinds::impl_super_outlives),
"native_libraries" => Ok(dep_kinds::native_libraries),
"shallow_lint_levels_on" => Ok(dep_kinds::shallow_lint_levels_on),
"lint_expectations" => Ok(dep_kinds::lint_expectations),
"lints_that_dont_need_to_run" =>
Ok(dep_kinds::lints_that_dont_need_to_run),
"expn_that_defined" => Ok(dep_kinds::expn_that_defined),
"is_panic_runtime" => Ok(dep_kinds::is_panic_runtime),
"representability" => Ok(dep_kinds::representability),
"representability_adt_ty" => Ok(dep_kinds::representability_adt_ty),
"params_in_repr" => Ok(dep_kinds::params_in_repr),
"thir_body" => Ok(dep_kinds::thir_body),
"mir_keys" => Ok(dep_kinds::mir_keys),
"mir_const_qualif" => Ok(dep_kinds::mir_const_qualif),
"mir_built" => Ok(dep_kinds::mir_built),
"thir_abstract_const" => Ok(dep_kinds::thir_abstract_const),
"mir_drops_elaborated_and_const_checked" =>
Ok(dep_kinds::mir_drops_elaborated_and_const_checked),
"mir_for_ctfe" => Ok(dep_kinds::mir_for_ctfe),
"mir_promoted" => Ok(dep_kinds::mir_promoted),
"closure_typeinfo" => Ok(dep_kinds::closure_typeinfo),
"closure_saved_names_of_captured_variables" =>
Ok(dep_kinds::closure_saved_names_of_captured_variables),
"mir_coroutine_witnesses" => Ok(dep_kinds::mir_coroutine_witnesses),
"check_coroutine_obligations" =>
Ok(dep_kinds::check_coroutine_obligations),
"check_potentially_region_dependent_goals" =>
Ok(dep_kinds::check_potentially_region_dependent_goals),
"optimized_mir" => Ok(dep_kinds::optimized_mir),
"coverage_attr_on" => Ok(dep_kinds::coverage_attr_on),
"coverage_ids_info" => Ok(dep_kinds::coverage_ids_info),
"promoted_mir" => Ok(dep_kinds::promoted_mir),
"erase_and_anonymize_regions_ty" =>
Ok(dep_kinds::erase_and_anonymize_regions_ty),
"wasm_import_module_map" => Ok(dep_kinds::wasm_import_module_map),
"trait_explicit_predicates_and_bounds" =>
Ok(dep_kinds::trait_explicit_predicates_and_bounds),
"explicit_predicates_of" => Ok(dep_kinds::explicit_predicates_of),
"inferred_outlives_of" => Ok(dep_kinds::inferred_outlives_of),
"explicit_super_predicates_of" =>
Ok(dep_kinds::explicit_super_predicates_of),
"explicit_implied_predicates_of" =>
Ok(dep_kinds::explicit_implied_predicates_of),
"explicit_supertraits_containing_assoc_item" =>
Ok(dep_kinds::explicit_supertraits_containing_assoc_item),
"const_conditions" => Ok(dep_kinds::const_conditions),
"explicit_implied_const_bounds" =>
Ok(dep_kinds::explicit_implied_const_bounds),
"type_param_predicates" => Ok(dep_kinds::type_param_predicates),
"trait_def" => Ok(dep_kinds::trait_def),
"adt_def" => Ok(dep_kinds::adt_def),
"adt_destructor" => Ok(dep_kinds::adt_destructor),
"adt_async_destructor" => Ok(dep_kinds::adt_async_destructor),
"adt_sizedness_constraint" => Ok(dep_kinds::adt_sizedness_constraint),
"adt_dtorck_constraint" => Ok(dep_kinds::adt_dtorck_constraint),
"constness" => Ok(dep_kinds::constness),
"asyncness" => Ok(dep_kinds::asyncness),
"is_promotable_const_fn" => Ok(dep_kinds::is_promotable_const_fn),
"coroutine_by_move_body_def_id" =>
Ok(dep_kinds::coroutine_by_move_body_def_id),
"coroutine_kind" => Ok(dep_kinds::coroutine_kind),
"coroutine_for_closure" => Ok(dep_kinds::coroutine_for_closure),
"coroutine_hidden_types" => Ok(dep_kinds::coroutine_hidden_types),
"crate_variances" => Ok(dep_kinds::crate_variances),
"variances_of" => Ok(dep_kinds::variances_of),
"inferred_outlives_crate" => Ok(dep_kinds::inferred_outlives_crate),
"associated_item_def_ids" => Ok(dep_kinds::associated_item_def_ids),
"associated_item" => Ok(dep_kinds::associated_item),
"associated_items" => Ok(dep_kinds::associated_items),
"impl_item_implementor_ids" =>
Ok(dep_kinds::impl_item_implementor_ids),
"associated_types_for_impl_traits_in_trait_or_impl" =>
Ok(dep_kinds::associated_types_for_impl_traits_in_trait_or_impl),
"impl_trait_header" => Ok(dep_kinds::impl_trait_header),
"impl_self_is_guaranteed_unsized" =>
Ok(dep_kinds::impl_self_is_guaranteed_unsized),
"inherent_impls" => Ok(dep_kinds::inherent_impls),
"incoherent_impls" => Ok(dep_kinds::incoherent_impls),
"check_transmutes" => Ok(dep_kinds::check_transmutes),
"check_unsafety" => Ok(dep_kinds::check_unsafety),
"check_tail_calls" => Ok(dep_kinds::check_tail_calls),
"assumed_wf_types" => Ok(dep_kinds::assumed_wf_types),
"assumed_wf_types_for_rpitit" =>
Ok(dep_kinds::assumed_wf_types_for_rpitit),
"fn_sig" => Ok(dep_kinds::fn_sig),
"lint_mod" => Ok(dep_kinds::lint_mod),
"check_unused_traits" => Ok(dep_kinds::check_unused_traits),
"check_mod_attrs" => Ok(dep_kinds::check_mod_attrs),
"check_mod_unstable_api_usage" =>
Ok(dep_kinds::check_mod_unstable_api_usage),
"check_mod_privacy" => Ok(dep_kinds::check_mod_privacy),
"check_liveness" => Ok(dep_kinds::check_liveness),
"live_symbols_and_ignored_derived_traits" =>
Ok(dep_kinds::live_symbols_and_ignored_derived_traits),
"check_mod_deathness" => Ok(dep_kinds::check_mod_deathness),
"check_type_wf" => Ok(dep_kinds::check_type_wf),
"coerce_unsized_info" => Ok(dep_kinds::coerce_unsized_info),
"typeck" => Ok(dep_kinds::typeck),
"used_trait_imports" => Ok(dep_kinds::used_trait_imports),
"coherent_trait" => Ok(dep_kinds::coherent_trait),
"mir_borrowck" => Ok(dep_kinds::mir_borrowck),
"crate_inherent_impls" => Ok(dep_kinds::crate_inherent_impls),
"crate_inherent_impls_validity_check" =>
Ok(dep_kinds::crate_inherent_impls_validity_check),
"crate_inherent_impls_overlap_check" =>
Ok(dep_kinds::crate_inherent_impls_overlap_check),
"orphan_check_impl" => Ok(dep_kinds::orphan_check_impl),
"mir_callgraph_cyclic" => Ok(dep_kinds::mir_callgraph_cyclic),
"mir_inliner_callees" => Ok(dep_kinds::mir_inliner_callees),
"tag_for_variant" => Ok(dep_kinds::tag_for_variant),
"eval_to_allocation_raw" => Ok(dep_kinds::eval_to_allocation_raw),
"eval_static_initializer" => Ok(dep_kinds::eval_static_initializer),
"eval_to_const_value_raw" => Ok(dep_kinds::eval_to_const_value_raw),
"eval_to_valtree" => Ok(dep_kinds::eval_to_valtree),
"valtree_to_const_val" => Ok(dep_kinds::valtree_to_const_val),
"lit_to_const" => Ok(dep_kinds::lit_to_const),
"check_match" => Ok(dep_kinds::check_match),
"effective_visibilities" => Ok(dep_kinds::effective_visibilities),
"check_private_in_public" => Ok(dep_kinds::check_private_in_public),
"reachable_set" => Ok(dep_kinds::reachable_set),
"region_scope_tree" => Ok(dep_kinds::region_scope_tree),
"mir_shims" => Ok(dep_kinds::mir_shims),
"symbol_name" => Ok(dep_kinds::symbol_name),
"def_kind" => Ok(dep_kinds::def_kind),
"def_span" => Ok(dep_kinds::def_span),
"def_ident_span" => Ok(dep_kinds::def_ident_span),
"ty_span" => Ok(dep_kinds::ty_span),
"lookup_stability" => Ok(dep_kinds::lookup_stability),
"lookup_const_stability" => Ok(dep_kinds::lookup_const_stability),
"lookup_default_body_stability" =>
Ok(dep_kinds::lookup_default_body_stability),
"should_inherit_track_caller" =>
Ok(dep_kinds::should_inherit_track_caller),
"inherited_align" => Ok(dep_kinds::inherited_align),
"lookup_deprecation_entry" => Ok(dep_kinds::lookup_deprecation_entry),
"is_doc_hidden" => Ok(dep_kinds::is_doc_hidden),
"is_doc_notable_trait" => Ok(dep_kinds::is_doc_notable_trait),
"attrs_for_def" => Ok(dep_kinds::attrs_for_def),
"codegen_fn_attrs" => Ok(dep_kinds::codegen_fn_attrs),
"asm_target_features" => Ok(dep_kinds::asm_target_features),
"fn_arg_idents" => Ok(dep_kinds::fn_arg_idents),
"rendered_const" => Ok(dep_kinds::rendered_const),
"rendered_precise_capturing_args" =>
Ok(dep_kinds::rendered_precise_capturing_args),
"impl_parent" => Ok(dep_kinds::impl_parent),
"is_ctfe_mir_available" => Ok(dep_kinds::is_ctfe_mir_available),
"is_mir_available" => Ok(dep_kinds::is_mir_available),
"own_existential_vtable_entries" =>
Ok(dep_kinds::own_existential_vtable_entries),
"vtable_entries" => Ok(dep_kinds::vtable_entries),
"first_method_vtable_slot" => Ok(dep_kinds::first_method_vtable_slot),
"supertrait_vtable_slot" => Ok(dep_kinds::supertrait_vtable_slot),
"vtable_allocation" => Ok(dep_kinds::vtable_allocation),
"codegen_select_candidate" => Ok(dep_kinds::codegen_select_candidate),
"all_local_trait_impls" => Ok(dep_kinds::all_local_trait_impls),
"local_trait_impls" => Ok(dep_kinds::local_trait_impls),
"trait_impls_of" => Ok(dep_kinds::trait_impls_of),
"specialization_graph_of" => Ok(dep_kinds::specialization_graph_of),
"dyn_compatibility_violations" =>
Ok(dep_kinds::dyn_compatibility_violations),
"is_dyn_compatible" => Ok(dep_kinds::is_dyn_compatible),
"param_env" => Ok(dep_kinds::param_env),
"typing_env_normalized_for_post_analysis" =>
Ok(dep_kinds::typing_env_normalized_for_post_analysis),
"is_copy_raw" => Ok(dep_kinds::is_copy_raw),
"is_use_cloned_raw" => Ok(dep_kinds::is_use_cloned_raw),
"is_sized_raw" => Ok(dep_kinds::is_sized_raw),
"is_freeze_raw" => Ok(dep_kinds::is_freeze_raw),
"is_unpin_raw" => Ok(dep_kinds::is_unpin_raw),
"is_async_drop_raw" => Ok(dep_kinds::is_async_drop_raw),
"needs_drop_raw" => Ok(dep_kinds::needs_drop_raw),
"needs_async_drop_raw" => Ok(dep_kinds::needs_async_drop_raw),
"has_significant_drop_raw" => Ok(dep_kinds::has_significant_drop_raw),
"has_structural_eq_impl" => Ok(dep_kinds::has_structural_eq_impl),
"adt_drop_tys" => Ok(dep_kinds::adt_drop_tys),
"adt_async_drop_tys" => Ok(dep_kinds::adt_async_drop_tys),
"adt_significant_drop_tys" => Ok(dep_kinds::adt_significant_drop_tys),
"list_significant_drop_tys" =>
Ok(dep_kinds::list_significant_drop_tys),
"layout_of" => Ok(dep_kinds::layout_of),
"fn_abi_of_fn_ptr" => Ok(dep_kinds::fn_abi_of_fn_ptr),
"fn_abi_of_instance" => Ok(dep_kinds::fn_abi_of_instance),
"dylib_dependency_formats" => Ok(dep_kinds::dylib_dependency_formats),
"dependency_formats" => Ok(dep_kinds::dependency_formats),
"is_compiler_builtins" => Ok(dep_kinds::is_compiler_builtins),
"has_global_allocator" => Ok(dep_kinds::has_global_allocator),
"has_alloc_error_handler" => Ok(dep_kinds::has_alloc_error_handler),
"has_panic_handler" => Ok(dep_kinds::has_panic_handler),
"is_profiler_runtime" => Ok(dep_kinds::is_profiler_runtime),
"has_ffi_unwind_calls" => Ok(dep_kinds::has_ffi_unwind_calls),
"required_panic_strategy" => Ok(dep_kinds::required_panic_strategy),
"panic_in_drop_strategy" => Ok(dep_kinds::panic_in_drop_strategy),
"is_no_builtins" => Ok(dep_kinds::is_no_builtins),
"symbol_mangling_version" => Ok(dep_kinds::symbol_mangling_version),
"extern_crate" => Ok(dep_kinds::extern_crate),
"specialization_enabled_in" =>
Ok(dep_kinds::specialization_enabled_in),
"specializes" => Ok(dep_kinds::specializes),
"in_scope_traits_map" => Ok(dep_kinds::in_scope_traits_map),
"defaultness" => Ok(dep_kinds::defaultness),
"default_field" => Ok(dep_kinds::default_field),
"check_well_formed" => Ok(dep_kinds::check_well_formed),
"enforce_impl_non_lifetime_params_are_constrained" =>
Ok(dep_kinds::enforce_impl_non_lifetime_params_are_constrained),
"reachable_non_generics" => Ok(dep_kinds::reachable_non_generics),
"is_reachable_non_generic" => Ok(dep_kinds::is_reachable_non_generic),
"is_unreachable_local_definition" =>
Ok(dep_kinds::is_unreachable_local_definition),
"upstream_monomorphizations" =>
Ok(dep_kinds::upstream_monomorphizations),
"upstream_monomorphizations_for" =>
Ok(dep_kinds::upstream_monomorphizations_for),
"upstream_drop_glue_for" => Ok(dep_kinds::upstream_drop_glue_for),
"upstream_async_drop_glue_for" =>
Ok(dep_kinds::upstream_async_drop_glue_for),
"foreign_modules" => Ok(dep_kinds::foreign_modules),
"clashing_extern_declarations" =>
Ok(dep_kinds::clashing_extern_declarations),
"entry_fn" => Ok(dep_kinds::entry_fn),
"proc_macro_decls_static" => Ok(dep_kinds::proc_macro_decls_static),
"crate_hash" => Ok(dep_kinds::crate_hash),
"crate_host_hash" => Ok(dep_kinds::crate_host_hash),
"extra_filename" => Ok(dep_kinds::extra_filename),
"crate_extern_paths" => Ok(dep_kinds::crate_extern_paths),
"implementations_of_trait" => Ok(dep_kinds::implementations_of_trait),
"crate_incoherent_impls" => Ok(dep_kinds::crate_incoherent_impls),
"native_library" => Ok(dep_kinds::native_library),
"inherit_sig_for_delegation_item" =>
Ok(dep_kinds::inherit_sig_for_delegation_item),
"resolve_bound_vars" => Ok(dep_kinds::resolve_bound_vars),
"named_variable_map" => Ok(dep_kinds::named_variable_map),
"is_late_bound_map" => Ok(dep_kinds::is_late_bound_map),
"object_lifetime_default" => Ok(dep_kinds::object_lifetime_default),
"late_bound_vars_map" => Ok(dep_kinds::late_bound_vars_map),
"opaque_captured_lifetimes" =>
Ok(dep_kinds::opaque_captured_lifetimes),
"visibility" => Ok(dep_kinds::visibility),
"inhabited_predicate_adt" => Ok(dep_kinds::inhabited_predicate_adt),
"inhabited_predicate_type" => Ok(dep_kinds::inhabited_predicate_type),
"dep_kind" => Ok(dep_kinds::dep_kind),
"crate_name" => Ok(dep_kinds::crate_name),
"module_children" => Ok(dep_kinds::module_children),
"num_extern_def_ids" => Ok(dep_kinds::num_extern_def_ids),
"lib_features" => Ok(dep_kinds::lib_features),
"stability_implications" => Ok(dep_kinds::stability_implications),
"intrinsic_raw" => Ok(dep_kinds::intrinsic_raw),
"get_lang_items" => Ok(dep_kinds::get_lang_items),
"all_diagnostic_items" => Ok(dep_kinds::all_diagnostic_items),
"defined_lang_items" => Ok(dep_kinds::defined_lang_items),
"diagnostic_items" => Ok(dep_kinds::diagnostic_items),
"missing_lang_items" => Ok(dep_kinds::missing_lang_items),
"visible_parent_map" => Ok(dep_kinds::visible_parent_map),
"trimmed_def_paths" => Ok(dep_kinds::trimmed_def_paths),
"missing_extern_crate_item" =>
Ok(dep_kinds::missing_extern_crate_item),
"used_crate_source" => Ok(dep_kinds::used_crate_source),
"debugger_visualizers" => Ok(dep_kinds::debugger_visualizers),
"postorder_cnums" => Ok(dep_kinds::postorder_cnums),
"is_private_dep" => Ok(dep_kinds::is_private_dep),
"allocator_kind" => Ok(dep_kinds::allocator_kind),
"alloc_error_handler_kind" => Ok(dep_kinds::alloc_error_handler_kind),
"upvars_mentioned" => Ok(dep_kinds::upvars_mentioned),
"crates" => Ok(dep_kinds::crates),
"used_crates" => Ok(dep_kinds::used_crates),
"duplicate_crate_names" => Ok(dep_kinds::duplicate_crate_names),
"traits" => Ok(dep_kinds::traits),
"trait_impls_in_crate" => Ok(dep_kinds::trait_impls_in_crate),
"stable_order_of_exportable_impls" =>
Ok(dep_kinds::stable_order_of_exportable_impls),
"exportable_items" => Ok(dep_kinds::exportable_items),
"exported_non_generic_symbols" =>
Ok(dep_kinds::exported_non_generic_symbols),
"exported_generic_symbols" => Ok(dep_kinds::exported_generic_symbols),
"collect_and_partition_mono_items" =>
Ok(dep_kinds::collect_and_partition_mono_items),
"is_codegened_item" => Ok(dep_kinds::is_codegened_item),
"codegen_unit" => Ok(dep_kinds::codegen_unit),
"backend_optimization_level" =>
Ok(dep_kinds::backend_optimization_level),
"output_filenames" => Ok(dep_kinds::output_filenames),
"normalize_canonicalized_projection" =>
Ok(dep_kinds::normalize_canonicalized_projection),
"normalize_canonicalized_free_alias" =>
Ok(dep_kinds::normalize_canonicalized_free_alias),
"normalize_canonicalized_inherent_projection" =>
Ok(dep_kinds::normalize_canonicalized_inherent_projection),
"try_normalize_generic_arg_after_erasing_regions" =>
Ok(dep_kinds::try_normalize_generic_arg_after_erasing_regions),
"implied_outlives_bounds" => Ok(dep_kinds::implied_outlives_bounds),
"dropck_outlives" => Ok(dep_kinds::dropck_outlives),
"evaluate_obligation" => Ok(dep_kinds::evaluate_obligation),
"type_op_ascribe_user_type" =>
Ok(dep_kinds::type_op_ascribe_user_type),
"type_op_prove_predicate" => Ok(dep_kinds::type_op_prove_predicate),
"type_op_normalize_ty" => Ok(dep_kinds::type_op_normalize_ty),
"type_op_normalize_clause" => Ok(dep_kinds::type_op_normalize_clause),
"type_op_normalize_poly_fn_sig" =>
Ok(dep_kinds::type_op_normalize_poly_fn_sig),
"type_op_normalize_fn_sig" => Ok(dep_kinds::type_op_normalize_fn_sig),
"instantiate_and_check_impossible_predicates" =>
Ok(dep_kinds::instantiate_and_check_impossible_predicates),
"is_impossible_associated_item" =>
Ok(dep_kinds::is_impossible_associated_item),
"method_autoderef_steps" => Ok(dep_kinds::method_autoderef_steps),
"evaluate_root_goal_for_proof_tree_raw" =>
Ok(dep_kinds::evaluate_root_goal_for_proof_tree_raw),
"rust_target_features" => Ok(dep_kinds::rust_target_features),
"implied_target_features" => Ok(dep_kinds::implied_target_features),
"features_query" => Ok(dep_kinds::features_query),
"crate_for_resolver" => Ok(dep_kinds::crate_for_resolver),
"resolve_instance_raw" => Ok(dep_kinds::resolve_instance_raw),
"reveal_opaque_types_in_bounds" =>
Ok(dep_kinds::reveal_opaque_types_in_bounds),
"limits" => Ok(dep_kinds::limits),
"diagnostic_hir_wf_check" => Ok(dep_kinds::diagnostic_hir_wf_check),
"global_backend_features" => Ok(dep_kinds::global_backend_features),
"check_validity_requirement" =>
Ok(dep_kinds::check_validity_requirement),
"compare_impl_item" => Ok(dep_kinds::compare_impl_item),
"deduced_param_attrs" => Ok(dep_kinds::deduced_param_attrs),
"doc_link_resolutions" => Ok(dep_kinds::doc_link_resolutions),
"doc_link_traits_in_scope" => Ok(dep_kinds::doc_link_traits_in_scope),
"stripped_cfg_items" => Ok(dep_kinds::stripped_cfg_items),
"generics_require_sized_self" =>
Ok(dep_kinds::generics_require_sized_self),
"cross_crate_inlinable" => Ok(dep_kinds::cross_crate_inlinable),
"check_mono_item" => Ok(dep_kinds::check_mono_item),
"skip_move_check_fns" => Ok(dep_kinds::skip_move_check_fns),
"items_of_instance" => Ok(dep_kinds::items_of_instance),
"size_estimate" => Ok(dep_kinds::size_estimate),
"anon_const_kind" => Ok(dep_kinds::anon_const_kind),
"trivial_const" => Ok(dep_kinds::trivial_const),
"sanitizer_settings_for" => Ok(dep_kinds::sanitizer_settings_for),
"check_externally_implementable_items" =>
Ok(dep_kinds::check_externally_implementable_items),
"externally_implementable_items" =>
Ok(dep_kinds::externally_implementable_items),
_ => Err(()),
}
}
#[allow(dead_code, non_upper_case_globals)]
pub mod label_strs {
pub const Null: &str = "Null";
pub const Red: &str = "Red";
pub const SideEffect: &str = "SideEffect";
pub const AnonZeroDeps: &str = "AnonZeroDeps";
pub const TraitSelect: &str = "TraitSelect";
pub const CompileCodegenUnit: &str = "CompileCodegenUnit";
pub const CompileMonoItem: &str = "CompileMonoItem";
pub const Metadata: &str = "Metadata";
pub const derive_macro_expansion: &str = "derive_macro_expansion";
pub const trigger_delayed_bug: &str = "trigger_delayed_bug";
pub const registered_tools: &str = "registered_tools";
pub const early_lint_checks: &str = "early_lint_checks";
pub const env_var_os: &str = "env_var_os";
pub const resolutions: &str = "resolutions";
pub const resolver_for_lowering_raw: &str = "resolver_for_lowering_raw";
pub const source_span: &str = "source_span";
pub const hir_crate: &str = "hir_crate";
pub const hir_crate_items: &str = "hir_crate_items";
pub const hir_module_items: &str = "hir_module_items";
pub const local_def_id_to_hir_id: &str = "local_def_id_to_hir_id";
pub const hir_owner_parent: &str = "hir_owner_parent";
pub const opt_hir_owner_nodes: &str = "opt_hir_owner_nodes";
pub const hir_attr_map: &str = "hir_attr_map";
pub const opt_ast_lowering_delayed_lints: &str =
"opt_ast_lowering_delayed_lints";
pub const const_param_default: &str = "const_param_default";
pub const const_of_item: &str = "const_of_item";
pub const type_of: &str = "type_of";
pub const type_of_opaque: &str = "type_of_opaque";
pub const type_of_opaque_hir_typeck: &str = "type_of_opaque_hir_typeck";
pub const type_alias_is_lazy: &str = "type_alias_is_lazy";
pub const collect_return_position_impl_trait_in_trait_tys: &str =
"collect_return_position_impl_trait_in_trait_tys";
pub const opaque_ty_origin: &str = "opaque_ty_origin";
pub const unsizing_params_for_adt: &str = "unsizing_params_for_adt";
pub const analysis: &str = "analysis";
pub const check_expectations: &str = "check_expectations";
pub const generics_of: &str = "generics_of";
pub const predicates_of: &str = "predicates_of";
pub const opaque_types_defined_by: &str = "opaque_types_defined_by";
pub const nested_bodies_within: &str = "nested_bodies_within";
pub const explicit_item_bounds: &str = "explicit_item_bounds";
pub const explicit_item_self_bounds: &str = "explicit_item_self_bounds";
pub const item_bounds: &str = "item_bounds";
pub const item_self_bounds: &str = "item_self_bounds";
pub const item_non_self_bounds: &str = "item_non_self_bounds";
pub const impl_super_outlives: &str = "impl_super_outlives";
pub const native_libraries: &str = "native_libraries";
pub const shallow_lint_levels_on: &str = "shallow_lint_levels_on";
pub const lint_expectations: &str = "lint_expectations";
pub const lints_that_dont_need_to_run: &str =
"lints_that_dont_need_to_run";
pub const expn_that_defined: &str = "expn_that_defined";
pub const is_panic_runtime: &str = "is_panic_runtime";
pub const representability: &str = "representability";
pub const representability_adt_ty: &str = "representability_adt_ty";
pub const params_in_repr: &str = "params_in_repr";
pub const thir_body: &str = "thir_body";
pub const mir_keys: &str = "mir_keys";
pub const mir_const_qualif: &str = "mir_const_qualif";
pub const mir_built: &str = "mir_built";
pub const thir_abstract_const: &str = "thir_abstract_const";
pub const mir_drops_elaborated_and_const_checked: &str =
"mir_drops_elaborated_and_const_checked";
pub const mir_for_ctfe: &str = "mir_for_ctfe";
pub const mir_promoted: &str = "mir_promoted";
pub const closure_typeinfo: &str = "closure_typeinfo";
pub const closure_saved_names_of_captured_variables: &str =
"closure_saved_names_of_captured_variables";
pub const mir_coroutine_witnesses: &str = "mir_coroutine_witnesses";
pub const check_coroutine_obligations: &str =
"check_coroutine_obligations";
pub const check_potentially_region_dependent_goals: &str =
"check_potentially_region_dependent_goals";
pub const optimized_mir: &str = "optimized_mir";
pub const coverage_attr_on: &str = "coverage_attr_on";
pub const coverage_ids_info: &str = "coverage_ids_info";
pub const promoted_mir: &str = "promoted_mir";
pub const erase_and_anonymize_regions_ty: &str =
"erase_and_anonymize_regions_ty";
pub const wasm_import_module_map: &str = "wasm_import_module_map";
pub const trait_explicit_predicates_and_bounds: &str =
"trait_explicit_predicates_and_bounds";
pub const explicit_predicates_of: &str = "explicit_predicates_of";
pub const inferred_outlives_of: &str = "inferred_outlives_of";
pub const explicit_super_predicates_of: &str =
"explicit_super_predicates_of";
pub const explicit_implied_predicates_of: &str =
"explicit_implied_predicates_of";
pub const explicit_supertraits_containing_assoc_item: &str =
"explicit_supertraits_containing_assoc_item";
pub const const_conditions: &str = "const_conditions";
pub const explicit_implied_const_bounds: &str =
"explicit_implied_const_bounds";
pub const type_param_predicates: &str = "type_param_predicates";
pub const trait_def: &str = "trait_def";
pub const adt_def: &str = "adt_def";
pub const adt_destructor: &str = "adt_destructor";
pub const adt_async_destructor: &str = "adt_async_destructor";
pub const adt_sizedness_constraint: &str = "adt_sizedness_constraint";
pub const adt_dtorck_constraint: &str = "adt_dtorck_constraint";
pub const constness: &str = "constness";
pub const asyncness: &str = "asyncness";
pub const is_promotable_const_fn: &str = "is_promotable_const_fn";
pub const coroutine_by_move_body_def_id: &str =
"coroutine_by_move_body_def_id";
pub const coroutine_kind: &str = "coroutine_kind";
pub const coroutine_for_closure: &str = "coroutine_for_closure";
pub const coroutine_hidden_types: &str = "coroutine_hidden_types";
pub const crate_variances: &str = "crate_variances";
pub const variances_of: &str = "variances_of";
pub const inferred_outlives_crate: &str = "inferred_outlives_crate";
pub const associated_item_def_ids: &str = "associated_item_def_ids";
pub const associated_item: &str = "associated_item";
pub const associated_items: &str = "associated_items";
pub const impl_item_implementor_ids: &str = "impl_item_implementor_ids";
pub const associated_types_for_impl_traits_in_trait_or_impl: &str =
"associated_types_for_impl_traits_in_trait_or_impl";
pub const impl_trait_header: &str = "impl_trait_header";
pub const impl_self_is_guaranteed_unsized: &str =
"impl_self_is_guaranteed_unsized";
pub const inherent_impls: &str = "inherent_impls";
pub const incoherent_impls: &str = "incoherent_impls";
pub const check_transmutes: &str = "check_transmutes";
pub const check_unsafety: &str = "check_unsafety";
pub const check_tail_calls: &str = "check_tail_calls";
pub const assumed_wf_types: &str = "assumed_wf_types";
pub const assumed_wf_types_for_rpitit: &str =
"assumed_wf_types_for_rpitit";
pub const fn_sig: &str = "fn_sig";
pub const lint_mod: &str = "lint_mod";
pub const check_unused_traits: &str = "check_unused_traits";
pub const check_mod_attrs: &str = "check_mod_attrs";
pub const check_mod_unstable_api_usage: &str =
"check_mod_unstable_api_usage";
pub const check_mod_privacy: &str = "check_mod_privacy";
pub const check_liveness: &str = "check_liveness";
pub const live_symbols_and_ignored_derived_traits: &str =
"live_symbols_and_ignored_derived_traits";
pub const check_mod_deathness: &str = "check_mod_deathness";
pub const check_type_wf: &str = "check_type_wf";
pub const coerce_unsized_info: &str = "coerce_unsized_info";
pub const typeck: &str = "typeck";
pub const used_trait_imports: &str = "used_trait_imports";
pub const coherent_trait: &str = "coherent_trait";
pub const mir_borrowck: &str = "mir_borrowck";
pub const crate_inherent_impls: &str = "crate_inherent_impls";
pub const crate_inherent_impls_validity_check: &str =
"crate_inherent_impls_validity_check";
pub const crate_inherent_impls_overlap_check: &str =
"crate_inherent_impls_overlap_check";
pub const orphan_check_impl: &str = "orphan_check_impl";
pub const mir_callgraph_cyclic: &str = "mir_callgraph_cyclic";
pub const mir_inliner_callees: &str = "mir_inliner_callees";
pub const tag_for_variant: &str = "tag_for_variant";
pub const eval_to_allocation_raw: &str = "eval_to_allocation_raw";
pub const eval_static_initializer: &str = "eval_static_initializer";
pub const eval_to_const_value_raw: &str = "eval_to_const_value_raw";
pub const eval_to_valtree: &str = "eval_to_valtree";
pub const valtree_to_const_val: &str = "valtree_to_const_val";
pub const lit_to_const: &str = "lit_to_const";
pub const check_match: &str = "check_match";
pub const effective_visibilities: &str = "effective_visibilities";
pub const check_private_in_public: &str = "check_private_in_public";
pub const reachable_set: &str = "reachable_set";
pub const region_scope_tree: &str = "region_scope_tree";
pub const mir_shims: &str = "mir_shims";
pub const symbol_name: &str = "symbol_name";
pub const def_kind: &str = "def_kind";
pub const def_span: &str = "def_span";
pub const def_ident_span: &str = "def_ident_span";
pub const ty_span: &str = "ty_span";
pub const lookup_stability: &str = "lookup_stability";
pub const lookup_const_stability: &str = "lookup_const_stability";
pub const lookup_default_body_stability: &str =
"lookup_default_body_stability";
pub const should_inherit_track_caller: &str =
"should_inherit_track_caller";
pub const inherited_align: &str = "inherited_align";
pub const lookup_deprecation_entry: &str = "lookup_deprecation_entry";
pub const is_doc_hidden: &str = "is_doc_hidden";
pub const is_doc_notable_trait: &str = "is_doc_notable_trait";
pub const attrs_for_def: &str = "attrs_for_def";
pub const codegen_fn_attrs: &str = "codegen_fn_attrs";
pub const asm_target_features: &str = "asm_target_features";
pub const fn_arg_idents: &str = "fn_arg_idents";
pub const rendered_const: &str = "rendered_const";
pub const rendered_precise_capturing_args: &str =
"rendered_precise_capturing_args";
pub const impl_parent: &str = "impl_parent";
pub const is_ctfe_mir_available: &str = "is_ctfe_mir_available";
pub const is_mir_available: &str = "is_mir_available";
pub const own_existential_vtable_entries: &str =
"own_existential_vtable_entries";
pub const vtable_entries: &str = "vtable_entries";
pub const first_method_vtable_slot: &str = "first_method_vtable_slot";
pub const supertrait_vtable_slot: &str = "supertrait_vtable_slot";
pub const vtable_allocation: &str = "vtable_allocation";
pub const codegen_select_candidate: &str = "codegen_select_candidate";
pub const all_local_trait_impls: &str = "all_local_trait_impls";
pub const local_trait_impls: &str = "local_trait_impls";
pub const trait_impls_of: &str = "trait_impls_of";
pub const specialization_graph_of: &str = "specialization_graph_of";
pub const dyn_compatibility_violations: &str =
"dyn_compatibility_violations";
pub const is_dyn_compatible: &str = "is_dyn_compatible";
pub const param_env: &str = "param_env";
pub const typing_env_normalized_for_post_analysis: &str =
"typing_env_normalized_for_post_analysis";
pub const is_copy_raw: &str = "is_copy_raw";
pub const is_use_cloned_raw: &str = "is_use_cloned_raw";
pub const is_sized_raw: &str = "is_sized_raw";
pub const is_freeze_raw: &str = "is_freeze_raw";
pub const is_unpin_raw: &str = "is_unpin_raw";
pub const is_async_drop_raw: &str = "is_async_drop_raw";
pub const needs_drop_raw: &str = "needs_drop_raw";
pub const needs_async_drop_raw: &str = "needs_async_drop_raw";
pub const has_significant_drop_raw: &str = "has_significant_drop_raw";
pub const has_structural_eq_impl: &str = "has_structural_eq_impl";
pub const adt_drop_tys: &str = "adt_drop_tys";
pub const adt_async_drop_tys: &str = "adt_async_drop_tys";
pub const adt_significant_drop_tys: &str = "adt_significant_drop_tys";
pub const list_significant_drop_tys: &str = "list_significant_drop_tys";
pub const layout_of: &str = "layout_of";
pub const fn_abi_of_fn_ptr: &str = "fn_abi_of_fn_ptr";
pub const fn_abi_of_instance: &str = "fn_abi_of_instance";
pub const dylib_dependency_formats: &str = "dylib_dependency_formats";
pub const dependency_formats: &str = "dependency_formats";
pub const is_compiler_builtins: &str = "is_compiler_builtins";
pub const has_global_allocator: &str = "has_global_allocator";
pub const has_alloc_error_handler: &str = "has_alloc_error_handler";
pub const has_panic_handler: &str = "has_panic_handler";
pub const is_profiler_runtime: &str = "is_profiler_runtime";
pub const has_ffi_unwind_calls: &str = "has_ffi_unwind_calls";
pub const required_panic_strategy: &str = "required_panic_strategy";
pub const panic_in_drop_strategy: &str = "panic_in_drop_strategy";
pub const is_no_builtins: &str = "is_no_builtins";
pub const symbol_mangling_version: &str = "symbol_mangling_version";
pub const extern_crate: &str = "extern_crate";
pub const specialization_enabled_in: &str = "specialization_enabled_in";
pub const specializes: &str = "specializes";
pub const in_scope_traits_map: &str = "in_scope_traits_map";
pub const defaultness: &str = "defaultness";
pub const default_field: &str = "default_field";
pub const check_well_formed: &str = "check_well_formed";
pub const enforce_impl_non_lifetime_params_are_constrained: &str =
"enforce_impl_non_lifetime_params_are_constrained";
pub const reachable_non_generics: &str = "reachable_non_generics";
pub const is_reachable_non_generic: &str = "is_reachable_non_generic";
pub const is_unreachable_local_definition: &str =
"is_unreachable_local_definition";
pub const upstream_monomorphizations: &str = "upstream_monomorphizations";
pub const upstream_monomorphizations_for: &str =
"upstream_monomorphizations_for";
pub const upstream_drop_glue_for: &str = "upstream_drop_glue_for";
pub const upstream_async_drop_glue_for: &str =
"upstream_async_drop_glue_for";
pub const foreign_modules: &str = "foreign_modules";
pub const clashing_extern_declarations: &str =
"clashing_extern_declarations";
pub const entry_fn: &str = "entry_fn";
pub const proc_macro_decls_static: &str = "proc_macro_decls_static";
pub const crate_hash: &str = "crate_hash";
pub const crate_host_hash: &str = "crate_host_hash";
pub const extra_filename: &str = "extra_filename";
pub const crate_extern_paths: &str = "crate_extern_paths";
pub const implementations_of_trait: &str = "implementations_of_trait";
pub const crate_incoherent_impls: &str = "crate_incoherent_impls";
pub const native_library: &str = "native_library";
pub const inherit_sig_for_delegation_item: &str =
"inherit_sig_for_delegation_item";
pub const resolve_bound_vars: &str = "resolve_bound_vars";
pub const named_variable_map: &str = "named_variable_map";
pub const is_late_bound_map: &str = "is_late_bound_map";
pub const object_lifetime_default: &str = "object_lifetime_default";
pub const late_bound_vars_map: &str = "late_bound_vars_map";
pub const opaque_captured_lifetimes: &str = "opaque_captured_lifetimes";
pub const visibility: &str = "visibility";
pub const inhabited_predicate_adt: &str = "inhabited_predicate_adt";
pub const inhabited_predicate_type: &str = "inhabited_predicate_type";
pub const dep_kind: &str = "dep_kind";
pub const crate_name: &str = "crate_name";
pub const module_children: &str = "module_children";
pub const num_extern_def_ids: &str = "num_extern_def_ids";
pub const lib_features: &str = "lib_features";
pub const stability_implications: &str = "stability_implications";
pub const intrinsic_raw: &str = "intrinsic_raw";
pub const get_lang_items: &str = "get_lang_items";
pub const all_diagnostic_items: &str = "all_diagnostic_items";
pub const defined_lang_items: &str = "defined_lang_items";
pub const diagnostic_items: &str = "diagnostic_items";
pub const missing_lang_items: &str = "missing_lang_items";
pub const visible_parent_map: &str = "visible_parent_map";
pub const trimmed_def_paths: &str = "trimmed_def_paths";
pub const missing_extern_crate_item: &str = "missing_extern_crate_item";
pub const used_crate_source: &str = "used_crate_source";
pub const debugger_visualizers: &str = "debugger_visualizers";
pub const postorder_cnums: &str = "postorder_cnums";
pub const is_private_dep: &str = "is_private_dep";
pub const allocator_kind: &str = "allocator_kind";
pub const alloc_error_handler_kind: &str = "alloc_error_handler_kind";
pub const upvars_mentioned: &str = "upvars_mentioned";
pub const crates: &str = "crates";
pub const used_crates: &str = "used_crates";
pub const duplicate_crate_names: &str = "duplicate_crate_names";
pub const traits: &str = "traits";
pub const trait_impls_in_crate: &str = "trait_impls_in_crate";
pub const stable_order_of_exportable_impls: &str =
"stable_order_of_exportable_impls";
pub const exportable_items: &str = "exportable_items";
pub const exported_non_generic_symbols: &str =
"exported_non_generic_symbols";
pub const exported_generic_symbols: &str = "exported_generic_symbols";
pub const collect_and_partition_mono_items: &str =
"collect_and_partition_mono_items";
pub const is_codegened_item: &str = "is_codegened_item";
pub const codegen_unit: &str = "codegen_unit";
pub const backend_optimization_level: &str = "backend_optimization_level";
pub const output_filenames: &str = "output_filenames";
pub const normalize_canonicalized_projection: &str =
"normalize_canonicalized_projection";
pub const normalize_canonicalized_free_alias: &str =
"normalize_canonicalized_free_alias";
pub const normalize_canonicalized_inherent_projection: &str =
"normalize_canonicalized_inherent_projection";
pub const try_normalize_generic_arg_after_erasing_regions: &str =
"try_normalize_generic_arg_after_erasing_regions";
pub const implied_outlives_bounds: &str = "implied_outlives_bounds";
pub const dropck_outlives: &str = "dropck_outlives";
pub const evaluate_obligation: &str = "evaluate_obligation";
pub const type_op_ascribe_user_type: &str = "type_op_ascribe_user_type";
pub const type_op_prove_predicate: &str = "type_op_prove_predicate";
pub const type_op_normalize_ty: &str = "type_op_normalize_ty";
pub const type_op_normalize_clause: &str = "type_op_normalize_clause";
pub const type_op_normalize_poly_fn_sig: &str =
"type_op_normalize_poly_fn_sig";
pub const type_op_normalize_fn_sig: &str = "type_op_normalize_fn_sig";
pub const instantiate_and_check_impossible_predicates: &str =
"instantiate_and_check_impossible_predicates";
pub const is_impossible_associated_item: &str =
"is_impossible_associated_item";
pub const method_autoderef_steps: &str = "method_autoderef_steps";
pub const evaluate_root_goal_for_proof_tree_raw: &str =
"evaluate_root_goal_for_proof_tree_raw";
pub const rust_target_features: &str = "rust_target_features";
pub const implied_target_features: &str = "implied_target_features";
pub const features_query: &str = "features_query";
pub const crate_for_resolver: &str = "crate_for_resolver";
pub const resolve_instance_raw: &str = "resolve_instance_raw";
pub const reveal_opaque_types_in_bounds: &str =
"reveal_opaque_types_in_bounds";
pub const limits: &str = "limits";
pub const diagnostic_hir_wf_check: &str = "diagnostic_hir_wf_check";
pub const global_backend_features: &str = "global_backend_features";
pub const check_validity_requirement: &str = "check_validity_requirement";
pub const compare_impl_item: &str = "compare_impl_item";
pub const deduced_param_attrs: &str = "deduced_param_attrs";
pub const doc_link_resolutions: &str = "doc_link_resolutions";
pub const doc_link_traits_in_scope: &str = "doc_link_traits_in_scope";
pub const stripped_cfg_items: &str = "stripped_cfg_items";
pub const generics_require_sized_self: &str =
"generics_require_sized_self";
pub const cross_crate_inlinable: &str = "cross_crate_inlinable";
pub const check_mono_item: &str = "check_mono_item";
pub const skip_move_check_fns: &str = "skip_move_check_fns";
pub const items_of_instance: &str = "items_of_instance";
pub const size_estimate: &str = "size_estimate";
pub const anon_const_kind: &str = "anon_const_kind";
pub const trivial_const: &str = "trivial_const";
pub const sanitizer_settings_for: &str = "sanitizer_settings_for";
pub const check_externally_implementable_items: &str =
"check_externally_implementable_items";
pub const externally_implementable_items: &str =
"externally_implementable_items";
}rustc_with_all_queries!(define_dep_nodes![
92 [] fn Null() -> (),
94 [] fn Red() -> (),
96 [] fn SideEffect() -> (),
97 [] fn AnonZeroDeps() -> (),
98 [] fn TraitSelect() -> (),
99 [] fn CompileCodegenUnit() -> (),
100 [] fn CompileMonoItem() -> (),
101 [] fn Metadata() -> (),
102]);
103
104pub(crate) fn make_compile_codegen_unit(tcx: TyCtxt<'_>, name: Symbol) -> DepNode {
107 DepNode::construct(tcx, dep_kinds::CompileCodegenUnit, &name)
108}
109
110pub(crate) fn make_compile_mono_item<'tcx>(
113 tcx: TyCtxt<'tcx>,
114 mono_item: &MonoItem<'tcx>,
115) -> DepNode {
116 DepNode::construct(tcx, dep_kinds::CompileMonoItem, mono_item)
117}
118
119pub(crate) fn make_metadata(tcx: TyCtxt<'_>) -> DepNode {
122 DepNode::construct(tcx, dep_kinds::Metadata, &())
123}
124
125pub trait DepNodeExt: Sized {
126 fn extract_def_id(&self, tcx: TyCtxt<'_>) -> Option<DefId>;
127
128 fn from_label_string(
129 tcx: TyCtxt<'_>,
130 label: &str,
131 def_path_hash: DefPathHash,
132 ) -> Result<Self, ()>;
133
134 fn has_label_string(label: &str) -> bool;
135}
136
137impl DepNodeExt for DepNode {
138 fn extract_def_id(&self, tcx: TyCtxt<'_>) -> Option<DefId> {
149 if tcx.fingerprint_style(self.kind) == FingerprintStyle::DefPathHash {
150 tcx.def_path_hash_to_def_id(DefPathHash(self.hash.into()))
151 } else {
152 None
153 }
154 }
155
156 fn from_label_string(
158 tcx: TyCtxt<'_>,
159 label: &str,
160 def_path_hash: DefPathHash,
161 ) -> Result<DepNode, ()> {
162 let kind = dep_kind_from_label_string(label)?;
163
164 match tcx.fingerprint_style(kind) {
165 FingerprintStyle::Opaque | FingerprintStyle::HirId => Err(()),
166 FingerprintStyle::Unit => Ok(DepNode::new_no_params(tcx, kind)),
167 FingerprintStyle::DefPathHash => {
168 Ok(DepNode::from_def_path_hash(tcx, def_path_hash, kind))
169 }
170 }
171 }
172
173 fn has_label_string(label: &str) -> bool {
175 dep_kind_from_label_string(label).is_ok()
176 }
177}
178
179pub fn dep_kind_from_label(label: &str) -> DepKind {
181 dep_kind_from_label_string(label)
182 .unwrap_or_else(|_| {
::core::panicking::panic_fmt(format_args!("Query label {0} does not exist",
label));
}panic!("Query label {label} does not exist"))
183}
184
185impl<'tcx> DepNodeParams<TyCtxt<'tcx>> for () {
186 #[inline(always)]
187 fn fingerprint_style() -> FingerprintStyle {
188 FingerprintStyle::Unit
189 }
190
191 #[inline(always)]
192 fn to_fingerprint(&self, _: TyCtxt<'tcx>) -> Fingerprint {
193 Fingerprint::ZERO
194 }
195
196 #[inline(always)]
197 fn recover(_: TyCtxt<'tcx>, _: &DepNode) -> Option<Self> {
198 Some(())
199 }
200}
201
202impl<'tcx> DepNodeParams<TyCtxt<'tcx>> for DefId {
203 #[inline(always)]
204 fn fingerprint_style() -> FingerprintStyle {
205 FingerprintStyle::DefPathHash
206 }
207
208 #[inline(always)]
209 fn to_fingerprint(&self, tcx: TyCtxt<'tcx>) -> Fingerprint {
210 tcx.def_path_hash(*self).0
211 }
212
213 #[inline(always)]
214 fn to_debug_str(&self, tcx: TyCtxt<'tcx>) -> String {
215 tcx.def_path_str(*self)
216 }
217
218 #[inline(always)]
219 fn recover(tcx: TyCtxt<'tcx>, dep_node: &DepNode) -> Option<Self> {
220 dep_node.extract_def_id(tcx)
221 }
222}
223
224impl<'tcx> DepNodeParams<TyCtxt<'tcx>> for LocalDefId {
225 #[inline(always)]
226 fn fingerprint_style() -> FingerprintStyle {
227 FingerprintStyle::DefPathHash
228 }
229
230 #[inline(always)]
231 fn to_fingerprint(&self, tcx: TyCtxt<'tcx>) -> Fingerprint {
232 self.to_def_id().to_fingerprint(tcx)
233 }
234
235 #[inline(always)]
236 fn to_debug_str(&self, tcx: TyCtxt<'tcx>) -> String {
237 self.to_def_id().to_debug_str(tcx)
238 }
239
240 #[inline(always)]
241 fn recover(tcx: TyCtxt<'tcx>, dep_node: &DepNode) -> Option<Self> {
242 dep_node.extract_def_id(tcx).map(|id| id.expect_local())
243 }
244}
245
246impl<'tcx> DepNodeParams<TyCtxt<'tcx>> for OwnerId {
247 #[inline(always)]
248 fn fingerprint_style() -> FingerprintStyle {
249 FingerprintStyle::DefPathHash
250 }
251
252 #[inline(always)]
253 fn to_fingerprint(&self, tcx: TyCtxt<'tcx>) -> Fingerprint {
254 self.to_def_id().to_fingerprint(tcx)
255 }
256
257 #[inline(always)]
258 fn to_debug_str(&self, tcx: TyCtxt<'tcx>) -> String {
259 self.to_def_id().to_debug_str(tcx)
260 }
261
262 #[inline(always)]
263 fn recover(tcx: TyCtxt<'tcx>, dep_node: &DepNode) -> Option<Self> {
264 dep_node.extract_def_id(tcx).map(|id| OwnerId { def_id: id.expect_local() })
265 }
266}
267
268impl<'tcx> DepNodeParams<TyCtxt<'tcx>> for CrateNum {
269 #[inline(always)]
270 fn fingerprint_style() -> FingerprintStyle {
271 FingerprintStyle::DefPathHash
272 }
273
274 #[inline(always)]
275 fn to_fingerprint(&self, tcx: TyCtxt<'tcx>) -> Fingerprint {
276 let def_id = self.as_def_id();
277 def_id.to_fingerprint(tcx)
278 }
279
280 #[inline(always)]
281 fn to_debug_str(&self, tcx: TyCtxt<'tcx>) -> String {
282 tcx.crate_name(*self).to_string()
283 }
284
285 #[inline(always)]
286 fn recover(tcx: TyCtxt<'tcx>, dep_node: &DepNode) -> Option<Self> {
287 dep_node.extract_def_id(tcx).map(|id| id.krate)
288 }
289}
290
291impl<'tcx> DepNodeParams<TyCtxt<'tcx>> for (DefId, DefId) {
292 #[inline(always)]
293 fn fingerprint_style() -> FingerprintStyle {
294 FingerprintStyle::Opaque
295 }
296
297 #[inline(always)]
301 fn to_fingerprint(&self, tcx: TyCtxt<'tcx>) -> Fingerprint {
302 let (def_id_0, def_id_1) = *self;
303
304 let def_path_hash_0 = tcx.def_path_hash(def_id_0);
305 let def_path_hash_1 = tcx.def_path_hash(def_id_1);
306
307 def_path_hash_0.0.combine(def_path_hash_1.0)
308 }
309
310 #[inline(always)]
311 fn to_debug_str(&self, tcx: TyCtxt<'tcx>) -> String {
312 let (def_id_0, def_id_1) = *self;
313
314 ::alloc::__export::must_use({
::alloc::fmt::format(format_args!("({0}, {1})",
tcx.def_path_debug_str(def_id_0),
tcx.def_path_debug_str(def_id_1)))
})format!("({}, {})", tcx.def_path_debug_str(def_id_0), tcx.def_path_debug_str(def_id_1))
315 }
316}
317
318impl<'tcx> DepNodeParams<TyCtxt<'tcx>> for HirId {
319 #[inline(always)]
320 fn fingerprint_style() -> FingerprintStyle {
321 FingerprintStyle::HirId
322 }
323
324 #[inline(always)]
328 fn to_fingerprint(&self, tcx: TyCtxt<'tcx>) -> Fingerprint {
329 let HirId { owner, local_id } = *self;
330 let def_path_hash = tcx.def_path_hash(owner.to_def_id());
331 Fingerprint::new(
332 def_path_hash.local_hash(),
334 local_id.as_u32() as u64,
335 )
336 }
337
338 #[inline(always)]
339 fn to_debug_str(&self, tcx: TyCtxt<'tcx>) -> String {
340 let HirId { owner, local_id } = *self;
341 ::alloc::__export::must_use({
::alloc::fmt::format(format_args!("{0}.{1}", tcx.def_path_str(owner),
local_id.as_u32()))
})format!("{}.{}", tcx.def_path_str(owner), local_id.as_u32())
342 }
343
344 #[inline(always)]
345 fn recover(tcx: TyCtxt<'tcx>, dep_node: &DepNode) -> Option<Self> {
346 if tcx.fingerprint_style(dep_node.kind) == FingerprintStyle::HirId {
347 let (local_hash, local_id) = Fingerprint::from(dep_node.hash).split();
348 let def_path_hash = DefPathHash::new(tcx.stable_crate_id(LOCAL_CRATE), local_hash);
349 let def_id = tcx.def_path_hash_to_def_id(def_path_hash)?.expect_local();
350 let local_id = local_id
351 .as_u64()
352 .try_into()
353 .unwrap_or_else(|_| {
::core::panicking::panic_fmt(format_args!("local id should be u32, found {0:?}",
local_id));
}panic!("local id should be u32, found {local_id:?}"));
354 Some(HirId { owner: OwnerId { def_id }, local_id: ItemLocalId::from_u32(local_id) })
355 } else {
356 None
357 }
358 }
359}
360
361impl<'tcx> DepNodeParams<TyCtxt<'tcx>> for ModDefId {
362 #[inline(always)]
363 fn fingerprint_style() -> FingerprintStyle {
364 FingerprintStyle::DefPathHash
365 }
366
367 #[inline(always)]
368 fn to_fingerprint(&self, tcx: TyCtxt<'tcx>) -> Fingerprint {
369 self.to_def_id().to_fingerprint(tcx)
370 }
371
372 #[inline(always)]
373 fn to_debug_str(&self, tcx: TyCtxt<'tcx>) -> String {
374 self.to_def_id().to_debug_str(tcx)
375 }
376
377 #[inline(always)]
378 fn recover(tcx: TyCtxt<'tcx>, dep_node: &DepNode) -> Option<Self> {
379 DefId::recover(tcx, dep_node).map(ModDefId::new_unchecked)
380 }
381}
382
383impl<'tcx> DepNodeParams<TyCtxt<'tcx>> for LocalModDefId {
384 #[inline(always)]
385 fn fingerprint_style() -> FingerprintStyle {
386 FingerprintStyle::DefPathHash
387 }
388
389 #[inline(always)]
390 fn to_fingerprint(&self, tcx: TyCtxt<'tcx>) -> Fingerprint {
391 self.to_def_id().to_fingerprint(tcx)
392 }
393
394 #[inline(always)]
395 fn to_debug_str(&self, tcx: TyCtxt<'tcx>) -> String {
396 self.to_def_id().to_debug_str(tcx)
397 }
398
399 #[inline(always)]
400 fn recover(tcx: TyCtxt<'tcx>, dep_node: &DepNode) -> Option<Self> {
401 LocalDefId::recover(tcx, dep_node).map(LocalModDefId::new_unchecked)
402 }
403}