rustc_middle/dep_graph/
dep_node.rs

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        /// This enum serves as an index into arrays built by `make_dep_kind_array`.
37        // This enum has more than u8::MAX variants so we need some kind of multi-byte
38        // encoding. The derived Encodable/Decodable uses leb128 encoding which is
39        // dense when only considering this enum. But DepKind is encoded in a larger
40        // struct, and there we can take advantage of the unused bits in the u16.
41        #[allow(non_camel_case_types)]
42        #[repr(u16)] // Must be kept in sync with the inner type of `DepKind`.
43        enum DepKindDefs {
44            $( $( #[$attr] )* $variant),*
45        }
46
47        #[allow(non_upper_case_globals)]
48        pub mod dep_kinds {
49            use super::*;
50
51            $(
52                // The `as u16` cast must be kept in sync with the inner type of `DepKind`.
53                pub const $variant: DepKind = DepKind::new(DepKindDefs::$variant as u16);
54            )*
55        }
56
57        // This checks that the discriminants of the variants have been assigned consecutively
58        // from 0 so that they can be used as a dense index.
59        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        /// Contains variant => str representations for constructing
79        /// DepNode groups for tests.
80        #[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// Create various data structures for each query, and also for a few things
90// that aren't queries.
91#[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
        }
    };
}
/// This enum serves as an index into arrays built by `make_dep_kind_array`.
#[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(()),
    }
}
/// Contains variant => str representations for constructing
/// DepNode groups for tests.
#[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    /// We use this for most things when incr. comp. is turned off.
93    [] fn Null() -> (),
94    /// We use this to create a forever-red node.
95    [] fn Red() -> (),
96    [] fn SideEffect() -> (),
97    [] fn AnonZeroDeps() -> (),
98    [] fn TraitSelect() -> (),
99    [] fn CompileCodegenUnit() -> (),
100    [] fn CompileMonoItem() -> (),
101    [] fn Metadata() -> (),
102]);
103
104// WARNING: `construct` is generic and does not know that `CompileCodegenUnit` takes `Symbol`s as keys.
105// Be very careful changing this type signature!
106pub(crate) fn make_compile_codegen_unit(tcx: TyCtxt<'_>, name: Symbol) -> DepNode {
107    DepNode::construct(tcx, dep_kinds::CompileCodegenUnit, &name)
108}
109
110// WARNING: `construct` is generic and does not know that `CompileMonoItem` takes `MonoItem`s as keys.
111// Be very careful changing this type signature!
112pub(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
119// WARNING: `construct` is generic and does not know that `Metadata` takes `()`s as keys.
120// Be very careful changing this type signature!
121pub(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    /// Extracts the DefId corresponding to this DepNode. This will work
139    /// if two conditions are met:
140    ///
141    /// 1. The Fingerprint of the DepNode actually is a DefPathHash, and
142    /// 2. the item that the DefPath refers to exists in the current tcx.
143    ///
144    /// Condition (1) is determined by the DepKind variant of the
145    /// DepNode. Condition (2) might not be fulfilled if a DepNode
146    /// refers to something from the previous compilation session that
147    /// has been removed.
148    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    /// Used in testing
157    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    /// Used in testing
174    fn has_label_string(label: &str) -> bool {
175        dep_kind_from_label_string(label).is_ok()
176    }
177}
178
179/// Maps a query label to its DepKind. Panics if a query with the given label does not exist.
180pub 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    // We actually would not need to specialize the implementation of this
298    // method but it's faster to combine the hashes than to instantiate a full
299    // hashing context and stable-hashing state.
300    #[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    // We actually would not need to specialize the implementation of this
325    // method but it's faster to combine the hashes than to instantiate a full
326    // hashing context and stable-hashing state.
327    #[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            // `owner` is local, so is completely defined by the local hash
333            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}