Struct rustc_middle::ty::query::Providers

pub struct Providers {
    pub trigger_delay_span_bug: for<'tcx> fn(_: TyCtxt<'tcx>, _: trigger_delay_span_bug<'tcx>) -> trigger_delay_span_bug<'tcx>,
    pub hir_crate: for<'tcx> fn(_: TyCtxt<'tcx>, _: hir_crate<'tcx>) -> hir_crate<'tcx>,
    pub index_hir: for<'tcx> fn(_: TyCtxt<'tcx>, _: index_hir<'tcx>) -> index_hir<'tcx>,
    pub hir_module_items: for<'tcx> fn(_: TyCtxt<'tcx>, _: hir_module_items<'tcx>) -> hir_module_items<'tcx>,
    pub hir_owner: for<'tcx> fn(_: TyCtxt<'tcx>, _: hir_owner<'tcx>) -> hir_owner<'tcx>,
    pub hir_owner_nodes: for<'tcx> fn(_: TyCtxt<'tcx>, _: hir_owner_nodes<'tcx>) -> hir_owner_nodes<'tcx>,
    pub hir_attrs: for<'tcx> fn(_: TyCtxt<'tcx>, _: hir_attrs<'tcx>) -> hir_attrs<'tcx>,
    pub opt_const_param_of: for<'tcx> fn(_: TyCtxt<'tcx>, _: opt_const_param_of<'tcx>) -> opt_const_param_of<'tcx>,
    pub type_of: for<'tcx> fn(_: TyCtxt<'tcx>, _: type_of<'tcx>) -> type_of<'tcx>,
    pub analysis: for<'tcx> fn(_: TyCtxt<'tcx>, _: analysis<'tcx>) -> analysis<'tcx>,
    pub generics_of: for<'tcx> fn(_: TyCtxt<'tcx>, _: generics_of<'tcx>) -> generics_of<'tcx>,
    pub predicates_of: for<'tcx> fn(_: TyCtxt<'tcx>, _: predicates_of<'tcx>) -> predicates_of<'tcx>,
    pub explicit_item_bounds: for<'tcx> fn(_: TyCtxt<'tcx>, _: explicit_item_bounds<'tcx>) -> explicit_item_bounds<'tcx>,
    pub item_bounds: for<'tcx> fn(_: TyCtxt<'tcx>, _: item_bounds<'tcx>) -> item_bounds<'tcx>,
    pub projection_ty_from_predicates: for<'tcx> fn(_: TyCtxt<'tcx>, _: projection_ty_from_predicates<'tcx>) -> projection_ty_from_predicates<'tcx>,
    pub native_libraries: for<'tcx> fn(_: TyCtxt<'tcx>, _: native_libraries<'tcx>) -> native_libraries<'tcx>,
    pub lint_levels: for<'tcx> fn(_: TyCtxt<'tcx>, _: lint_levels<'tcx>) -> lint_levels<'tcx>,
    pub parent_module_from_def_id: for<'tcx> fn(_: TyCtxt<'tcx>, _: parent_module_from_def_id<'tcx>) -> parent_module_from_def_id<'tcx>,
    pub expn_that_defined: for<'tcx> fn(_: TyCtxt<'tcx>, _: expn_that_defined<'tcx>) -> expn_that_defined<'tcx>,
    pub is_panic_runtime: for<'tcx> fn(_: TyCtxt<'tcx>, _: is_panic_runtime<'tcx>) -> is_panic_runtime<'tcx>,
    pub mir_keys: for<'tcx> fn(_: TyCtxt<'tcx>, _: mir_keys<'tcx>) -> mir_keys<'tcx>,
    pub mir_const_qualif: for<'tcx> fn(_: TyCtxt<'tcx>, _: mir_const_qualif<'tcx>) -> mir_const_qualif<'tcx>,
    pub mir_const_qualif_const_arg: for<'tcx> fn(_: TyCtxt<'tcx>, _: mir_const_qualif_const_arg<'tcx>) -> mir_const_qualif_const_arg<'tcx>,
    pub mir_built: for<'tcx> fn(_: TyCtxt<'tcx>, _: mir_built<'tcx>) -> mir_built<'tcx>,
    pub mir_const: for<'tcx> fn(_: TyCtxt<'tcx>, _: mir_const<'tcx>) -> mir_const<'tcx>,
    pub mir_abstract_const: for<'tcx> fn(_: TyCtxt<'tcx>, _: mir_abstract_const<'tcx>) -> mir_abstract_const<'tcx>,
    pub mir_abstract_const_of_const_arg: for<'tcx> fn(_: TyCtxt<'tcx>, _: mir_abstract_const_of_const_arg<'tcx>) -> mir_abstract_const_of_const_arg<'tcx>,
    pub try_unify_abstract_consts: for<'tcx> fn(_: TyCtxt<'tcx>, _: try_unify_abstract_consts<'tcx>) -> try_unify_abstract_consts<'tcx>,
    pub mir_drops_elaborated_and_const_checked: for<'tcx> fn(_: TyCtxt<'tcx>, _: mir_drops_elaborated_and_const_checked<'tcx>) -> mir_drops_elaborated_and_const_checked<'tcx>,
    pub mir_for_ctfe: for<'tcx> fn(_: TyCtxt<'tcx>, _: mir_for_ctfe<'tcx>) -> mir_for_ctfe<'tcx>,
    pub mir_for_ctfe_of_const_arg: for<'tcx> fn(_: TyCtxt<'tcx>, _: mir_for_ctfe_of_const_arg<'tcx>) -> mir_for_ctfe_of_const_arg<'tcx>,
    pub mir_promoted: for<'tcx> fn(_: TyCtxt<'tcx>, _: mir_promoted<'tcx>) -> mir_promoted<'tcx>,
    pub optimized_mir: for<'tcx> fn(_: TyCtxt<'tcx>, _: optimized_mir<'tcx>) -> optimized_mir<'tcx>,
    pub coverageinfo: for<'tcx> fn(_: TyCtxt<'tcx>, _: coverageinfo<'tcx>) -> coverageinfo<'tcx>,
    pub covered_file_name: for<'tcx> fn(_: TyCtxt<'tcx>, _: covered_file_name<'tcx>) -> covered_file_name<'tcx>,
    pub covered_code_regions: for<'tcx> fn(_: TyCtxt<'tcx>, _: covered_code_regions<'tcx>) -> covered_code_regions<'tcx>,
    pub promoted_mir: for<'tcx> fn(_: TyCtxt<'tcx>, _: promoted_mir<'tcx>) -> promoted_mir<'tcx>,
    pub promoted_mir_of_const_arg: for<'tcx> fn(_: TyCtxt<'tcx>, _: promoted_mir_of_const_arg<'tcx>) -> promoted_mir_of_const_arg<'tcx>,
    pub erase_regions_ty: for<'tcx> fn(_: TyCtxt<'tcx>, _: erase_regions_ty<'tcx>) -> erase_regions_ty<'tcx>,
    pub wasm_import_module_map: for<'tcx> fn(_: TyCtxt<'tcx>, _: wasm_import_module_map<'tcx>) -> wasm_import_module_map<'tcx>,
    pub predicates_defined_on: for<'tcx> fn(_: TyCtxt<'tcx>, _: predicates_defined_on<'tcx>) -> predicates_defined_on<'tcx>,
    pub trait_explicit_predicates_and_bounds: for<'tcx> fn(_: TyCtxt<'tcx>, _: trait_explicit_predicates_and_bounds<'tcx>) -> trait_explicit_predicates_and_bounds<'tcx>,
    pub explicit_predicates_of: for<'tcx> fn(_: TyCtxt<'tcx>, _: explicit_predicates_of<'tcx>) -> explicit_predicates_of<'tcx>,
    pub inferred_outlives_of: for<'tcx> fn(_: TyCtxt<'tcx>, _: inferred_outlives_of<'tcx>) -> inferred_outlives_of<'tcx>,
    pub super_predicates_of: for<'tcx> fn(_: TyCtxt<'tcx>, _: super_predicates_of<'tcx>) -> super_predicates_of<'tcx>,
    pub super_predicates_that_define_assoc_type: for<'tcx> fn(_: TyCtxt<'tcx>, _: super_predicates_that_define_assoc_type<'tcx>) -> super_predicates_that_define_assoc_type<'tcx>,
    pub type_param_predicates: for<'tcx> fn(_: TyCtxt<'tcx>, _: type_param_predicates<'tcx>) -> type_param_predicates<'tcx>,
    pub trait_def: for<'tcx> fn(_: TyCtxt<'tcx>, _: trait_def<'tcx>) -> trait_def<'tcx>,
    pub adt_def: for<'tcx> fn(_: TyCtxt<'tcx>, _: adt_def<'tcx>) -> adt_def<'tcx>,
    pub adt_destructor: for<'tcx> fn(_: TyCtxt<'tcx>, _: adt_destructor<'tcx>) -> adt_destructor<'tcx>,
    pub adt_sized_constraint: for<'tcx> fn(_: TyCtxt<'tcx>, _: adt_sized_constraint<'tcx>) -> adt_sized_constraint<'tcx>,
    pub adt_dtorck_constraint: for<'tcx> fn(_: TyCtxt<'tcx>, _: adt_dtorck_constraint<'tcx>) -> adt_dtorck_constraint<'tcx>,
    pub is_const_fn_raw: for<'tcx> fn(_: TyCtxt<'tcx>, _: is_const_fn_raw<'tcx>) -> is_const_fn_raw<'tcx>,
    pub is_const_impl_raw: for<'tcx> fn(_: TyCtxt<'tcx>, _: is_const_impl_raw<'tcx>) -> is_const_impl_raw<'tcx>,
    pub asyncness: for<'tcx> fn(_: TyCtxt<'tcx>, _: asyncness<'tcx>) -> asyncness<'tcx>,
    pub is_promotable_const_fn: for<'tcx> fn(_: TyCtxt<'tcx>, _: is_promotable_const_fn<'tcx>) -> is_promotable_const_fn<'tcx>,
    pub is_foreign_item: for<'tcx> fn(_: TyCtxt<'tcx>, _: is_foreign_item<'tcx>) -> is_foreign_item<'tcx>,
    pub static_mutability: for<'tcx> fn(_: TyCtxt<'tcx>, _: static_mutability<'tcx>) -> static_mutability<'tcx>,
    pub generator_kind: for<'tcx> fn(_: TyCtxt<'tcx>, _: generator_kind<'tcx>) -> generator_kind<'tcx>,
    pub crate_variances: for<'tcx> fn(_: TyCtxt<'tcx>, _: crate_variances<'tcx>) -> crate_variances<'tcx>,
    pub variances_of: for<'tcx> fn(_: TyCtxt<'tcx>, _: variances_of<'tcx>) -> variances_of<'tcx>,
    pub inferred_outlives_crate: for<'tcx> fn(_: TyCtxt<'tcx>, _: inferred_outlives_crate<'tcx>) -> inferred_outlives_crate<'tcx>,
    pub associated_item_def_ids: for<'tcx> fn(_: TyCtxt<'tcx>, _: associated_item_def_ids<'tcx>) -> associated_item_def_ids<'tcx>,
    pub associated_item: for<'tcx> fn(_: TyCtxt<'tcx>, _: associated_item<'tcx>) -> associated_item<'tcx>,
    pub associated_items: for<'tcx> fn(_: TyCtxt<'tcx>, _: associated_items<'tcx>) -> associated_items<'tcx>,
    pub impl_trait_ref: for<'tcx> fn(_: TyCtxt<'tcx>, _: impl_trait_ref<'tcx>) -> impl_trait_ref<'tcx>,
    pub impl_polarity: for<'tcx> fn(_: TyCtxt<'tcx>, _: impl_polarity<'tcx>) -> impl_polarity<'tcx>,
    pub issue33140_self_ty: for<'tcx> fn(_: TyCtxt<'tcx>, _: issue33140_self_ty<'tcx>) -> issue33140_self_ty<'tcx>,
    pub inherent_impls: for<'tcx> fn(_: TyCtxt<'tcx>, _: inherent_impls<'tcx>) -> inherent_impls<'tcx>,
    pub unsafety_check_result: for<'tcx> fn(_: TyCtxt<'tcx>, _: unsafety_check_result<'tcx>) -> unsafety_check_result<'tcx>,
    pub unsafety_check_result_for_const_arg: for<'tcx> fn(_: TyCtxt<'tcx>, _: unsafety_check_result_for_const_arg<'tcx>) -> unsafety_check_result_for_const_arg<'tcx>,
    pub unsafe_derive_on_repr_packed: for<'tcx> fn(_: TyCtxt<'tcx>, _: unsafe_derive_on_repr_packed<'tcx>) -> unsafe_derive_on_repr_packed<'tcx>,
    pub fn_sig: for<'tcx> fn(_: TyCtxt<'tcx>, _: fn_sig<'tcx>) -> fn_sig<'tcx>,
    pub lint_mod: for<'tcx> fn(_: TyCtxt<'tcx>, _: lint_mod<'tcx>) -> lint_mod<'tcx>,
    pub check_mod_attrs: for<'tcx> fn(_: TyCtxt<'tcx>, _: check_mod_attrs<'tcx>) -> check_mod_attrs<'tcx>,
    pub check_mod_unstable_api_usage: for<'tcx> fn(_: TyCtxt<'tcx>, _: check_mod_unstable_api_usage<'tcx>) -> check_mod_unstable_api_usage<'tcx>,
    pub check_mod_const_bodies: for<'tcx> fn(_: TyCtxt<'tcx>, _: check_mod_const_bodies<'tcx>) -> check_mod_const_bodies<'tcx>,
    pub check_mod_loops: for<'tcx> fn(_: TyCtxt<'tcx>, _: check_mod_loops<'tcx>) -> check_mod_loops<'tcx>,
    pub check_mod_naked_functions: for<'tcx> fn(_: TyCtxt<'tcx>, _: check_mod_naked_functions<'tcx>) -> check_mod_naked_functions<'tcx>,
    pub check_mod_item_types: for<'tcx> fn(_: TyCtxt<'tcx>, _: check_mod_item_types<'tcx>) -> check_mod_item_types<'tcx>,
    pub check_mod_privacy: for<'tcx> fn(_: TyCtxt<'tcx>, _: check_mod_privacy<'tcx>) -> check_mod_privacy<'tcx>,
    pub check_mod_intrinsics: for<'tcx> fn(_: TyCtxt<'tcx>, _: check_mod_intrinsics<'tcx>) -> check_mod_intrinsics<'tcx>,
    pub check_mod_liveness: for<'tcx> fn(_: TyCtxt<'tcx>, _: check_mod_liveness<'tcx>) -> check_mod_liveness<'tcx>,
    pub check_mod_impl_wf: for<'tcx> fn(_: TyCtxt<'tcx>, _: check_mod_impl_wf<'tcx>) -> check_mod_impl_wf<'tcx>,
    pub collect_mod_item_types: for<'tcx> fn(_: TyCtxt<'tcx>, _: collect_mod_item_types<'tcx>) -> collect_mod_item_types<'tcx>,
    pub coerce_unsized_info: for<'tcx> fn(_: TyCtxt<'tcx>, _: coerce_unsized_info<'tcx>) -> coerce_unsized_info<'tcx>,
    pub typeck_item_bodies: for<'tcx> fn(_: TyCtxt<'tcx>, _: typeck_item_bodies<'tcx>) -> typeck_item_bodies<'tcx>,
    pub typeck: for<'tcx> fn(_: TyCtxt<'tcx>, _: typeck<'tcx>) -> typeck<'tcx>,
    pub typeck_const_arg: for<'tcx> fn(_: TyCtxt<'tcx>, _: typeck_const_arg<'tcx>) -> typeck_const_arg<'tcx>,
    pub diagnostic_only_typeck: for<'tcx> fn(_: TyCtxt<'tcx>, _: diagnostic_only_typeck<'tcx>) -> diagnostic_only_typeck<'tcx>,
    pub used_trait_imports: for<'tcx> fn(_: TyCtxt<'tcx>, _: used_trait_imports<'tcx>) -> used_trait_imports<'tcx>,
    pub has_typeck_results: for<'tcx> fn(_: TyCtxt<'tcx>, _: has_typeck_results<'tcx>) -> has_typeck_results<'tcx>,
    pub coherent_trait: for<'tcx> fn(_: TyCtxt<'tcx>, _: coherent_trait<'tcx>) -> coherent_trait<'tcx>,
    pub mir_borrowck: for<'tcx> fn(_: TyCtxt<'tcx>, _: mir_borrowck<'tcx>) -> mir_borrowck<'tcx>,
    pub mir_borrowck_const_arg: for<'tcx> fn(_: TyCtxt<'tcx>, _: mir_borrowck_const_arg<'tcx>) -> mir_borrowck_const_arg<'tcx>,
    pub crate_inherent_impls: for<'tcx> fn(_: TyCtxt<'tcx>, _: crate_inherent_impls<'tcx>) -> crate_inherent_impls<'tcx>,
    pub crate_inherent_impls_overlap_check: for<'tcx> fn(_: TyCtxt<'tcx>, _: crate_inherent_impls_overlap_check<'tcx>) -> crate_inherent_impls_overlap_check<'tcx>,
    pub mir_callgraph_reachable: for<'tcx> fn(_: TyCtxt<'tcx>, _: mir_callgraph_reachable<'tcx>) -> mir_callgraph_reachable<'tcx>,
    pub mir_inliner_callees: for<'tcx> fn(_: TyCtxt<'tcx>, _: mir_inliner_callees<'tcx>) -> mir_inliner_callees<'tcx>,
    pub eval_to_allocation_raw: for<'tcx> fn(_: TyCtxt<'tcx>, _: eval_to_allocation_raw<'tcx>) -> eval_to_allocation_raw<'tcx>,
    pub eval_to_const_value_raw: for<'tcx> fn(_: TyCtxt<'tcx>, _: eval_to_const_value_raw<'tcx>) -> eval_to_const_value_raw<'tcx>,
    pub const_to_valtree: for<'tcx> fn(_: TyCtxt<'tcx>, _: const_to_valtree<'tcx>) -> const_to_valtree<'tcx>,
    pub destructure_const: for<'tcx> fn(_: TyCtxt<'tcx>, _: destructure_const<'tcx>) -> destructure_const<'tcx>,
    pub deref_const: for<'tcx> fn(_: TyCtxt<'tcx>, _: deref_const<'tcx>) -> deref_const<'tcx>,
    pub const_caller_location: for<'tcx> fn(_: TyCtxt<'tcx>, _: const_caller_location<'tcx>) -> const_caller_location<'tcx>,
    pub lit_to_const: for<'tcx> fn(_: TyCtxt<'tcx>, _: lit_to_const<'tcx>) -> lit_to_const<'tcx>,
    pub check_match: for<'tcx> fn(_: TyCtxt<'tcx>, _: check_match<'tcx>) -> check_match<'tcx>,
    pub privacy_access_levels: for<'tcx> fn(_: TyCtxt<'tcx>, _: privacy_access_levels<'tcx>) -> privacy_access_levels<'tcx>,
    pub check_private_in_public: for<'tcx> fn(_: TyCtxt<'tcx>, _: check_private_in_public<'tcx>) -> check_private_in_public<'tcx>,
    pub reachable_set: for<'tcx> fn(_: TyCtxt<'tcx>, _: reachable_set<'tcx>) -> reachable_set<'tcx>,
    pub region_scope_tree: for<'tcx> fn(_: TyCtxt<'tcx>, _: region_scope_tree<'tcx>) -> region_scope_tree<'tcx>,
    pub mir_shims: for<'tcx> fn(_: TyCtxt<'tcx>, _: mir_shims<'tcx>) -> mir_shims<'tcx>,
    pub symbol_name: for<'tcx> fn(_: TyCtxt<'tcx>, _: symbol_name<'tcx>) -> symbol_name<'tcx>,
    pub opt_def_kind: for<'tcx> fn(_: TyCtxt<'tcx>, _: opt_def_kind<'tcx>) -> opt_def_kind<'tcx>,
    pub def_span: for<'tcx> fn(_: TyCtxt<'tcx>, _: def_span<'tcx>) -> def_span<'tcx>,
    pub def_ident_span: for<'tcx> fn(_: TyCtxt<'tcx>, _: def_ident_span<'tcx>) -> def_ident_span<'tcx>,
    pub lookup_stability: for<'tcx> fn(_: TyCtxt<'tcx>, _: lookup_stability<'tcx>) -> lookup_stability<'tcx>,
    pub lookup_const_stability: for<'tcx> fn(_: TyCtxt<'tcx>, _: lookup_const_stability<'tcx>) -> lookup_const_stability<'tcx>,
    pub lookup_deprecation_entry: for<'tcx> fn(_: TyCtxt<'tcx>, _: lookup_deprecation_entry<'tcx>) -> lookup_deprecation_entry<'tcx>,
    pub item_attrs: for<'tcx> fn(_: TyCtxt<'tcx>, _: item_attrs<'tcx>) -> item_attrs<'tcx>,
    pub codegen_fn_attrs: for<'tcx> fn(_: TyCtxt<'tcx>, _: codegen_fn_attrs<'tcx>) -> codegen_fn_attrs<'tcx>,
    pub fn_arg_names: for<'tcx> fn(_: TyCtxt<'tcx>, _: fn_arg_names<'tcx>) -> fn_arg_names<'tcx>,
    pub rendered_const: for<'tcx> fn(_: TyCtxt<'tcx>, _: rendered_const<'tcx>) -> rendered_const<'tcx>,
    pub impl_parent: for<'tcx> fn(_: TyCtxt<'tcx>, _: impl_parent<'tcx>) -> impl_parent<'tcx>,
    pub trait_of_item: for<'tcx> fn(_: TyCtxt<'tcx>, _: trait_of_item<'tcx>) -> trait_of_item<'tcx>,
    pub is_ctfe_mir_available: for<'tcx> fn(_: TyCtxt<'tcx>, _: is_ctfe_mir_available<'tcx>) -> is_ctfe_mir_available<'tcx>,
    pub is_mir_available: for<'tcx> fn(_: TyCtxt<'tcx>, _: is_mir_available<'tcx>) -> is_mir_available<'tcx>,
    pub vtable_methods: for<'tcx> fn(_: TyCtxt<'tcx>, _: vtable_methods<'tcx>) -> vtable_methods<'tcx>,
    pub codegen_fulfill_obligation: for<'tcx> fn(_: TyCtxt<'tcx>, _: codegen_fulfill_obligation<'tcx>) -> codegen_fulfill_obligation<'tcx>,
    pub all_local_trait_impls: for<'tcx> fn(_: TyCtxt<'tcx>, _: all_local_trait_impls<'tcx>) -> all_local_trait_impls<'tcx>,
    pub trait_impls_of: for<'tcx> fn(_: TyCtxt<'tcx>, _: trait_impls_of<'tcx>) -> trait_impls_of<'tcx>,
    pub specialization_graph_of: for<'tcx> fn(_: TyCtxt<'tcx>, _: specialization_graph_of<'tcx>) -> specialization_graph_of<'tcx>,
    pub object_safety_violations: for<'tcx> fn(_: TyCtxt<'tcx>, _: object_safety_violations<'tcx>) -> object_safety_violations<'tcx>,
    pub param_env: for<'tcx> fn(_: TyCtxt<'tcx>, _: param_env<'tcx>) -> param_env<'tcx>,
    pub param_env_reveal_all_normalized: for<'tcx> fn(_: TyCtxt<'tcx>, _: param_env_reveal_all_normalized<'tcx>) -> param_env_reveal_all_normalized<'tcx>,
    pub is_copy_raw: for<'tcx> fn(_: TyCtxt<'tcx>, _: is_copy_raw<'tcx>) -> is_copy_raw<'tcx>,
    pub is_sized_raw: for<'tcx> fn(_: TyCtxt<'tcx>, _: is_sized_raw<'tcx>) -> is_sized_raw<'tcx>,
    pub is_freeze_raw: for<'tcx> fn(_: TyCtxt<'tcx>, _: is_freeze_raw<'tcx>) -> is_freeze_raw<'tcx>,
    pub needs_drop_raw: for<'tcx> fn(_: TyCtxt<'tcx>, _: needs_drop_raw<'tcx>) -> needs_drop_raw<'tcx>,
    pub has_structural_eq_impls: for<'tcx> fn(_: TyCtxt<'tcx>, _: has_structural_eq_impls<'tcx>) -> has_structural_eq_impls<'tcx>,
    pub adt_drop_tys: for<'tcx> fn(_: TyCtxt<'tcx>, _: adt_drop_tys<'tcx>) -> adt_drop_tys<'tcx>,
    pub layout_raw: for<'tcx> fn(_: TyCtxt<'tcx>, _: layout_raw<'tcx>) -> layout_raw<'tcx>,
    pub dylib_dependency_formats: for<'tcx> fn(_: TyCtxt<'tcx>, _: dylib_dependency_formats<'tcx>) -> dylib_dependency_formats<'tcx>,
    pub dependency_formats: for<'tcx> fn(_: TyCtxt<'tcx>, _: dependency_formats<'tcx>) -> dependency_formats<'tcx>,
    pub is_compiler_builtins: for<'tcx> fn(_: TyCtxt<'tcx>, _: is_compiler_builtins<'tcx>) -> is_compiler_builtins<'tcx>,
    pub has_global_allocator: for<'tcx> fn(_: TyCtxt<'tcx>, _: has_global_allocator<'tcx>) -> has_global_allocator<'tcx>,
    pub has_panic_handler: for<'tcx> fn(_: TyCtxt<'tcx>, _: has_panic_handler<'tcx>) -> has_panic_handler<'tcx>,
    pub is_profiler_runtime: for<'tcx> fn(_: TyCtxt<'tcx>, _: is_profiler_runtime<'tcx>) -> is_profiler_runtime<'tcx>,
    pub panic_strategy: for<'tcx> fn(_: TyCtxt<'tcx>, _: panic_strategy<'tcx>) -> panic_strategy<'tcx>,
    pub is_no_builtins: for<'tcx> fn(_: TyCtxt<'tcx>, _: is_no_builtins<'tcx>) -> is_no_builtins<'tcx>,
    pub symbol_mangling_version: for<'tcx> fn(_: TyCtxt<'tcx>, _: symbol_mangling_version<'tcx>) -> symbol_mangling_version<'tcx>,
    pub extern_crate: for<'tcx> fn(_: TyCtxt<'tcx>, _: extern_crate<'tcx>) -> extern_crate<'tcx>,
    pub specializes: for<'tcx> fn(_: TyCtxt<'tcx>, _: specializes<'tcx>) -> specializes<'tcx>,
    pub in_scope_traits_map: for<'tcx> fn(_: TyCtxt<'tcx>, _: in_scope_traits_map<'tcx>) -> in_scope_traits_map<'tcx>,
    pub module_exports: for<'tcx> fn(_: TyCtxt<'tcx>, _: module_exports<'tcx>) -> module_exports<'tcx>,
    pub impl_defaultness: for<'tcx> fn(_: TyCtxt<'tcx>, _: impl_defaultness<'tcx>) -> impl_defaultness<'tcx>,
    pub check_item_well_formed: for<'tcx> fn(_: TyCtxt<'tcx>, _: check_item_well_formed<'tcx>) -> check_item_well_formed<'tcx>,
    pub check_trait_item_well_formed: for<'tcx> fn(_: TyCtxt<'tcx>, _: check_trait_item_well_formed<'tcx>) -> check_trait_item_well_formed<'tcx>,
    pub check_impl_item_well_formed: for<'tcx> fn(_: TyCtxt<'tcx>, _: check_impl_item_well_formed<'tcx>) -> check_impl_item_well_formed<'tcx>,
    pub reachable_non_generics: for<'tcx> fn(_: TyCtxt<'tcx>, _: reachable_non_generics<'tcx>) -> reachable_non_generics<'tcx>,
    pub is_reachable_non_generic: for<'tcx> fn(_: TyCtxt<'tcx>, _: is_reachable_non_generic<'tcx>) -> is_reachable_non_generic<'tcx>,
    pub is_unreachable_local_definition: for<'tcx> fn(_: TyCtxt<'tcx>, _: is_unreachable_local_definition<'tcx>) -> is_unreachable_local_definition<'tcx>,
    pub upstream_monomorphizations: for<'tcx> fn(_: TyCtxt<'tcx>, _: upstream_monomorphizations<'tcx>) -> upstream_monomorphizations<'tcx>,
    pub upstream_monomorphizations_for: for<'tcx> fn(_: TyCtxt<'tcx>, _: upstream_monomorphizations_for<'tcx>) -> upstream_monomorphizations_for<'tcx>,
    pub upstream_drop_glue_for: for<'tcx> fn(_: TyCtxt<'tcx>, _: upstream_drop_glue_for<'tcx>) -> upstream_drop_glue_for<'tcx>,
    pub foreign_modules: for<'tcx> fn(_: TyCtxt<'tcx>, _: foreign_modules<'tcx>) -> foreign_modules<'tcx>,
    pub entry_fn: for<'tcx> fn(_: TyCtxt<'tcx>, _: entry_fn<'tcx>) -> entry_fn<'tcx>,
    pub plugin_registrar_fn: for<'tcx> fn(_: TyCtxt<'tcx>, _: plugin_registrar_fn<'tcx>) -> plugin_registrar_fn<'tcx>,
    pub proc_macro_decls_static: for<'tcx> fn(_: TyCtxt<'tcx>, _: proc_macro_decls_static<'tcx>) -> proc_macro_decls_static<'tcx>,
    pub crate_disambiguator: for<'tcx> fn(_: TyCtxt<'tcx>, _: crate_disambiguator<'tcx>) -> crate_disambiguator<'tcx>,
    pub crate_hash: for<'tcx> fn(_: TyCtxt<'tcx>, _: crate_hash<'tcx>) -> crate_hash<'tcx>,
    pub crate_host_hash: for<'tcx> fn(_: TyCtxt<'tcx>, _: crate_host_hash<'tcx>) -> crate_host_hash<'tcx>,
    pub original_crate_name: for<'tcx> fn(_: TyCtxt<'tcx>, _: original_crate_name<'tcx>) -> original_crate_name<'tcx>,
    pub extra_filename: for<'tcx> fn(_: TyCtxt<'tcx>, _: extra_filename<'tcx>) -> extra_filename<'tcx>,
    pub crate_extern_paths: for<'tcx> fn(_: TyCtxt<'tcx>, _: crate_extern_paths<'tcx>) -> crate_extern_paths<'tcx>,
    pub implementations_of_trait: for<'tcx> fn(_: TyCtxt<'tcx>, _: implementations_of_trait<'tcx>) -> implementations_of_trait<'tcx>,
    pub all_trait_implementations: for<'tcx> fn(_: TyCtxt<'tcx>, _: all_trait_implementations<'tcx>) -> all_trait_implementations<'tcx>,
    pub is_dllimport_foreign_item: for<'tcx> fn(_: TyCtxt<'tcx>, _: is_dllimport_foreign_item<'tcx>) -> is_dllimport_foreign_item<'tcx>,
    pub is_statically_included_foreign_item: for<'tcx> fn(_: TyCtxt<'tcx>, _: is_statically_included_foreign_item<'tcx>) -> is_statically_included_foreign_item<'tcx>,
    pub native_library_kind: for<'tcx> fn(_: TyCtxt<'tcx>, _: native_library_kind<'tcx>) -> native_library_kind<'tcx>,
    pub link_args: for<'tcx> fn(_: TyCtxt<'tcx>, _: link_args<'tcx>) -> link_args<'tcx>,
    pub resolve_lifetimes: for<'tcx> fn(_: TyCtxt<'tcx>, _: resolve_lifetimes<'tcx>) -> resolve_lifetimes<'tcx>,
    pub named_region_map: for<'tcx> fn(_: TyCtxt<'tcx>, _: named_region_map<'tcx>) -> named_region_map<'tcx>,
    pub is_late_bound_map: for<'tcx> fn(_: TyCtxt<'tcx>, _: is_late_bound_map<'tcx>) -> is_late_bound_map<'tcx>,
    pub object_lifetime_defaults_map: for<'tcx> fn(_: TyCtxt<'tcx>, _: object_lifetime_defaults_map<'tcx>) -> object_lifetime_defaults_map<'tcx>,
    pub visibility: for<'tcx> fn(_: TyCtxt<'tcx>, _: visibility<'tcx>) -> visibility<'tcx>,
    pub type_uninhabited_from: for<'tcx> fn(_: TyCtxt<'tcx>, _: type_uninhabited_from<'tcx>) -> type_uninhabited_from<'tcx>,
    pub dep_kind: for<'tcx> fn(_: TyCtxt<'tcx>, _: dep_kind<'tcx>) -> dep_kind<'tcx>,
    pub crate_name: for<'tcx> fn(_: TyCtxt<'tcx>, _: crate_name<'tcx>) -> crate_name<'tcx>,
    pub item_children: for<'tcx> fn(_: TyCtxt<'tcx>, _: item_children<'tcx>) -> item_children<'tcx>,
    pub extern_mod_stmt_cnum: for<'tcx> fn(_: TyCtxt<'tcx>, _: extern_mod_stmt_cnum<'tcx>) -> extern_mod_stmt_cnum<'tcx>,
    pub get_lib_features: for<'tcx> fn(_: TyCtxt<'tcx>, _: get_lib_features<'tcx>) -> get_lib_features<'tcx>,
    pub defined_lib_features: for<'tcx> fn(_: TyCtxt<'tcx>, _: defined_lib_features<'tcx>) -> defined_lib_features<'tcx>,
    pub get_lang_items: for<'tcx> fn(_: TyCtxt<'tcx>, _: get_lang_items<'tcx>) -> get_lang_items<'tcx>,
    pub all_diagnostic_items: for<'tcx> fn(_: TyCtxt<'tcx>, _: all_diagnostic_items<'tcx>) -> all_diagnostic_items<'tcx>,
    pub defined_lang_items: for<'tcx> fn(_: TyCtxt<'tcx>, _: defined_lang_items<'tcx>) -> defined_lang_items<'tcx>,
    pub diagnostic_items: for<'tcx> fn(_: TyCtxt<'tcx>, _: diagnostic_items<'tcx>) -> diagnostic_items<'tcx>,
    pub missing_lang_items: for<'tcx> fn(_: TyCtxt<'tcx>, _: missing_lang_items<'tcx>) -> missing_lang_items<'tcx>,
    pub visible_parent_map: for<'tcx> fn(_: TyCtxt<'tcx>, _: visible_parent_map<'tcx>) -> visible_parent_map<'tcx>,
    pub trimmed_def_paths: for<'tcx> fn(_: TyCtxt<'tcx>, _: trimmed_def_paths<'tcx>) -> trimmed_def_paths<'tcx>,
    pub missing_extern_crate_item: for<'tcx> fn(_: TyCtxt<'tcx>, _: missing_extern_crate_item<'tcx>) -> missing_extern_crate_item<'tcx>,
    pub used_crate_source: for<'tcx> fn(_: TyCtxt<'tcx>, _: used_crate_source<'tcx>) -> used_crate_source<'tcx>,
    pub postorder_cnums: for<'tcx> fn(_: TyCtxt<'tcx>, _: postorder_cnums<'tcx>) -> postorder_cnums<'tcx>,
    pub upvars_mentioned: for<'tcx> fn(_: TyCtxt<'tcx>, _: upvars_mentioned<'tcx>) -> upvars_mentioned<'tcx>,
    pub maybe_unused_trait_import: for<'tcx> fn(_: TyCtxt<'tcx>, _: maybe_unused_trait_import<'tcx>) -> maybe_unused_trait_import<'tcx>,
    pub maybe_unused_extern_crates: for<'tcx> fn(_: TyCtxt<'tcx>, _: maybe_unused_extern_crates<'tcx>) -> maybe_unused_extern_crates<'tcx>,
    pub names_imported_by_glob_use: for<'tcx> fn(_: TyCtxt<'tcx>, _: names_imported_by_glob_use<'tcx>) -> names_imported_by_glob_use<'tcx>,
    pub stability_index: for<'tcx> fn(_: TyCtxt<'tcx>, _: stability_index<'tcx>) -> stability_index<'tcx>,
    pub all_crate_nums: for<'tcx> fn(_: TyCtxt<'tcx>, _: all_crate_nums<'tcx>) -> all_crate_nums<'tcx>,
    pub all_traits: for<'tcx> fn(_: TyCtxt<'tcx>, _: all_traits<'tcx>) -> all_traits<'tcx>,
    pub exported_symbols: for<'tcx> fn(_: TyCtxt<'tcx>, _: exported_symbols<'tcx>) -> exported_symbols<'tcx>,
    pub collect_and_partition_mono_items: for<'tcx> fn(_: TyCtxt<'tcx>, _: collect_and_partition_mono_items<'tcx>) -> collect_and_partition_mono_items<'tcx>,
    pub is_codegened_item: for<'tcx> fn(_: TyCtxt<'tcx>, _: is_codegened_item<'tcx>) -> is_codegened_item<'tcx>,
    pub codegened_and_inlined_items: for<'tcx> fn(_: TyCtxt<'tcx>, _: codegened_and_inlined_items<'tcx>) -> codegened_and_inlined_items<'tcx>,
    pub codegen_unit: for<'tcx> fn(_: TyCtxt<'tcx>, _: codegen_unit<'tcx>) -> codegen_unit<'tcx>,
    pub unused_generic_params: for<'tcx> fn(_: TyCtxt<'tcx>, _: unused_generic_params<'tcx>) -> unused_generic_params<'tcx>,
    pub backend_optimization_level: for<'tcx> fn(_: TyCtxt<'tcx>, _: backend_optimization_level<'tcx>) -> backend_optimization_level<'tcx>,
    pub output_filenames: for<'tcx> fn(_: TyCtxt<'tcx>, _: output_filenames<'tcx>) -> output_filenames<'tcx>,
    pub normalize_projection_ty: for<'tcx> fn(_: TyCtxt<'tcx>, _: normalize_projection_ty<'tcx>) -> normalize_projection_ty<'tcx>,
    pub normalize_generic_arg_after_erasing_regions: for<'tcx> fn(_: TyCtxt<'tcx>, _: normalize_generic_arg_after_erasing_regions<'tcx>) -> normalize_generic_arg_after_erasing_regions<'tcx>,
    pub implied_outlives_bounds: for<'tcx> fn(_: TyCtxt<'tcx>, _: implied_outlives_bounds<'tcx>) -> implied_outlives_bounds<'tcx>,
    pub dropck_outlives: for<'tcx> fn(_: TyCtxt<'tcx>, _: dropck_outlives<'tcx>) -> dropck_outlives<'tcx>,
    pub evaluate_obligation: for<'tcx> fn(_: TyCtxt<'tcx>, _: evaluate_obligation<'tcx>) -> evaluate_obligation<'tcx>,
    pub evaluate_goal: for<'tcx> fn(_: TyCtxt<'tcx>, _: evaluate_goal<'tcx>) -> evaluate_goal<'tcx>,
    pub type_implements_trait: for<'tcx> fn(_: TyCtxt<'tcx>, _: type_implements_trait<'tcx>) -> type_implements_trait<'tcx>,
    pub type_op_ascribe_user_type: for<'tcx> fn(_: TyCtxt<'tcx>, _: type_op_ascribe_user_type<'tcx>) -> type_op_ascribe_user_type<'tcx>,
    pub type_op_eq: for<'tcx> fn(_: TyCtxt<'tcx>, _: type_op_eq<'tcx>) -> type_op_eq<'tcx>,
    pub type_op_subtype: for<'tcx> fn(_: TyCtxt<'tcx>, _: type_op_subtype<'tcx>) -> type_op_subtype<'tcx>,
    pub type_op_prove_predicate: for<'tcx> fn(_: TyCtxt<'tcx>, _: type_op_prove_predicate<'tcx>) -> type_op_prove_predicate<'tcx>,
    pub type_op_normalize_ty: for<'tcx> fn(_: TyCtxt<'tcx>, _: type_op_normalize_ty<'tcx>) -> type_op_normalize_ty<'tcx>,
    pub type_op_normalize_predicate: for<'tcx> fn(_: TyCtxt<'tcx>, _: type_op_normalize_predicate<'tcx>) -> type_op_normalize_predicate<'tcx>,
    pub type_op_normalize_poly_fn_sig: for<'tcx> fn(_: TyCtxt<'tcx>, _: type_op_normalize_poly_fn_sig<'tcx>) -> type_op_normalize_poly_fn_sig<'tcx>,
    pub type_op_normalize_fn_sig: for<'tcx> fn(_: TyCtxt<'tcx>, _: type_op_normalize_fn_sig<'tcx>) -> type_op_normalize_fn_sig<'tcx>,
    pub subst_and_check_impossible_predicates: for<'tcx> fn(_: TyCtxt<'tcx>, _: subst_and_check_impossible_predicates<'tcx>) -> subst_and_check_impossible_predicates<'tcx>,
    pub method_autoderef_steps: for<'tcx> fn(_: TyCtxt<'tcx>, _: method_autoderef_steps<'tcx>) -> method_autoderef_steps<'tcx>,
    pub supported_target_features: for<'tcx> fn(_: TyCtxt<'tcx>, _: supported_target_features<'tcx>) -> supported_target_features<'tcx>,
    pub instance_def_size_estimate: for<'tcx> fn(_: TyCtxt<'tcx>, _: instance_def_size_estimate<'tcx>) -> instance_def_size_estimate<'tcx>,
    pub features_query: for<'tcx> fn(_: TyCtxt<'tcx>, _: features_query<'tcx>) -> features_query<'tcx>,
    pub resolve_instance: for<'tcx> fn(_: TyCtxt<'tcx>, _: resolve_instance<'tcx>) -> resolve_instance<'tcx>,
    pub resolve_instance_of_const_arg: for<'tcx> fn(_: TyCtxt<'tcx>, _: resolve_instance_of_const_arg<'tcx>) -> resolve_instance_of_const_arg<'tcx>,
    pub normalize_opaque_types: for<'tcx> fn(_: TyCtxt<'tcx>, _: normalize_opaque_types<'tcx>) -> normalize_opaque_types<'tcx>,
    pub conservative_is_privately_uninhabited: for<'tcx> fn(_: TyCtxt<'tcx>, _: conservative_is_privately_uninhabited<'tcx>) -> conservative_is_privately_uninhabited<'tcx>,
}

