Struct rustc_middle::ty::query::ExternProviders
source · pub struct ExternProviders {Show 285 fields
pub trigger_delay_span_bug: (),
pub resolutions: (),
pub resolver_for_lowering: (),
pub source_span: (),
pub hir_crate: (),
pub hir_crate_items: (),
pub hir_module_items: (),
pub hir_owner: (),
pub local_def_id_to_hir_id: (),
pub hir_owner_parent: (),
pub hir_owner_nodes: (),
pub hir_attrs: (),
pub opt_const_param_of: (),
pub const_param_default: for<'tcx> fn(_: TyCtxt<'tcx>, _: const_param_default<'tcx>) -> const_param_default<'tcx>,
pub type_of: for<'tcx> fn(_: TyCtxt<'tcx>, _: type_of<'tcx>) -> type_of<'tcx>,
pub collect_trait_impl_trait_tys: for<'tcx> fn(_: TyCtxt<'tcx>, _: collect_trait_impl_trait_tys<'tcx>) -> collect_trait_impl_trait_tys<'tcx>,
pub analysis: (),
pub check_expectations: (),
pub generics_of: for<'tcx> fn(_: TyCtxt<'tcx>, _: generics_of<'tcx>) -> generics_of<'tcx>,
pub predicates_of: (),
pub explicit_item_bounds: for<'tcx> fn(_: TyCtxt<'tcx>, _: explicit_item_bounds<'tcx>) -> explicit_item_bounds<'tcx>,
pub item_bounds: (),
pub native_libraries: for<'tcx> fn(_: TyCtxt<'tcx>, _: native_libraries<'tcx>) -> native_libraries<'tcx>,
pub shallow_lint_levels_on: (),
pub lint_expectations: (),
pub parent_module_from_def_id: (),
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 representability: (),
pub representability_adt_ty: (),
pub params_in_repr: for<'tcx> fn(_: TyCtxt<'tcx>, _: params_in_repr<'tcx>) -> params_in_repr<'tcx>,
pub thir_body: (),
pub thir_tree: (),
pub mir_keys: (),
pub mir_const_qualif: for<'tcx> fn(_: TyCtxt<'tcx>, _: mir_const_qualif<'tcx>) -> mir_const_qualif<'tcx>,
pub mir_const_qualif_const_arg: (),
pub mir_built: (),
pub mir_const: (),
pub thir_abstract_const: for<'tcx> fn(_: TyCtxt<'tcx>, _: thir_abstract_const<'tcx>) -> thir_abstract_const<'tcx>,
pub thir_abstract_const_of_const_arg: (),
pub mir_drops_elaborated_and_const_checked: (),
pub mir_for_ctfe: for<'tcx> fn(_: TyCtxt<'tcx>, _: mir_for_ctfe<'tcx>) -> mir_for_ctfe<'tcx>,
pub mir_for_ctfe_of_const_arg: (),
pub mir_promoted: (),
pub symbols_for_closure_captures: (),
pub optimized_mir: for<'tcx> fn(_: TyCtxt<'tcx>, _: optimized_mir<'tcx>) -> optimized_mir<'tcx>,
pub coverageinfo: (),
pub covered_code_regions: (),
pub promoted_mir: for<'tcx> fn(_: TyCtxt<'tcx>, _: promoted_mir<'tcx>) -> promoted_mir<'tcx>,
pub promoted_mir_of_const_arg: (),
pub erase_regions_ty: (),
pub wasm_import_module_map: (),
pub predicates_defined_on: (),
pub trait_explicit_predicates_and_bounds: (),
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: (),
pub type_param_predicates: (),
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: (),
pub adt_dtorck_constraint: (),
pub constness: for<'tcx> fn(_: TyCtxt<'tcx>, _: constness<'tcx>) -> constness<'tcx>,
pub asyncness: for<'tcx> fn(_: TyCtxt<'tcx>, _: asyncness<'tcx>) -> asyncness<'tcx>,
pub is_promotable_const_fn: (),
pub is_foreign_item: for<'tcx> fn(_: TyCtxt<'tcx>, _: is_foreign_item<'tcx>) -> is_foreign_item<'tcx>,
pub generator_kind: for<'tcx> fn(_: TyCtxt<'tcx>, _: generator_kind<'tcx>) -> generator_kind<'tcx>,
pub crate_variances: (),
pub variances_of: for<'tcx> fn(_: TyCtxt<'tcx>, _: variances_of<'tcx>) -> variances_of<'tcx>,
pub inferred_outlives_crate: (),
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: (),
pub impl_item_implementor_ids: (),
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: (),
pub inherent_impls: for<'tcx> fn(_: TyCtxt<'tcx>, _: inherent_impls<'tcx>) -> inherent_impls<'tcx>,
pub incoherent_impls: (),
pub unsafety_check_result: (),
pub unsafety_check_result_for_const_arg: (),
pub thir_check_unsafety: (),
pub thir_check_unsafety_for_const_arg: (),
pub unsafe_derive_on_repr_packed: (),
pub assumed_wf_types: (),
pub fn_sig: for<'tcx> fn(_: TyCtxt<'tcx>, _: fn_sig<'tcx>) -> fn_sig<'tcx>,
pub lint_mod: (),
pub check_mod_attrs: (),
pub check_mod_unstable_api_usage: (),
pub check_mod_const_bodies: (),
pub check_mod_loops: (),
pub check_mod_naked_functions: (),
pub check_mod_item_types: (),
pub check_mod_privacy: (),
pub check_liveness: (),
pub live_symbols_and_ignored_derived_traits: (),
pub check_mod_deathness: (),
pub check_mod_impl_wf: (),
pub check_mod_type_wf: (),
pub collect_mod_item_types: (),
pub coerce_unsized_info: for<'tcx> fn(_: TyCtxt<'tcx>, _: coerce_unsized_info<'tcx>) -> coerce_unsized_info<'tcx>,
pub typeck_item_bodies: (),
pub typeck: (),
pub typeck_const_arg: (),
pub diagnostic_only_typeck: (),
pub used_trait_imports: (),
pub has_typeck_results: (),
pub coherent_trait: (),
pub mir_borrowck: (),
pub mir_borrowck_const_arg: (),
pub crate_inherent_impls: (),
pub crate_inherent_impls_overlap_check: (),
pub orphan_check_impl: (),
pub mir_callgraph_reachable: (),
pub mir_inliner_callees: (),
pub eval_to_allocation_raw: (),
pub eval_to_const_value_raw: (),
pub eval_to_valtree: (),
pub valtree_to_const_val: (),
pub destructure_const: (),
pub try_destructure_mir_constant: (),
pub deref_mir_constant: (),
pub const_caller_location: (),
pub lit_to_const: (),
pub lit_to_mir_constant: (),
pub check_match: (),
pub effective_visibilities: (),
pub check_private_in_public: (),
pub reachable_set: (),
pub region_scope_tree: (),
pub mir_shims: (),
pub symbol_name: (),
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_default_body_stability: for<'tcx> fn(_: TyCtxt<'tcx>, _: lookup_default_body_stability<'tcx>) -> lookup_default_body_stability<'tcx>,
pub should_inherit_track_caller: (),
pub lookup_deprecation_entry: for<'tcx> fn(_: TyCtxt<'tcx>, _: lookup_deprecation_entry<'tcx>) -> lookup_deprecation_entry<'tcx>,
pub is_doc_hidden: (),
pub is_doc_notable_trait: (),
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 asm_target_features: (),
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 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 own_existential_vtable_entries: (),
pub vtable_entries: (),
pub vtable_trait_upcasting_coercion_new_vptr_slot: (),
pub vtable_allocation: (),
pub codegen_select_candidate: (),
pub all_local_trait_impls: (),
pub trait_impls_of: (),
pub specialization_graph_of: (),
pub object_safety_violations: (),
pub param_env: (),
pub param_env_reveal_all_normalized: (),
pub is_copy_raw: (),
pub is_sized_raw: (),
pub is_freeze_raw: (),
pub is_unpin_raw: (),
pub needs_drop_raw: (),
pub has_significant_drop_raw: (),
pub has_structural_eq_impls: (),
pub adt_drop_tys: (),
pub adt_significant_drop_tys: (),
pub layout_of: (),
pub fn_abi_of_fn_ptr: (),
pub fn_abi_of_instance: (),
pub dylib_dependency_formats: for<'tcx> fn(_: TyCtxt<'tcx>, _: dylib_dependency_formats<'tcx>) -> dylib_dependency_formats<'tcx>,
pub dependency_formats: (),
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_alloc_error_handler: for<'tcx> fn(_: TyCtxt<'tcx>, _: has_alloc_error_handler<'tcx>) -> has_alloc_error_handler<'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 has_ffi_unwind_calls: (),
pub required_panic_strategy: for<'tcx> fn(_: TyCtxt<'tcx>, _: required_panic_strategy<'tcx>) -> required_panic_strategy<'tcx>,
pub panic_in_drop_strategy: for<'tcx> fn(_: TyCtxt<'tcx>, _: panic_in_drop_strategy<'tcx>) -> panic_in_drop_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: (),
pub in_scope_traits_map: (),
pub module_reexports: (),
pub impl_defaultness: for<'tcx> fn(_: TyCtxt<'tcx>, _: impl_defaultness<'tcx>) -> impl_defaultness<'tcx>,
pub check_well_formed: (),
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: (),
pub upstream_monomorphizations: (),
pub upstream_monomorphizations_for: for<'tcx> fn(_: TyCtxt<'tcx>, _: upstream_monomorphizations_for<'tcx>) -> upstream_monomorphizations_for<'tcx>,
pub upstream_drop_glue_for: (),
pub foreign_modules: for<'tcx> fn(_: TyCtxt<'tcx>, _: foreign_modules<'tcx>) -> foreign_modules<'tcx>,
pub entry_fn: (),
pub proc_macro_decls_static: (),
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 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 crate_incoherent_impls: for<'tcx> fn(_: TyCtxt<'tcx>, _: crate_incoherent_impls<'tcx>) -> crate_incoherent_impls<'tcx>,
pub native_library: (),
pub resolve_lifetimes: (),
pub named_region_map: (),
pub is_late_bound_map: (),
pub object_lifetime_default: for<'tcx> fn(_: TyCtxt<'tcx>, _: object_lifetime_default<'tcx>) -> object_lifetime_default<'tcx>,
pub late_bound_vars_map: (),
pub visibility: for<'tcx> fn(_: TyCtxt<'tcx>, _: visibility<'tcx>) -> visibility<'tcx>,
pub inhabited_predicate_adt: (),
pub inhabited_predicate_type: (),
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 module_children: for<'tcx> fn(_: TyCtxt<'tcx>, _: module_children<'tcx>) -> module_children<'tcx>,
pub extern_mod_stmt_cnum: (),
pub lib_features: (),
pub defined_lib_features: for<'tcx> fn(_: TyCtxt<'tcx>, _: defined_lib_features<'tcx>) -> defined_lib_features<'tcx>,
pub stability_implications: for<'tcx> fn(_: TyCtxt<'tcx>, _: stability_implications<'tcx>) -> stability_implications<'tcx>,
pub is_intrinsic: for<'tcx> fn(_: TyCtxt<'tcx>, _: is_intrinsic<'tcx>) -> is_intrinsic<'tcx>,
pub get_lang_items: (),
pub all_diagnostic_items: (),
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: (),
pub trimmed_def_paths: (),
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 debugger_visualizers: for<'tcx> fn(_: TyCtxt<'tcx>, _: debugger_visualizers<'tcx>) -> debugger_visualizers<'tcx>,
pub postorder_cnums: (),
pub is_private_dep: for<'tcx> fn(_: TyCtxt<'tcx>, _: is_private_dep<'tcx>) -> is_private_dep<'tcx>,
pub allocator_kind: (),
pub alloc_error_handler_kind: (),
pub upvars_mentioned: (),
pub maybe_unused_trait_imports: (),
pub maybe_unused_extern_crates: (),
pub names_imported_by_glob_use: (),
pub stability_index: (),
pub crates: (),
pub traits_in_crate: for<'tcx> fn(_: TyCtxt<'tcx>, _: traits_in_crate<'tcx>) -> traits_in_crate<'tcx>,
pub exported_symbols: for<'tcx> fn(_: TyCtxt<'tcx>, _: exported_symbols<'tcx>) -> exported_symbols<'tcx>,
pub collect_and_partition_mono_items: (),
pub is_codegened_item: (),
pub codegened_and_inlined_items: (),
pub codegen_unit: (),
pub unused_generic_params: for<'tcx> fn(_: TyCtxt<'tcx>, _: unused_generic_params<'tcx>) -> unused_generic_params<'tcx>,
pub backend_optimization_level: (),
pub output_filenames: (),
pub normalize_projection_ty: (),
pub try_normalize_generic_arg_after_erasing_regions: (),
pub implied_outlives_bounds: (),
pub dropck_outlives: (),
pub evaluate_obligation: (),
pub evaluate_goal: (),
pub type_op_ascribe_user_type: (),
pub type_op_eq: (),
pub type_op_subtype: (),
pub type_op_prove_predicate: (),
pub type_op_normalize_ty: (),
pub type_op_normalize_predicate: (),
pub type_op_normalize_poly_fn_sig: (),
pub type_op_normalize_fn_sig: (),
pub subst_and_check_impossible_predicates: (),
pub is_impossible_method: (),
pub method_autoderef_steps: (),
pub supported_target_features: (),
pub instance_def_size_estimate: (),
pub features_query: (),
pub resolve_instance: (),
pub resolve_instance_of_const_arg: (),
pub reveal_opaque_types_in_bounds: (),
pub limits: (),
pub diagnostic_hir_wf_check: (),
pub global_backend_features: (),
pub generator_diagnostic_data: for<'tcx> fn(_: TyCtxt<'tcx>, _: generator_diagnostic_data<'tcx>) -> generator_diagnostic_data<'tcx>,
pub permits_uninit_init: (),
pub permits_zero_init: (),
pub compare_assoc_const_impl_item_with_trait_item: (),
pub deduced_param_attrs: for<'tcx> fn(_: TyCtxt<'tcx>, _: deduced_param_attrs<'tcx>) -> deduced_param_attrs<'tcx>,
}Fields§
§trigger_delay_span_bug: ()§resolutions: ()§resolver_for_lowering: ()§source_span: ()§hir_crate: ()§hir_crate_items: ()§hir_module_items: ()§hir_owner: ()§local_def_id_to_hir_id: ()§hir_owner_parent: ()§hir_owner_nodes: ()§hir_attrs: ()§opt_const_param_of: ()§const_param_default: for<'tcx> fn(_: TyCtxt<'tcx>, _: const_param_default<'tcx>) -> const_param_default<'tcx>§type_of: for<'tcx> fn(_: TyCtxt<'tcx>, _: type_of<'tcx>) -> type_of<'tcx>§collect_trait_impl_trait_tys: for<'tcx> fn(_: TyCtxt<'tcx>, _: collect_trait_impl_trait_tys<'tcx>) -> collect_trait_impl_trait_tys<'tcx>§analysis: ()§check_expectations: ()§generics_of: for<'tcx> fn(_: TyCtxt<'tcx>, _: generics_of<'tcx>) -> generics_of<'tcx>§predicates_of: ()§explicit_item_bounds: for<'tcx> fn(_: TyCtxt<'tcx>, _: explicit_item_bounds<'tcx>) -> explicit_item_bounds<'tcx>§item_bounds: ()§native_libraries: for<'tcx> fn(_: TyCtxt<'tcx>, _: native_libraries<'tcx>) -> native_libraries<'tcx>§shallow_lint_levels_on: ()§lint_expectations: ()§parent_module_from_def_id: ()§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>§representability: ()§representability_adt_ty: ()§params_in_repr: for<'tcx> fn(_: TyCtxt<'tcx>, _: params_in_repr<'tcx>) -> params_in_repr<'tcx>§thir_body: ()§thir_tree: ()§mir_keys: ()§mir_const_qualif: for<'tcx> fn(_: TyCtxt<'tcx>, _: mir_const_qualif<'tcx>) -> mir_const_qualif<'tcx>§mir_const_qualif_const_arg: ()§mir_built: ()§mir_const: ()§thir_abstract_const: for<'tcx> fn(_: TyCtxt<'tcx>, _: thir_abstract_const<'tcx>) -> thir_abstract_const<'tcx>§thir_abstract_const_of_const_arg: ()§mir_drops_elaborated_and_const_checked: ()§mir_for_ctfe: for<'tcx> fn(_: TyCtxt<'tcx>, _: mir_for_ctfe<'tcx>) -> mir_for_ctfe<'tcx>§mir_for_ctfe_of_const_arg: ()§mir_promoted: ()§symbols_for_closure_captures: ()§optimized_mir: for<'tcx> fn(_: TyCtxt<'tcx>, _: optimized_mir<'tcx>) -> optimized_mir<'tcx>§coverageinfo: ()§covered_code_regions: ()§promoted_mir: for<'tcx> fn(_: TyCtxt<'tcx>, _: promoted_mir<'tcx>) -> promoted_mir<'tcx>§promoted_mir_of_const_arg: ()§erase_regions_ty: ()§wasm_import_module_map: ()§predicates_defined_on: ()§trait_explicit_predicates_and_bounds: ()§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: ()§type_param_predicates: ()§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: ()§adt_dtorck_constraint: ()§constness: for<'tcx> fn(_: TyCtxt<'tcx>, _: constness<'tcx>) -> constness<'tcx>§asyncness: for<'tcx> fn(_: TyCtxt<'tcx>, _: asyncness<'tcx>) -> asyncness<'tcx>§is_promotable_const_fn: ()§is_foreign_item: for<'tcx> fn(_: TyCtxt<'tcx>, _: is_foreign_item<'tcx>) -> is_foreign_item<'tcx>§generator_kind: for<'tcx> fn(_: TyCtxt<'tcx>, _: generator_kind<'tcx>) -> generator_kind<'tcx>§crate_variances: ()§variances_of: for<'tcx> fn(_: TyCtxt<'tcx>, _: variances_of<'tcx>) -> variances_of<'tcx>§inferred_outlives_crate: ()§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: ()§impl_item_implementor_ids: ()§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: ()§inherent_impls: for<'tcx> fn(_: TyCtxt<'tcx>, _: inherent_impls<'tcx>) -> inherent_impls<'tcx>§incoherent_impls: ()§unsafety_check_result: ()§unsafety_check_result_for_const_arg: ()§thir_check_unsafety: ()§thir_check_unsafety_for_const_arg: ()§unsafe_derive_on_repr_packed: ()§assumed_wf_types: ()§fn_sig: for<'tcx> fn(_: TyCtxt<'tcx>, _: fn_sig<'tcx>) -> fn_sig<'tcx>§lint_mod: ()§check_mod_attrs: ()§check_mod_unstable_api_usage: ()§check_mod_const_bodies: ()§check_mod_loops: ()§check_mod_naked_functions: ()§check_mod_item_types: ()§check_mod_privacy: ()§check_liveness: ()§live_symbols_and_ignored_derived_traits: ()§check_mod_deathness: ()§check_mod_impl_wf: ()§check_mod_type_wf: ()§collect_mod_item_types: ()§coerce_unsized_info: for<'tcx> fn(_: TyCtxt<'tcx>, _: coerce_unsized_info<'tcx>) -> coerce_unsized_info<'tcx>§typeck_item_bodies: ()§typeck: ()§typeck_const_arg: ()§diagnostic_only_typeck: ()§used_trait_imports: ()§has_typeck_results: ()§coherent_trait: ()§mir_borrowck: ()§mir_borrowck_const_arg: ()§crate_inherent_impls: ()§crate_inherent_impls_overlap_check: ()§orphan_check_impl: ()§mir_callgraph_reachable: ()§mir_inliner_callees: ()§eval_to_allocation_raw: ()§eval_to_const_value_raw: ()§eval_to_valtree: ()§valtree_to_const_val: ()§destructure_const: ()§try_destructure_mir_constant: ()§deref_mir_constant: ()§const_caller_location: ()§lit_to_const: ()§lit_to_mir_constant: ()§check_match: ()§effective_visibilities: ()§check_private_in_public: ()§reachable_set: ()§region_scope_tree: ()§mir_shims: ()§symbol_name: ()§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_default_body_stability: for<'tcx> fn(_: TyCtxt<'tcx>, _: lookup_default_body_stability<'tcx>) -> lookup_default_body_stability<'tcx>§should_inherit_track_caller: ()§lookup_deprecation_entry: for<'tcx> fn(_: TyCtxt<'tcx>, _: lookup_deprecation_entry<'tcx>) -> lookup_deprecation_entry<'tcx>§is_doc_notable_trait: ()§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>§asm_target_features: ()§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>§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>§own_existential_vtable_entries: ()§vtable_entries: ()§vtable_trait_upcasting_coercion_new_vptr_slot: ()§vtable_allocation: ()§codegen_select_candidate: ()§all_local_trait_impls: ()§trait_impls_of: ()§specialization_graph_of: ()§object_safety_violations: ()§param_env: ()§param_env_reveal_all_normalized: ()§is_copy_raw: ()§is_sized_raw: ()§is_freeze_raw: ()§is_unpin_raw: ()§needs_drop_raw: ()§has_significant_drop_raw: ()§has_structural_eq_impls: ()§adt_drop_tys: ()§adt_significant_drop_tys: ()§layout_of: ()§fn_abi_of_fn_ptr: ()§fn_abi_of_instance: ()§dylib_dependency_formats: for<'tcx> fn(_: TyCtxt<'tcx>, _: dylib_dependency_formats<'tcx>) -> dylib_dependency_formats<'tcx>§dependency_formats: ()§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_alloc_error_handler: for<'tcx> fn(_: TyCtxt<'tcx>, _: has_alloc_error_handler<'tcx>) -> has_alloc_error_handler<'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>§has_ffi_unwind_calls: ()§required_panic_strategy: for<'tcx> fn(_: TyCtxt<'tcx>, _: required_panic_strategy<'tcx>) -> required_panic_strategy<'tcx>§panic_in_drop_strategy: for<'tcx> fn(_: TyCtxt<'tcx>, _: panic_in_drop_strategy<'tcx>) -> panic_in_drop_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: ()§in_scope_traits_map: ()§module_reexports: ()§impl_defaultness: for<'tcx> fn(_: TyCtxt<'tcx>, _: impl_defaultness<'tcx>) -> impl_defaultness<'tcx>§check_well_formed: ()§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: ()§upstream_monomorphizations: ()§upstream_monomorphizations_for: for<'tcx> fn(_: TyCtxt<'tcx>, _: upstream_monomorphizations_for<'tcx>) -> upstream_monomorphizations_for<'tcx>§upstream_drop_glue_for: ()§foreign_modules: for<'tcx> fn(_: TyCtxt<'tcx>, _: foreign_modules<'tcx>) -> foreign_modules<'tcx>§entry_fn: ()§proc_macro_decls_static: ()§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>§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>§crate_incoherent_impls: for<'tcx> fn(_: TyCtxt<'tcx>, _: crate_incoherent_impls<'tcx>) -> crate_incoherent_impls<'tcx>§native_library: ()§resolve_lifetimes: ()§named_region_map: ()§is_late_bound_map: ()§object_lifetime_default: for<'tcx> fn(_: TyCtxt<'tcx>, _: object_lifetime_default<'tcx>) -> object_lifetime_default<'tcx>§late_bound_vars_map: ()§visibility: for<'tcx> fn(_: TyCtxt<'tcx>, _: visibility<'tcx>) -> visibility<'tcx>§inhabited_predicate_adt: ()§inhabited_predicate_type: ()§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>§module_children: for<'tcx> fn(_: TyCtxt<'tcx>, _: module_children<'tcx>) -> module_children<'tcx>§extern_mod_stmt_cnum: ()§lib_features: ()§defined_lib_features: for<'tcx> fn(_: TyCtxt<'tcx>, _: defined_lib_features<'tcx>) -> defined_lib_features<'tcx>§stability_implications: for<'tcx> fn(_: TyCtxt<'tcx>, _: stability_implications<'tcx>) -> stability_implications<'tcx>§is_intrinsic: for<'tcx> fn(_: TyCtxt<'tcx>, _: is_intrinsic<'tcx>) -> is_intrinsic<'tcx>§get_lang_items: ()§all_diagnostic_items: ()§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: ()§trimmed_def_paths: ()§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>§debugger_visualizers: for<'tcx> fn(_: TyCtxt<'tcx>, _: debugger_visualizers<'tcx>) -> debugger_visualizers<'tcx>§postorder_cnums: ()§is_private_dep: for<'tcx> fn(_: TyCtxt<'tcx>, _: is_private_dep<'tcx>) -> is_private_dep<'tcx>§allocator_kind: ()§alloc_error_handler_kind: ()§upvars_mentioned: ()§maybe_unused_trait_imports: ()§maybe_unused_extern_crates: ()§names_imported_by_glob_use: ()§stability_index: ()§crates: ()§traits_in_crate: for<'tcx> fn(_: TyCtxt<'tcx>, _: traits_in_crate<'tcx>) -> traits_in_crate<'tcx>§exported_symbols: for<'tcx> fn(_: TyCtxt<'tcx>, _: exported_symbols<'tcx>) -> exported_symbols<'tcx>§collect_and_partition_mono_items: ()§is_codegened_item: ()§codegened_and_inlined_items: ()§codegen_unit: ()§unused_generic_params: for<'tcx> fn(_: TyCtxt<'tcx>, _: unused_generic_params<'tcx>) -> unused_generic_params<'tcx>§backend_optimization_level: ()§output_filenames: ()§normalize_projection_ty: ()§try_normalize_generic_arg_after_erasing_regions: ()§implied_outlives_bounds: ()§dropck_outlives: ()§evaluate_obligation: ()§evaluate_goal: ()§type_op_ascribe_user_type: ()§type_op_eq: ()§type_op_subtype: ()§type_op_prove_predicate: ()§type_op_normalize_ty: ()§type_op_normalize_predicate: ()§type_op_normalize_poly_fn_sig: ()§type_op_normalize_fn_sig: ()§subst_and_check_impossible_predicates: ()§is_impossible_method: ()§method_autoderef_steps: ()§supported_target_features: ()§instance_def_size_estimate: ()§features_query: ()§resolve_instance: ()§resolve_instance_of_const_arg: ()§reveal_opaque_types_in_bounds: ()§limits: ()§diagnostic_hir_wf_check: ()§global_backend_features: ()§generator_diagnostic_data: for<'tcx> fn(_: TyCtxt<'tcx>, _: generator_diagnostic_data<'tcx>) -> generator_diagnostic_data<'tcx>§permits_uninit_init: ()§permits_zero_init: ()§compare_assoc_const_impl_item_with_trait_item: ()§deduced_param_attrs: for<'tcx> fn(_: TyCtxt<'tcx>, _: deduced_param_attrs<'tcx>) -> deduced_param_attrs<'tcx>Trait Implementations§
source§impl Clone for ExternProviders
impl Clone for ExternProviders
source§impl Default for ExternProviders
impl Default for ExternProviders
impl Copy for ExternProviders
Auto Trait Implementations§
impl RefUnwindSafe for ExternProviders
impl Send for ExternProviders
impl Sync for ExternProviders
impl Unpin for ExternProviders
impl UnwindSafe for ExternProviders
Blanket Implementations§
source§impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere
T: Copy,
impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere
T: Copy,
fn allocate_on<'a>(self, arena: &'a Arena<'tcx>) -> &'a mut T
fn allocate_from_iter<'a>(
arena: &'a Arena<'tcx>,
iter: impl IntoIterator<Item = T>
) -> &'a mut [T] ⓘ
source§impl<T, R> InternIteratorElement<T, R> for T
impl<T, R> InternIteratorElement<T, R> for T
type Output = R
fn intern_with<I, F>(iter: I, f: F) -> <T as InternIteratorElement<T, R>>::Outputwhere
I: Iterator<Item = T>,
F: FnOnce(&[T]) -> R,
source§impl<T> MaybeResult<T> for T
impl<T> MaybeResult<T> for T
source§impl<'tcx, T> ToPredicate<'tcx, T> for T
impl<'tcx, T> ToPredicate<'tcx, T> for T
fn to_predicate(self, _tcx: TyCtxt<'tcx>) -> T
source§impl<Tcx, T> Value<Tcx> for Twhere
Tcx: DepContext,
impl<Tcx, T> Value<Tcx> for Twhere
Tcx: DepContext,
default fn from_cycle_error(tcx: Tcx, _: &[QueryInfo]) -> T
Layout§
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference’s “Type Layout” chapter for details on type layout guarantees.
Size: 704 bytes