Fields

trigger_delay_span_bug: for<'tcx> fn(_: TyCtxt<'tcx>, _: trigger_delay_span_bug<'tcx>) -> trigger_delay_span_bug<'tcx>

hir_crate: for<'tcx> fn(_: TyCtxt<'tcx>, _: hir_crate<'tcx>) -> hir_crate<'tcx>

index_hir: for<'tcx> fn(_: TyCtxt<'tcx>, _: index_hir<'tcx>) -> index_hir<'tcx>

hir_module_items: for<'tcx> fn(_: TyCtxt<'tcx>, _: hir_module_items<'tcx>) -> hir_module_items<'tcx>

hir_owner: for<'tcx> fn(_: TyCtxt<'tcx>, _: hir_owner<'tcx>) -> hir_owner<'tcx>

hir_owner_nodes: for<'tcx> fn(_: TyCtxt<'tcx>, _: hir_owner_nodes<'tcx>) -> hir_owner_nodes<'tcx>

hir_attrs: for<'tcx> fn(_: TyCtxt<'tcx>, _: hir_attrs<'tcx>) -> hir_attrs<'tcx>

opt_const_param_of: for<'tcx> fn(_: TyCtxt<'tcx>, _: opt_const_param_of<'tcx>) -> opt_const_param_of<'tcx>

type_of: for<'tcx> fn(_: TyCtxt<'tcx>, _: type_of<'tcx>) -> type_of<'tcx>

analysis: for<'tcx> fn(_: TyCtxt<'tcx>, _: analysis<'tcx>) -> analysis<'tcx>

generics_of: for<'tcx> fn(_: TyCtxt<'tcx>, _: generics_of<'tcx>) -> generics_of<'tcx>

predicates_of: for<'tcx> fn(_: TyCtxt<'tcx>, _: predicates_of<'tcx>) -> predicates_of<'tcx>

explicit_item_bounds: for<'tcx> fn(_: TyCtxt<'tcx>, _: explicit_item_bounds<'tcx>) -> explicit_item_bounds<'tcx>

item_bounds: for<'tcx> fn(_: TyCtxt<'tcx>, _: item_bounds<'tcx>) -> item_bounds<'tcx>

projection_ty_from_predicates: for<'tcx> fn(_: TyCtxt<'tcx>, _: projection_ty_from_predicates<'tcx>) -> projection_ty_from_predicates<'tcx>

native_libraries: for<'tcx> fn(_: TyCtxt<'tcx>, _: native_libraries<'tcx>) -> native_libraries<'tcx>

lint_levels: for<'tcx> fn(_: TyCtxt<'tcx>, _: lint_levels<'tcx>) -> lint_levels<'tcx>

parent_module_from_def_id: for<'tcx> fn(_: TyCtxt<'tcx>, _: parent_module_from_def_id<'tcx>) -> parent_module_from_def_id<'tcx>

expn_that_defined: for<'tcx> fn(_: TyCtxt<'tcx>, _: expn_that_defined<'tcx>) -> expn_that_defined<'tcx>

is_panic_runtime: for<'tcx> fn(_: TyCtxt<'tcx>, _: is_panic_runtime<'tcx>) -> is_panic_runtime<'tcx>

mir_keys: for<'tcx> fn(_: TyCtxt<'tcx>, _: mir_keys<'tcx>) -> mir_keys<'tcx>

mir_const_qualif: for<'tcx> fn(_: TyCtxt<'tcx>, _: mir_const_qualif<'tcx>) -> mir_const_qualif<'tcx>

mir_const_qualif_const_arg: for<'tcx> fn(_: TyCtxt<'tcx>, _: mir_const_qualif_const_arg<'tcx>) -> mir_const_qualif_const_arg<'tcx>

mir_built: for<'tcx> fn(_: TyCtxt<'tcx>, _: mir_built<'tcx>) -> mir_built<'tcx>

mir_const: for<'tcx> fn(_: TyCtxt<'tcx>, _: mir_const<'tcx>) -> mir_const<'tcx>

mir_abstract_const: for<'tcx> fn(_: TyCtxt<'tcx>, _: mir_abstract_const<'tcx>) -> mir_abstract_const<'tcx>

mir_abstract_const_of_const_arg: for<'tcx> fn(_: TyCtxt<'tcx>, _: mir_abstract_const_of_const_arg<'tcx>) -> mir_abstract_const_of_const_arg<'tcx>

try_unify_abstract_consts: for<'tcx> fn(_: TyCtxt<'tcx>, _: try_unify_abstract_consts<'tcx>) -> try_unify_abstract_consts<'tcx>

mir_drops_elaborated_and_const_checked: for<'tcx> fn(_: TyCtxt<'tcx>, _: mir_drops_elaborated_and_const_checked<'tcx>) -> mir_drops_elaborated_and_const_checked<'tcx>

mir_for_ctfe: for<'tcx> fn(_: TyCtxt<'tcx>, _: mir_for_ctfe<'tcx>) -> mir_for_ctfe<'tcx>

mir_for_ctfe_of_const_arg: for<'tcx> fn(_: TyCtxt<'tcx>, _: mir_for_ctfe_of_const_arg<'tcx>) -> mir_for_ctfe_of_const_arg<'tcx>

mir_promoted: for<'tcx> fn(_: TyCtxt<'tcx>, _: mir_promoted<'tcx>) -> mir_promoted<'tcx>

optimized_mir: for<'tcx> fn(_: TyCtxt<'tcx>, _: optimized_mir<'tcx>) -> optimized_mir<'tcx>

coverageinfo: for<'tcx> fn(_: TyCtxt<'tcx>, _: coverageinfo<'tcx>) -> coverageinfo<'tcx>

covered_file_name: for<'tcx> fn(_: TyCtxt<'tcx>, _: covered_file_name<'tcx>) -> covered_file_name<'tcx>

covered_code_regions: for<'tcx> fn(_: TyCtxt<'tcx>, _: covered_code_regions<'tcx>) -> covered_code_regions<'tcx>

promoted_mir: for<'tcx> fn(_: TyCtxt<'tcx>, _: promoted_mir<'tcx>) -> promoted_mir<'tcx>

promoted_mir_of_const_arg: for<'tcx> fn(_: TyCtxt<'tcx>, _: promoted_mir_of_const_arg<'tcx>) -> promoted_mir_of_const_arg<'tcx>

erase_regions_ty: for<'tcx> fn(_: TyCtxt<'tcx>, _: erase_regions_ty<'tcx>) -> erase_regions_ty<'tcx>

wasm_import_module_map: for<'tcx> fn(_: TyCtxt<'tcx>, _: wasm_import_module_map<'tcx>) -> wasm_import_module_map<'tcx>

predicates_defined_on: for<'tcx> fn(_: TyCtxt<'tcx>, _: predicates_defined_on<'tcx>) -> predicates_defined_on<'tcx>

trait_explicit_predicates_and_bounds: for<'tcx> fn(_: TyCtxt<'tcx>, _: trait_explicit_predicates_and_bounds<'tcx>) -> trait_explicit_predicates_and_bounds<'tcx>

explicit_predicates_of: for<'tcx> fn(_: TyCtxt<'tcx>, _: explicit_predicates_of<'tcx>) -> explicit_predicates_of<'tcx>

inferred_outlives_of: for<'tcx> fn(_: TyCtxt<'tcx>, _: inferred_outlives_of<'tcx>) -> inferred_outlives_of<'tcx>

super_predicates_of: for<'tcx> fn(_: TyCtxt<'tcx>, _: super_predicates_of<'tcx>) -> super_predicates_of<'tcx>

super_predicates_that_define_assoc_type: for<'tcx> fn(_: TyCtxt<'tcx>, _: super_predicates_that_define_assoc_type<'tcx>) -> super_predicates_that_define_assoc_type<'tcx>

type_param_predicates: for<'tcx> fn(_: TyCtxt<'tcx>, _: type_param_predicates<'tcx>) -> type_param_predicates<'tcx>

trait_def: for<'tcx> fn(_: TyCtxt<'tcx>, _: trait_def<'tcx>) -> trait_def<'tcx>

adt_def: for<'tcx> fn(_: TyCtxt<'tcx>, _: adt_def<'tcx>) -> adt_def<'tcx>

adt_destructor: for<'tcx> fn(_: TyCtxt<'tcx>, _: adt_destructor<'tcx>) -> adt_destructor<'tcx>

adt_sized_constraint: for<'tcx> fn(_: TyCtxt<'tcx>, _: adt_sized_constraint<'tcx>) -> adt_sized_constraint<'tcx>

adt_dtorck_constraint: for<'tcx> fn(_: TyCtxt<'tcx>, _: adt_dtorck_constraint<'tcx>) -> adt_dtorck_constraint<'tcx>

is_const_fn_raw: for<'tcx> fn(_: TyCtxt<'tcx>, _: is_const_fn_raw<'tcx>) -> is_const_fn_raw<'tcx>

is_const_impl_raw: for<'tcx> fn(_: TyCtxt<'tcx>, _: is_const_impl_raw<'tcx>) -> is_const_impl_raw<'tcx>

asyncness: for<'tcx> fn(_: TyCtxt<'tcx>, _: asyncness<'tcx>) -> asyncness<'tcx>

is_promotable_const_fn: for<'tcx> fn(_: TyCtxt<'tcx>, _: is_promotable_const_fn<'tcx>) -> is_promotable_const_fn<'tcx>

is_foreign_item: for<'tcx> fn(_: TyCtxt<'tcx>, _: is_foreign_item<'tcx>) -> is_foreign_item<'tcx>

static_mutability: for<'tcx> fn(_: TyCtxt<'tcx>, _: static_mutability<'tcx>) -> static_mutability<'tcx>

generator_kind: for<'tcx> fn(_: TyCtxt<'tcx>, _: generator_kind<'tcx>) -> generator_kind<'tcx>

crate_variances: for<'tcx> fn(_: TyCtxt<'tcx>, _: crate_variances<'tcx>) -> crate_variances<'tcx>

variances_of: for<'tcx> fn(_: TyCtxt<'tcx>, _: variances_of<'tcx>) -> variances_of<'tcx>

inferred_outlives_crate: for<'tcx> fn(_: TyCtxt<'tcx>, _: inferred_outlives_crate<'tcx>) -> inferred_outlives_crate<'tcx>

associated_item_def_ids: for<'tcx> fn(_: TyCtxt<'tcx>, _: associated_item_def_ids<'tcx>) -> associated_item_def_ids<'tcx>

associated_item: for<'tcx> fn(_: TyCtxt<'tcx>, _: associated_item<'tcx>) -> associated_item<'tcx>

associated_items: for<'tcx> fn(_: TyCtxt<'tcx>, _: associated_items<'tcx>) -> associated_items<'tcx>

impl_trait_ref: for<'tcx> fn(_: TyCtxt<'tcx>, _: impl_trait_ref<'tcx>) -> impl_trait_ref<'tcx>

impl_polarity: for<'tcx> fn(_: TyCtxt<'tcx>, _: impl_polarity<'tcx>) -> impl_polarity<'tcx>

issue33140_self_ty: for<'tcx> fn(_: TyCtxt<'tcx>, _: issue33140_self_ty<'tcx>) -> issue33140_self_ty<'tcx>

inherent_impls: for<'tcx> fn(_: TyCtxt<'tcx>, _: inherent_impls<'tcx>) -> inherent_impls<'tcx>

unsafety_check_result: for<'tcx> fn(_: TyCtxt<'tcx>, _: unsafety_check_result<'tcx>) -> unsafety_check_result<'tcx>

unsafety_check_result_for_const_arg: for<'tcx> fn(_: TyCtxt<'tcx>, _: unsafety_check_result_for_const_arg<'tcx>) -> unsafety_check_result_for_const_arg<'tcx>

unsafe_derive_on_repr_packed: for<'tcx> fn(_: TyCtxt<'tcx>, _: unsafe_derive_on_repr_packed<'tcx>) -> unsafe_derive_on_repr_packed<'tcx>

fn_sig: for<'tcx> fn(_: TyCtxt<'tcx>, _: fn_sig<'tcx>) -> fn_sig<'tcx>

lint_mod: for<'tcx> fn(_: TyCtxt<'tcx>, _: lint_mod<'tcx>) -> lint_mod<'tcx>

check_mod_attrs: for<'tcx> fn(_: TyCtxt<'tcx>, _: check_mod_attrs<'tcx>) -> check_mod_attrs<'tcx>

check_mod_unstable_api_usage: for<'tcx> fn(_: TyCtxt<'tcx>, _: check_mod_unstable_api_usage<'tcx>) -> check_mod_unstable_api_usage<'tcx>

check_mod_const_bodies: for<'tcx> fn(_: TyCtxt<'tcx>, _: check_mod_const_bodies<'tcx>) -> check_mod_const_bodies<'tcx>

check_mod_loops: for<'tcx> fn(_: TyCtxt<'tcx>, _: check_mod_loops<'tcx>) -> check_mod_loops<'tcx>

check_mod_naked_functions: for<'tcx> fn(_: TyCtxt<'tcx>, _: check_mod_naked_functions<'tcx>) -> check_mod_naked_functions<'tcx>

check_mod_item_types: for<'tcx> fn(_: TyCtxt<'tcx>, _: check_mod_item_types<'tcx>) -> check_mod_item_types<'tcx>

check_mod_privacy: for<'tcx> fn(_: TyCtxt<'tcx>, _: check_mod_privacy<'tcx>) -> check_mod_privacy<'tcx>

check_mod_intrinsics: for<'tcx> fn(_: TyCtxt<'tcx>, _: check_mod_intrinsics<'tcx>) -> check_mod_intrinsics<'tcx>

check_mod_liveness: for<'tcx> fn(_: TyCtxt<'tcx>, _: check_mod_liveness<'tcx>) -> check_mod_liveness<'tcx>

check_mod_impl_wf: for<'tcx> fn(_: TyCtxt<'tcx>, _: check_mod_impl_wf<'tcx>) -> check_mod_impl_wf<'tcx>

collect_mod_item_types: for<'tcx> fn(_: TyCtxt<'tcx>, _: collect_mod_item_types<'tcx>) -> collect_mod_item_types<'tcx>

coerce_unsized_info: for<'tcx> fn(_: TyCtxt<'tcx>, _: coerce_unsized_info<'tcx>) -> coerce_unsized_info<'tcx>

typeck_item_bodies: for<'tcx> fn(_: TyCtxt<'tcx>, _: typeck_item_bodies<'tcx>) -> typeck_item_bodies<'tcx>

typeck: for<'tcx> fn(_: TyCtxt<'tcx>, _: typeck<'tcx>) -> typeck<'tcx>

typeck_const_arg: for<'tcx> fn(_: TyCtxt<'tcx>, _: typeck_const_arg<'tcx>) -> typeck_const_arg<'tcx>

diagnostic_only_typeck: for<'tcx> fn(_: TyCtxt<'tcx>, _: diagnostic_only_typeck<'tcx>) -> diagnostic_only_typeck<'tcx>

used_trait_imports: for<'tcx> fn(_: TyCtxt<'tcx>, _: used_trait_imports<'tcx>) -> used_trait_imports<'tcx>

has_typeck_results: for<'tcx> fn(_: TyCtxt<'tcx>, _: has_typeck_results<'tcx>) -> has_typeck_results<'tcx>

coherent_trait: for<'tcx> fn(_: TyCtxt<'tcx>, _: coherent_trait<'tcx>) -> coherent_trait<'tcx>

mir_borrowck: for<'tcx> fn(_: TyCtxt<'tcx>, _: mir_borrowck<'tcx>) -> mir_borrowck<'tcx>

mir_borrowck_const_arg: for<'tcx> fn(_: TyCtxt<'tcx>, _: mir_borrowck_const_arg<'tcx>) -> mir_borrowck_const_arg<'tcx>

crate_inherent_impls: for<'tcx> fn(_: TyCtxt<'tcx>, _: crate_inherent_impls<'tcx>) -> crate_inherent_impls<'tcx>

crate_inherent_impls_overlap_check: for<'tcx> fn(_: TyCtxt<'tcx>, _: crate_inherent_impls_overlap_check<'tcx>) -> crate_inherent_impls_overlap_check<'tcx>

mir_callgraph_reachable: for<'tcx> fn(_: TyCtxt<'tcx>, _: mir_callgraph_reachable<'tcx>) -> mir_callgraph_reachable<'tcx>

mir_inliner_callees: for<'tcx> fn(_: TyCtxt<'tcx>, _: mir_inliner_callees<'tcx>) -> mir_inliner_callees<'tcx>

eval_to_allocation_raw: for<'tcx> fn(_: TyCtxt<'tcx>, _: eval_to_allocation_raw<'tcx>) -> eval_to_allocation_raw<'tcx>

eval_to_const_value_raw: for<'tcx> fn(_: TyCtxt<'tcx>, _: eval_to_const_value_raw<'tcx>) -> eval_to_const_value_raw<'tcx>

const_to_valtree: for<'tcx> fn(_: TyCtxt<'tcx>, _: const_to_valtree<'tcx>) -> const_to_valtree<'tcx>

destructure_const: for<'tcx> fn(_: TyCtxt<'tcx>, _: destructure_const<'tcx>) -> destructure_const<'tcx>

deref_const: for<'tcx> fn(_: TyCtxt<'tcx>, _: deref_const<'tcx>) -> deref_const<'tcx>

const_caller_location: for<'tcx> fn(_: TyCtxt<'tcx>, _: const_caller_location<'tcx>) -> const_caller_location<'tcx>

lit_to_const: for<'tcx> fn(_: TyCtxt<'tcx>, _: lit_to_const<'tcx>) -> lit_to_const<'tcx>

check_match: for<'tcx> fn(_: TyCtxt<'tcx>, _: check_match<'tcx>) -> check_match<'tcx>

privacy_access_levels: for<'tcx> fn(_: TyCtxt<'tcx>, _: privacy_access_levels<'tcx>) -> privacy_access_levels<'tcx>

check_private_in_public: for<'tcx> fn(_: TyCtxt<'tcx>, _: check_private_in_public<'tcx>) -> check_private_in_public<'tcx>

reachable_set: for<'tcx> fn(_: TyCtxt<'tcx>, _: reachable_set<'tcx>) -> reachable_set<'tcx>

region_scope_tree: for<'tcx> fn(_: TyCtxt<'tcx>, _: region_scope_tree<'tcx>) -> region_scope_tree<'tcx>

mir_shims: for<'tcx> fn(_: TyCtxt<'tcx>, _: mir_shims<'tcx>) -> mir_shims<'tcx>

symbol_name: for<'tcx> fn(_: TyCtxt<'tcx>, _: symbol_name<'tcx>) -> symbol_name<'tcx>

opt_def_kind: for<'tcx> fn(_: TyCtxt<'tcx>, _: opt_def_kind<'tcx>) -> opt_def_kind<'tcx>

def_span: for<'tcx> fn(_: TyCtxt<'tcx>, _: def_span<'tcx>) -> def_span<'tcx>

def_ident_span: for<'tcx> fn(_: TyCtxt<'tcx>, _: def_ident_span<'tcx>) -> def_ident_span<'tcx>

lookup_stability: for<'tcx> fn(_: TyCtxt<'tcx>, _: lookup_stability<'tcx>) -> lookup_stability<'tcx>

lookup_const_stability: for<'tcx> fn(_: TyCtxt<'tcx>, _: lookup_const_stability<'tcx>) -> lookup_const_stability<'tcx>

lookup_deprecation_entry: for<'tcx> fn(_: TyCtxt<'tcx>, _: lookup_deprecation_entry<'tcx>) -> lookup_deprecation_entry<'tcx>

item_attrs: for<'tcx> fn(_: TyCtxt<'tcx>, _: item_attrs<'tcx>) -> item_attrs<'tcx>

codegen_fn_attrs: for<'tcx> fn(_: TyCtxt<'tcx>, _: codegen_fn_attrs<'tcx>) -> codegen_fn_attrs<'tcx>

fn_arg_names: for<'tcx> fn(_: TyCtxt<'tcx>, _: fn_arg_names<'tcx>) -> fn_arg_names<'tcx>

rendered_const: for<'tcx> fn(_: TyCtxt<'tcx>, _: rendered_const<'tcx>) -> rendered_const<'tcx>

impl_parent: for<'tcx> fn(_: TyCtxt<'tcx>, _: impl_parent<'tcx>) -> impl_parent<'tcx>

trait_of_item: for<'tcx> fn(_: TyCtxt<'tcx>, _: trait_of_item<'tcx>) -> trait_of_item<'tcx>

is_ctfe_mir_available: for<'tcx> fn(_: TyCtxt<'tcx>, _: is_ctfe_mir_available<'tcx>) -> is_ctfe_mir_available<'tcx>

is_mir_available: for<'tcx> fn(_: TyCtxt<'tcx>, _: is_mir_available<'tcx>) -> is_mir_available<'tcx>

vtable_methods: for<'tcx> fn(_: TyCtxt<'tcx>, _: vtable_methods<'tcx>) -> vtable_methods<'tcx>

codegen_fulfill_obligation: for<'tcx> fn(_: TyCtxt<'tcx>, _: codegen_fulfill_obligation<'tcx>) -> codegen_fulfill_obligation<'tcx>

all_local_trait_impls: for<'tcx> fn(_: TyCtxt<'tcx>, _: all_local_trait_impls<'tcx>) -> all_local_trait_impls<'tcx>

trait_impls_of: for<'tcx> fn(_: TyCtxt<'tcx>, _: trait_impls_of<'tcx>) -> trait_impls_of<'tcx>

specialization_graph_of: for<'tcx> fn(_: TyCtxt<'tcx>, _: specialization_graph_of<'tcx>) -> specialization_graph_of<'tcx>

object_safety_violations: for<'tcx> fn(_: TyCtxt<'tcx>, _: object_safety_violations<'tcx>) -> object_safety_violations<'tcx>

param_env: for<'tcx> fn(_: TyCtxt<'tcx>, _: param_env<'tcx>) -> param_env<'tcx>

param_env_reveal_all_normalized: for<'tcx> fn(_: TyCtxt<'tcx>, _: param_env_reveal_all_normalized<'tcx>) -> param_env_reveal_all_normalized<'tcx>

is_copy_raw: for<'tcx> fn(_: TyCtxt<'tcx>, _: is_copy_raw<'tcx>) -> is_copy_raw<'tcx>

is_sized_raw: for<'tcx> fn(_: TyCtxt<'tcx>, _: is_sized_raw<'tcx>) -> is_sized_raw<'tcx>

is_freeze_raw: for<'tcx> fn(_: TyCtxt<'tcx>, _: is_freeze_raw<'tcx>) -> is_freeze_raw<'tcx>

needs_drop_raw: for<'tcx> fn(_: TyCtxt<'tcx>, _: needs_drop_raw<'tcx>) -> needs_drop_raw<'tcx>

has_structural_eq_impls: for<'tcx> fn(_: TyCtxt<'tcx>, _: has_structural_eq_impls<'tcx>) -> has_structural_eq_impls<'tcx>

adt_drop_tys: for<'tcx> fn(_: TyCtxt<'tcx>, _: adt_drop_tys<'tcx>) -> adt_drop_tys<'tcx>

layout_raw: for<'tcx> fn(_: TyCtxt<'tcx>, _: layout_raw<'tcx>) -> layout_raw<'tcx>

dylib_dependency_formats: for<'tcx> fn(_: TyCtxt<'tcx>, _: dylib_dependency_formats<'tcx>) -> dylib_dependency_formats<'tcx>

dependency_formats: for<'tcx> fn(_: TyCtxt<'tcx>, _: dependency_formats<'tcx>) -> dependency_formats<'tcx>

is_compiler_builtins: for<'tcx> fn(_: TyCtxt<'tcx>, _: is_compiler_builtins<'tcx>) -> is_compiler_builtins<'tcx>

has_global_allocator: for<'tcx> fn(_: TyCtxt<'tcx>, _: has_global_allocator<'tcx>) -> has_global_allocator<'tcx>

has_panic_handler: for<'tcx> fn(_: TyCtxt<'tcx>, _: has_panic_handler<'tcx>) -> has_panic_handler<'tcx>

is_profiler_runtime: for<'tcx> fn(_: TyCtxt<'tcx>, _: is_profiler_runtime<'tcx>) -> is_profiler_runtime<'tcx>

panic_strategy: for<'tcx> fn(_: TyCtxt<'tcx>, _: panic_strategy<'tcx>) -> panic_strategy<'tcx>

is_no_builtins: for<'tcx> fn(_: TyCtxt<'tcx>, _: is_no_builtins<'tcx>) -> is_no_builtins<'tcx>

symbol_mangling_version: for<'tcx> fn(_: TyCtxt<'tcx>, _: symbol_mangling_version<'tcx>) -> symbol_mangling_version<'tcx>

extern_crate: for<'tcx> fn(_: TyCtxt<'tcx>, _: extern_crate<'tcx>) -> extern_crate<'tcx>

specializes: for<'tcx> fn(_: TyCtxt<'tcx>, _: specializes<'tcx>) -> specializes<'tcx>

in_scope_traits_map: for<'tcx> fn(_: TyCtxt<'tcx>, _: in_scope_traits_map<'tcx>) -> in_scope_traits_map<'tcx>

module_exports: for<'tcx> fn(_: TyCtxt<'tcx>, _: module_exports<'tcx>) -> module_exports<'tcx>

impl_defaultness: for<'tcx> fn(_: TyCtxt<'tcx>, _: impl_defaultness<'tcx>) -> impl_defaultness<'tcx>

check_item_well_formed: for<'tcx> fn(_: TyCtxt<'tcx>, _: check_item_well_formed<'tcx>) -> check_item_well_formed<'tcx>

check_trait_item_well_formed: for<'tcx> fn(_: TyCtxt<'tcx>, _: check_trait_item_well_formed<'tcx>) -> check_trait_item_well_formed<'tcx>

check_impl_item_well_formed: for<'tcx> fn(_: TyCtxt<'tcx>, _: check_impl_item_well_formed<'tcx>) -> check_impl_item_well_formed<'tcx>

reachable_non_generics: for<'tcx> fn(_: TyCtxt<'tcx>, _: reachable_non_generics<'tcx>) -> reachable_non_generics<'tcx>

is_reachable_non_generic: for<'tcx> fn(_: TyCtxt<'tcx>, _: is_reachable_non_generic<'tcx>) -> is_reachable_non_generic<'tcx>

is_unreachable_local_definition: for<'tcx> fn(_: TyCtxt<'tcx>, _: is_unreachable_local_definition<'tcx>) -> is_unreachable_local_definition<'tcx>

upstream_monomorphizations: for<'tcx> fn(_: TyCtxt<'tcx>, _: upstream_monomorphizations<'tcx>) -> upstream_monomorphizations<'tcx>

upstream_monomorphizations_for: for<'tcx> fn(_: TyCtxt<'tcx>, _: upstream_monomorphizations_for<'tcx>) -> upstream_monomorphizations_for<'tcx>

upstream_drop_glue_for: for<'tcx> fn(_: TyCtxt<'tcx>, _: upstream_drop_glue_for<'tcx>) -> upstream_drop_glue_for<'tcx>

foreign_modules: for<'tcx> fn(_: TyCtxt<'tcx>, _: foreign_modules<'tcx>) -> foreign_modules<'tcx>

entry_fn: for<'tcx> fn(_: TyCtxt<'tcx>, _: entry_fn<'tcx>) -> entry_fn<'tcx>

plugin_registrar_fn: for<'tcx> fn(_: TyCtxt<'tcx>, _: plugin_registrar_fn<'tcx>) -> plugin_registrar_fn<'tcx>

proc_macro_decls_static: for<'tcx> fn(_: TyCtxt<'tcx>, _: proc_macro_decls_static<'tcx>) -> proc_macro_decls_static<'tcx>

crate_disambiguator: for<'tcx> fn(_: TyCtxt<'tcx>, _: crate_disambiguator<'tcx>) -> crate_disambiguator<'tcx>

crate_hash: for<'tcx> fn(_: TyCtxt<'tcx>, _: crate_hash<'tcx>) -> crate_hash<'tcx>

crate_host_hash: for<'tcx> fn(_: TyCtxt<'tcx>, _: crate_host_hash<'tcx>) -> crate_host_hash<'tcx>

original_crate_name: for<'tcx> fn(_: TyCtxt<'tcx>, _: original_crate_name<'tcx>) -> original_crate_name<'tcx>

extra_filename: for<'tcx> fn(_: TyCtxt<'tcx>, _: extra_filename<'tcx>) -> extra_filename<'tcx>

crate_extern_paths: for<'tcx> fn(_: TyCtxt<'tcx>, _: crate_extern_paths<'tcx>) -> crate_extern_paths<'tcx>

implementations_of_trait: for<'tcx> fn(_: TyCtxt<'tcx>, _: implementations_of_trait<'tcx>) -> implementations_of_trait<'tcx>

all_trait_implementations: for<'tcx> fn(_: TyCtxt<'tcx>, _: all_trait_implementations<'tcx>) -> all_trait_implementations<'tcx>

is_dllimport_foreign_item: for<'tcx> fn(_: TyCtxt<'tcx>, _: is_dllimport_foreign_item<'tcx>) -> is_dllimport_foreign_item<'tcx>

is_statically_included_foreign_item: for<'tcx> fn(_: TyCtxt<'tcx>, _: is_statically_included_foreign_item<'tcx>) -> is_statically_included_foreign_item<'tcx>

native_library_kind: for<'tcx> fn(_: TyCtxt<'tcx>, _: native_library_kind<'tcx>) -> native_library_kind<'tcx>

link_args: for<'tcx> fn(_: TyCtxt<'tcx>, _: link_args<'tcx>) -> link_args<'tcx>

resolve_lifetimes: for<'tcx> fn(_: TyCtxt<'tcx>, _: resolve_lifetimes<'tcx>) -> resolve_lifetimes<'tcx>

named_region_map: for<'tcx> fn(_: TyCtxt<'tcx>, _: named_region_map<'tcx>) -> named_region_map<'tcx>

is_late_bound_map: for<'tcx> fn(_: TyCtxt<'tcx>, _: is_late_bound_map<'tcx>) -> is_late_bound_map<'tcx>

object_lifetime_defaults_map: for<'tcx> fn(_: TyCtxt<'tcx>, _: object_lifetime_defaults_map<'tcx>) -> object_lifetime_defaults_map<'tcx>

visibility: for<'tcx> fn(_: TyCtxt<'tcx>, _: visibility<'tcx>) -> visibility<'tcx>

type_uninhabited_from: for<'tcx> fn(_: TyCtxt<'tcx>, _: type_uninhabited_from<'tcx>) -> type_uninhabited_from<'tcx>

dep_kind: for<'tcx> fn(_: TyCtxt<'tcx>, _: dep_kind<'tcx>) -> dep_kind<'tcx>

crate_name: for<'tcx> fn(_: TyCtxt<'tcx>, _: crate_name<'tcx>) -> crate_name<'tcx>

item_children: for<'tcx> fn(_: TyCtxt<'tcx>, _: item_children<'tcx>) -> item_children<'tcx>

extern_mod_stmt_cnum: for<'tcx> fn(_: TyCtxt<'tcx>, _: extern_mod_stmt_cnum<'tcx>) -> extern_mod_stmt_cnum<'tcx>

get_lib_features: for<'tcx> fn(_: TyCtxt<'tcx>, _: get_lib_features<'tcx>) -> get_lib_features<'tcx>

defined_lib_features: for<'tcx> fn(_: TyCtxt<'tcx>, _: defined_lib_features<'tcx>) -> defined_lib_features<'tcx>

get_lang_items: for<'tcx> fn(_: TyCtxt<'tcx>, _: get_lang_items<'tcx>) -> get_lang_items<'tcx>

all_diagnostic_items: for<'tcx> fn(_: TyCtxt<'tcx>, _: all_diagnostic_items<'tcx>) -> all_diagnostic_items<'tcx>

defined_lang_items: for<'tcx> fn(_: TyCtxt<'tcx>, _: defined_lang_items<'tcx>) -> defined_lang_items<'tcx>

diagnostic_items: for<'tcx> fn(_: TyCtxt<'tcx>, _: diagnostic_items<'tcx>) -> diagnostic_items<'tcx>

missing_lang_items: for<'tcx> fn(_: TyCtxt<'tcx>, _: missing_lang_items<'tcx>) -> missing_lang_items<'tcx>

visible_parent_map: for<'tcx> fn(_: TyCtxt<'tcx>, _: visible_parent_map<'tcx>) -> visible_parent_map<'tcx>

trimmed_def_paths: for<'tcx> fn(_: TyCtxt<'tcx>, _: trimmed_def_paths<'tcx>) -> trimmed_def_paths<'tcx>

missing_extern_crate_item: for<'tcx> fn(_: TyCtxt<'tcx>, _: missing_extern_crate_item<'tcx>) -> missing_extern_crate_item<'tcx>

used_crate_source: for<'tcx> fn(_: TyCtxt<'tcx>, _: used_crate_source<'tcx>) -> used_crate_source<'tcx>

postorder_cnums: for<'tcx> fn(_: TyCtxt<'tcx>, _: postorder_cnums<'tcx>) -> postorder_cnums<'tcx>

upvars_mentioned: for<'tcx> fn(_: TyCtxt<'tcx>, _: upvars_mentioned<'tcx>) -> upvars_mentioned<'tcx>

maybe_unused_trait_import: for<'tcx> fn(_: TyCtxt<'tcx>, _: maybe_unused_trait_import<'tcx>) -> maybe_unused_trait_import<'tcx>

maybe_unused_extern_crates: for<'tcx> fn(_: TyCtxt<'tcx>, _: maybe_unused_extern_crates<'tcx>) -> maybe_unused_extern_crates<'tcx>

names_imported_by_glob_use: for<'tcx> fn(_: TyCtxt<'tcx>, _: names_imported_by_glob_use<'tcx>) -> names_imported_by_glob_use<'tcx>

stability_index: for<'tcx> fn(_: TyCtxt<'tcx>, _: stability_index<'tcx>) -> stability_index<'tcx>

all_crate_nums: for<'tcx> fn(_: TyCtxt<'tcx>, _: all_crate_nums<'tcx>) -> all_crate_nums<'tcx>

all_traits: for<'tcx> fn(_: TyCtxt<'tcx>, _: all_traits<'tcx>) -> all_traits<'tcx>

exported_symbols: for<'tcx> fn(_: TyCtxt<'tcx>, _: exported_symbols<'tcx>) -> exported_symbols<'tcx>

collect_and_partition_mono_items: for<'tcx> fn(_: TyCtxt<'tcx>, _: collect_and_partition_mono_items<'tcx>) -> collect_and_partition_mono_items<'tcx>

is_codegened_item: for<'tcx> fn(_: TyCtxt<'tcx>, _: is_codegened_item<'tcx>) -> is_codegened_item<'tcx>

codegened_and_inlined_items: for<'tcx> fn(_: TyCtxt<'tcx>, _: codegened_and_inlined_items<'tcx>) -> codegened_and_inlined_items<'tcx>

codegen_unit: for<'tcx> fn(_: TyCtxt<'tcx>, _: codegen_unit<'tcx>) -> codegen_unit<'tcx>

unused_generic_params: for<'tcx> fn(_: TyCtxt<'tcx>, _: unused_generic_params<'tcx>) -> unused_generic_params<'tcx>

backend_optimization_level: for<'tcx> fn(_: TyCtxt<'tcx>, _: backend_optimization_level<'tcx>) -> backend_optimization_level<'tcx>

output_filenames: for<'tcx> fn(_: TyCtxt<'tcx>, _: output_filenames<'tcx>) -> output_filenames<'tcx>

normalize_projection_ty: for<'tcx> fn(_: TyCtxt<'tcx>, _: normalize_projection_ty<'tcx>) -> normalize_projection_ty<'tcx>

normalize_generic_arg_after_erasing_regions: for<'tcx> fn(_: TyCtxt<'tcx>, _: normalize_generic_arg_after_erasing_regions<'tcx>) -> normalize_generic_arg_after_erasing_regions<'tcx>

implied_outlives_bounds: for<'tcx> fn(_: TyCtxt<'tcx>, _: implied_outlives_bounds<'tcx>) -> implied_outlives_bounds<'tcx>

dropck_outlives: for<'tcx> fn(_: TyCtxt<'tcx>, _: dropck_outlives<'tcx>) -> dropck_outlives<'tcx>

evaluate_obligation: for<'tcx> fn(_: TyCtxt<'tcx>, _: evaluate_obligation<'tcx>) -> evaluate_obligation<'tcx>

evaluate_goal: for<'tcx> fn(_: TyCtxt<'tcx>, _: evaluate_goal<'tcx>) -> evaluate_goal<'tcx>

type_implements_trait: for<'tcx> fn(_: TyCtxt<'tcx>, _: type_implements_trait<'tcx>) -> type_implements_trait<'tcx>

type_op_ascribe_user_type: for<'tcx> fn(_: TyCtxt<'tcx>, _: type_op_ascribe_user_type<'tcx>) -> type_op_ascribe_user_type<'tcx>

type_op_eq: for<'tcx> fn(_: TyCtxt<'tcx>, _: type_op_eq<'tcx>) -> type_op_eq<'tcx>

type_op_subtype: for<'tcx> fn(_: TyCtxt<'tcx>, _: type_op_subtype<'tcx>) -> type_op_subtype<'tcx>

type_op_prove_predicate: for<'tcx> fn(_: TyCtxt<'tcx>, _: type_op_prove_predicate<'tcx>) -> type_op_prove_predicate<'tcx>

type_op_normalize_ty: for<'tcx> fn(_: TyCtxt<'tcx>, _: type_op_normalize_ty<'tcx>) -> type_op_normalize_ty<'tcx>

type_op_normalize_predicate: for<'tcx> fn(_: TyCtxt<'tcx>, _: type_op_normalize_predicate<'tcx>) -> type_op_normalize_predicate<'tcx>

type_op_normalize_poly_fn_sig: for<'tcx> fn(_: TyCtxt<'tcx>, _: type_op_normalize_poly_fn_sig<'tcx>) -> type_op_normalize_poly_fn_sig<'tcx>

type_op_normalize_fn_sig: for<'tcx> fn(_: TyCtxt<'tcx>, _: type_op_normalize_fn_sig<'tcx>) -> type_op_normalize_fn_sig<'tcx>

subst_and_check_impossible_predicates: for<'tcx> fn(_: TyCtxt<'tcx>, _: subst_and_check_impossible_predicates<'tcx>) -> subst_and_check_impossible_predicates<'tcx>

method_autoderef_steps: for<'tcx> fn(_: TyCtxt<'tcx>, _: method_autoderef_steps<'tcx>) -> method_autoderef_steps<'tcx>

supported_target_features: for<'tcx> fn(_: TyCtxt<'tcx>, _: supported_target_features<'tcx>) -> supported_target_features<'tcx>

instance_def_size_estimate: for<'tcx> fn(_: TyCtxt<'tcx>, _: instance_def_size_estimate<'tcx>) -> instance_def_size_estimate<'tcx>

features_query: for<'tcx> fn(_: TyCtxt<'tcx>, _: features_query<'tcx>) -> features_query<'tcx>

resolve_instance: for<'tcx> fn(_: TyCtxt<'tcx>, _: resolve_instance<'tcx>) -> resolve_instance<'tcx>

resolve_instance_of_const_arg: for<'tcx> fn(_: TyCtxt<'tcx>, _: resolve_instance_of_const_arg<'tcx>) -> resolve_instance_of_const_arg<'tcx>

normalize_opaque_types: for<'tcx> fn(_: TyCtxt<'tcx>, _: normalize_opaque_types<'tcx>) -> normalize_opaque_types<'tcx>

conservative_is_privately_uninhabited: for<'tcx> fn(_: TyCtxt<'tcx>, _: conservative_is_privately_uninhabited<'tcx>) -> conservative_is_privately_uninhabited<'tcx>

Trait Implementations

impl Clone for Providers

fn clone(&self) -> Self

Returns a copy of the value.

pub fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for Providers

impl Default for Providers

fn default() -> Self

Returns the “default value” for a type.