Struct rustc_query_impl::Queries

pub struct Queries<'tcx> {

    pub(crate) local_providers: Box<Providers>,
    pub(crate) extern_providers: Box<ExternProviders>,
    pub(crate) query_structs: Vec<QueryStruct<'tcx>>,
    pub on_disk_cache: Option<OnDiskCache<'tcx>>,
    pub(crate) jobs: AtomicU64,
    pub(crate) trigger_delay_span_bug: QueryState<DefId>,
    pub(crate) resolutions: QueryState<()>,
    pub(crate) resolver_for_lowering: QueryState<()>,
    pub(crate) source_span: QueryState<LocalDefId>,
    pub(crate) hir_crate: QueryState<()>,
    pub(crate) hir_crate_items: QueryState<()>,
    pub(crate) hir_module_items: QueryState<LocalDefId>,
    pub(crate) hir_owner: QueryState<OwnerId>,
    pub(crate) local_def_id_to_hir_id: QueryState<LocalDefId>,
    pub(crate) hir_owner_parent: QueryState<OwnerId>,
    pub(crate) hir_owner_nodes: QueryState<OwnerId>,
    pub(crate) hir_attrs: QueryState<OwnerId>,
    pub(crate) opt_const_param_of: QueryState<LocalDefId>,
    pub(crate) const_param_default: QueryState<DefId>,
    pub(crate) type_of: QueryState<DefId>,
    pub(crate) collect_trait_impl_trait_tys: QueryState<DefId>,
    pub(crate) analysis: QueryState<()>,
    pub(crate) check_expectations: QueryState<Option<Symbol>>,
    pub(crate) generics_of: QueryState<DefId>,
    pub(crate) predicates_of: QueryState<DefId>,
    pub(crate) explicit_item_bounds: QueryState<DefId>,
    pub(crate) item_bounds: QueryState<DefId>,
    pub(crate) native_libraries: QueryState<CrateNum>,
    pub(crate) shallow_lint_levels_on: QueryState<OwnerId>,
    pub(crate) lint_expectations: QueryState<()>,
    pub(crate) parent_module_from_def_id: QueryState<LocalDefId>,
    pub(crate) expn_that_defined: QueryState<DefId>,
    pub(crate) is_panic_runtime: QueryState<CrateNum>,
    pub(crate) representability: QueryState<LocalDefId>,
    pub(crate) representability_adt_ty: QueryState<Ty<'tcx>>,
    pub(crate) params_in_repr: QueryState<DefId>,
    pub(crate) thir_body: QueryState<WithOptConstParam<LocalDefId>>,
    pub(crate) thir_tree: QueryState<WithOptConstParam<LocalDefId>>,
    pub(crate) mir_keys: QueryState<()>,
    pub(crate) mir_const_qualif: QueryState<DefId>,
    pub(crate) mir_const_qualif_const_arg: QueryState<(LocalDefId, DefId)>,
    pub(crate) mir_built: QueryState<WithOptConstParam<LocalDefId>>,
    pub(crate) mir_const: QueryState<WithOptConstParam<LocalDefId>>,
    pub(crate) thir_abstract_const: QueryState<DefId>,
    pub(crate) thir_abstract_const_of_const_arg: QueryState<(LocalDefId, DefId)>,
    pub(crate) mir_drops_elaborated_and_const_checked: QueryState<WithOptConstParam<LocalDefId>>,
    pub(crate) mir_for_ctfe: QueryState<DefId>,
    pub(crate) mir_for_ctfe_of_const_arg: QueryState<(LocalDefId, DefId)>,
    pub(crate) mir_promoted: QueryState<WithOptConstParam<LocalDefId>>,
    pub(crate) symbols_for_closure_captures: QueryState<(LocalDefId, LocalDefId)>,
    pub(crate) optimized_mir: QueryState<DefId>,
    pub(crate) coverageinfo: QueryState<InstanceDef<'tcx>>,
    pub(crate) covered_code_regions: QueryState<DefId>,
    pub(crate) promoted_mir: QueryState<DefId>,
    pub(crate) promoted_mir_of_const_arg: QueryState<(LocalDefId, DefId)>,
    pub(crate) erase_regions_ty: QueryState<Ty<'tcx>>,
    pub(crate) wasm_import_module_map: QueryState<CrateNum>,
    pub(crate) predicates_defined_on: QueryState<DefId>,
    pub(crate) trait_explicit_predicates_and_bounds: QueryState<LocalDefId>,
    pub(crate) explicit_predicates_of: QueryState<DefId>,
    pub(crate) inferred_outlives_of: QueryState<DefId>,
    pub(crate) super_predicates_of: QueryState<DefId>,
    pub(crate) super_predicates_that_define_assoc_type: QueryState<(DefId, Option<Ident>)>,
    pub(crate) type_param_predicates: QueryState<(DefId, LocalDefId, Ident)>,
    pub(crate) trait_def: QueryState<DefId>,
    pub(crate) adt_def: QueryState<DefId>,
    pub(crate) adt_destructor: QueryState<DefId>,
    pub(crate) adt_sized_constraint: QueryState<DefId>,
    pub(crate) adt_dtorck_constraint: QueryState<DefId>,
    pub(crate) constness: QueryState<DefId>,
    pub(crate) asyncness: QueryState<DefId>,
    pub(crate) is_promotable_const_fn: QueryState<DefId>,
    pub(crate) is_foreign_item: QueryState<DefId>,
    pub(crate) generator_kind: QueryState<DefId>,
    pub(crate) crate_variances: QueryState<()>,
    pub(crate) variances_of: QueryState<DefId>,
    pub(crate) inferred_outlives_crate: QueryState<()>,
    pub(crate) associated_item_def_ids: QueryState<DefId>,
    pub(crate) associated_item: QueryState<DefId>,
    pub(crate) associated_items: QueryState<DefId>,
    pub(crate) impl_item_implementor_ids: QueryState<DefId>,
    pub(crate) impl_trait_ref: QueryState<DefId>,
    pub(crate) impl_polarity: QueryState<DefId>,
    pub(crate) issue33140_self_ty: QueryState<DefId>,
    pub(crate) inherent_impls: QueryState<DefId>,
    pub(crate) incoherent_impls: QueryState<SimplifiedType>,
    pub(crate) unsafety_check_result: QueryState<LocalDefId>,
    pub(crate) unsafety_check_result_for_const_arg: QueryState<(LocalDefId, DefId)>,
    pub(crate) thir_check_unsafety: QueryState<LocalDefId>,
    pub(crate) thir_check_unsafety_for_const_arg: QueryState<(LocalDefId, DefId)>,
    pub(crate) unsafe_derive_on_repr_packed: QueryState<LocalDefId>,
    pub(crate) assumed_wf_types: QueryState<DefId>,
    pub(crate) fn_sig: QueryState<DefId>,
    pub(crate) lint_mod: QueryState<LocalDefId>,
    pub(crate) check_mod_attrs: QueryState<LocalDefId>,
    pub(crate) check_mod_unstable_api_usage: QueryState<LocalDefId>,
    pub(crate) check_mod_const_bodies: QueryState<LocalDefId>,
    pub(crate) check_mod_loops: QueryState<LocalDefId>,
    pub(crate) check_mod_naked_functions: QueryState<LocalDefId>,
    pub(crate) check_mod_item_types: QueryState<LocalDefId>,
    pub(crate) check_mod_privacy: QueryState<LocalDefId>,
    pub(crate) check_liveness: QueryState<DefId>,
    pub(crate) live_symbols_and_ignored_derived_traits: QueryState<()>,
    pub(crate) check_mod_deathness: QueryState<LocalDefId>,
    pub(crate) check_mod_impl_wf: QueryState<LocalDefId>,
    pub(crate) check_mod_type_wf: QueryState<LocalDefId>,
    pub(crate) collect_mod_item_types: QueryState<LocalDefId>,
    pub(crate) coerce_unsized_info: QueryState<DefId>,
    pub(crate) typeck_item_bodies: QueryState<()>,
    pub(crate) typeck: QueryState<LocalDefId>,
    pub(crate) typeck_const_arg: QueryState<(LocalDefId, DefId)>,
    pub(crate) diagnostic_only_typeck: QueryState<LocalDefId>,
    pub(crate) used_trait_imports: QueryState<LocalDefId>,
    pub(crate) has_typeck_results: QueryState<DefId>,
    pub(crate) coherent_trait: QueryState<DefId>,
    pub(crate) mir_borrowck: QueryState<LocalDefId>,
    pub(crate) mir_borrowck_const_arg: QueryState<(LocalDefId, DefId)>,
    pub(crate) crate_inherent_impls: QueryState<()>,
    pub(crate) crate_inherent_impls_overlap_check: QueryState<()>,
    pub(crate) orphan_check_impl: QueryState<LocalDefId>,
    pub(crate) mir_callgraph_reachable: QueryState<(Instance<'tcx>, LocalDefId)>,
    pub(crate) mir_inliner_callees: QueryState<InstanceDef<'tcx>>,
    pub(crate) eval_to_allocation_raw: QueryState<ParamEnvAnd<'tcx, GlobalId<'tcx>>>,
    pub(crate) eval_to_const_value_raw: QueryState<ParamEnvAnd<'tcx, GlobalId<'tcx>>>,
    pub(crate) eval_to_valtree: QueryState<ParamEnvAnd<'tcx, GlobalId<'tcx>>>,
    pub(crate) valtree_to_const_val: QueryState<(Ty<'tcx>, ValTree<'tcx>)>,
    pub(crate) destructure_const: QueryState<Const<'tcx>>,
    pub(crate) try_destructure_mir_constant: QueryState<ParamEnvAnd<'tcx, ConstantKind<'tcx>>>,
    pub(crate) deref_mir_constant: QueryState<ParamEnvAnd<'tcx, ConstantKind<'tcx>>>,
    pub(crate) const_caller_location: QueryState<(Symbol, u32, u32)>,
    pub(crate) lit_to_const: QueryState<LitToConstInput<'tcx>>,
    pub(crate) lit_to_mir_constant: QueryState<LitToConstInput<'tcx>>,
    pub(crate) check_match: QueryState<DefId>,
    pub(crate) effective_visibilities: QueryState<()>,
    pub(crate) check_private_in_public: QueryState<()>,
    pub(crate) reachable_set: QueryState<()>,
    pub(crate) region_scope_tree: QueryState<DefId>,
    pub(crate) mir_shims: QueryState<InstanceDef<'tcx>>,
    pub(crate) symbol_name: QueryState<Instance<'tcx>>,
    pub(crate) opt_def_kind: QueryState<DefId>,
    pub(crate) def_span: QueryState<DefId>,
    pub(crate) def_ident_span: QueryState<DefId>,
    pub(crate) lookup_stability: QueryState<DefId>,
    pub(crate) lookup_const_stability: QueryState<DefId>,
    pub(crate) lookup_default_body_stability: QueryState<DefId>,
    pub(crate) should_inherit_track_caller: QueryState<DefId>,
    pub(crate) lookup_deprecation_entry: QueryState<DefId>,
    pub(crate) is_doc_hidden: QueryState<DefId>,
    pub(crate) is_doc_notable_trait: QueryState<DefId>,
    pub(crate) item_attrs: QueryState<DefId>,
    pub(crate) codegen_fn_attrs: QueryState<DefId>,
    pub(crate) asm_target_features: QueryState<DefId>,
    pub(crate) fn_arg_names: QueryState<DefId>,
    pub(crate) rendered_const: QueryState<DefId>,
    pub(crate) impl_parent: QueryState<DefId>,
    pub(crate) is_ctfe_mir_available: QueryState<DefId>,
    pub(crate) is_mir_available: QueryState<DefId>,
    pub(crate) own_existential_vtable_entries: QueryState<DefId>,
    pub(crate) vtable_entries: QueryState<Binder<'tcx, TraitRef<'tcx>>>,
    pub(crate) vtable_trait_upcasting_coercion_new_vptr_slot: QueryState<(Ty<'tcx>, Ty<'tcx>)>,
    pub(crate) vtable_allocation: QueryState<(Ty<'tcx>, Option<Binder<'tcx, ExistentialTraitRef<'tcx>>>)>,
    pub(crate) codegen_select_candidate: QueryState<(ParamEnv<'tcx>, Binder<'tcx, TraitRef<'tcx>>)>,
    pub(crate) all_local_trait_impls: QueryState<()>,
    pub(crate) trait_impls_of: QueryState<DefId>,
    pub(crate) specialization_graph_of: QueryState<DefId>,
    pub(crate) object_safety_violations: QueryState<DefId>,
    pub(crate) param_env: QueryState<DefId>,
    pub(crate) param_env_reveal_all_normalized: QueryState<DefId>,
    pub(crate) is_copy_raw: QueryState<ParamEnvAnd<'tcx, Ty<'tcx>>>,
    pub(crate) is_sized_raw: QueryState<ParamEnvAnd<'tcx, Ty<'tcx>>>,
    pub(crate) is_freeze_raw: QueryState<ParamEnvAnd<'tcx, Ty<'tcx>>>,
    pub(crate) is_unpin_raw: QueryState<ParamEnvAnd<'tcx, Ty<'tcx>>>,
    pub(crate) needs_drop_raw: QueryState<ParamEnvAnd<'tcx, Ty<'tcx>>>,
    pub(crate) has_significant_drop_raw: QueryState<ParamEnvAnd<'tcx, Ty<'tcx>>>,
    pub(crate) has_structural_eq_impls: QueryState<Ty<'tcx>>,
    pub(crate) adt_drop_tys: QueryState<DefId>,
    pub(crate) adt_significant_drop_tys: QueryState<DefId>,
    pub(crate) layout_of: QueryState<ParamEnvAnd<'tcx, Ty<'tcx>>>,
    pub(crate) fn_abi_of_fn_ptr: QueryState<ParamEnvAnd<'tcx, (Binder<'tcx, FnSig<'tcx>>, &'tcx List<Ty<'tcx>>)>>,
    pub(crate) fn_abi_of_instance: QueryState<ParamEnvAnd<'tcx, (Instance<'tcx>, &'tcx List<Ty<'tcx>>)>>,
    pub(crate) dylib_dependency_formats: QueryState<CrateNum>,
    pub(crate) dependency_formats: QueryState<()>,
    pub(crate) is_compiler_builtins: QueryState<CrateNum>,
    pub(crate) has_global_allocator: QueryState<CrateNum>,
    pub(crate) has_alloc_error_handler: QueryState<CrateNum>,
    pub(crate) has_panic_handler: QueryState<CrateNum>,
    pub(crate) is_profiler_runtime: QueryState<CrateNum>,
    pub(crate) has_ffi_unwind_calls: QueryState<LocalDefId>,
    pub(crate) required_panic_strategy: QueryState<CrateNum>,
    pub(crate) panic_in_drop_strategy: QueryState<CrateNum>,
    pub(crate) is_no_builtins: QueryState<CrateNum>,
    pub(crate) symbol_mangling_version: QueryState<CrateNum>,
    pub(crate) extern_crate: QueryState<DefId>,
    pub(crate) specializes: QueryState<(DefId, DefId)>,
    pub(crate) in_scope_traits_map: QueryState<OwnerId>,
    pub(crate) module_reexports: QueryState<LocalDefId>,
    pub(crate) impl_defaultness: QueryState<DefId>,
    pub(crate) check_well_formed: QueryState<OwnerId>,
    pub(crate) reachable_non_generics: QueryState<CrateNum>,
    pub(crate) is_reachable_non_generic: QueryState<DefId>,
    pub(crate) is_unreachable_local_definition: QueryState<LocalDefId>,
    pub(crate) upstream_monomorphizations: QueryState<()>,
    pub(crate) upstream_monomorphizations_for: QueryState<DefId>,
    pub(crate) upstream_drop_glue_for: QueryState<&'tcx List<GenericArg<'tcx>>>,
    pub(crate) foreign_modules: QueryState<CrateNum>,
    pub(crate) entry_fn: QueryState<()>,
    pub(crate) proc_macro_decls_static: QueryState<()>,
    pub(crate) crate_hash: QueryState<CrateNum>,
    pub(crate) crate_host_hash: QueryState<CrateNum>,
    pub(crate) extra_filename: QueryState<CrateNum>,
    pub(crate) crate_extern_paths: QueryState<CrateNum>,
    pub(crate) implementations_of_trait: QueryState<(CrateNum, DefId)>,
    pub(crate) crate_incoherent_impls: QueryState<(CrateNum, SimplifiedType)>,
    pub(crate) native_library: QueryState<DefId>,
    pub(crate) resolve_lifetimes: QueryState<OwnerId>,
    pub(crate) named_region_map: QueryState<OwnerId>,
    pub(crate) is_late_bound_map: QueryState<LocalDefId>,
    pub(crate) object_lifetime_default: QueryState<DefId>,
    pub(crate) late_bound_vars_map: QueryState<OwnerId>,
    pub(crate) visibility: QueryState<DefId>,
    pub(crate) inhabited_predicate_adt: QueryState<DefId>,
    pub(crate) inhabited_predicate_type: QueryState<Ty<'tcx>>,
    pub(crate) dep_kind: QueryState<CrateNum>,
    pub(crate) crate_name: QueryState<CrateNum>,
    pub(crate) module_children: QueryState<DefId>,
    pub(crate) extern_mod_stmt_cnum: QueryState<LocalDefId>,
    pub(crate) lib_features: QueryState<()>,
    pub(crate) defined_lib_features: QueryState<CrateNum>,
    pub(crate) stability_implications: QueryState<CrateNum>,
    pub(crate) is_intrinsic: QueryState<DefId>,
    pub(crate) get_lang_items: QueryState<()>,
    pub(crate) all_diagnostic_items: QueryState<()>,
    pub(crate) defined_lang_items: QueryState<CrateNum>,
    pub(crate) diagnostic_items: QueryState<CrateNum>,
    pub(crate) missing_lang_items: QueryState<CrateNum>,
    pub(crate) visible_parent_map: QueryState<()>,
    pub(crate) trimmed_def_paths: QueryState<()>,
    pub(crate) missing_extern_crate_item: QueryState<CrateNum>,
    pub(crate) used_crate_source: QueryState<CrateNum>,
    pub(crate) debugger_visualizers: QueryState<CrateNum>,
    pub(crate) postorder_cnums: QueryState<()>,
    pub(crate) is_private_dep: QueryState<CrateNum>,
    pub(crate) allocator_kind: QueryState<()>,
    pub(crate) alloc_error_handler_kind: QueryState<()>,
    pub(crate) upvars_mentioned: QueryState<DefId>,
    pub(crate) maybe_unused_trait_imports: QueryState<()>,
    pub(crate) maybe_unused_extern_crates: QueryState<()>,
    pub(crate) names_imported_by_glob_use: QueryState<LocalDefId>,
    pub(crate) stability_index: QueryState<()>,
    pub(crate) crates: QueryState<()>,
    pub(crate) traits_in_crate: QueryState<CrateNum>,
    pub(crate) exported_symbols: QueryState<CrateNum>,
    pub(crate) collect_and_partition_mono_items: QueryState<()>,
    pub(crate) is_codegened_item: QueryState<DefId>,
    pub(crate) codegened_and_inlined_items: QueryState<()>,
    pub(crate) codegen_unit: QueryState<Symbol>,
    pub(crate) unused_generic_params: QueryState<InstanceDef<'tcx>>,
    pub(crate) backend_optimization_level: QueryState<()>,
    pub(crate) output_filenames: QueryState<()>,
    pub(crate) normalize_projection_ty: QueryState<Canonical<'tcx, ParamEnvAnd<'tcx, AliasTy<'tcx>>>>,
    pub(crate) try_normalize_generic_arg_after_erasing_regions: QueryState<ParamEnvAnd<'tcx, GenericArg<'tcx>>>,
    pub(crate) implied_outlives_bounds: QueryState<Canonical<'tcx, ParamEnvAnd<'tcx, Ty<'tcx>>>>,
    pub(crate) dropck_outlives: QueryState<Canonical<'tcx, ParamEnvAnd<'tcx, Ty<'tcx>>>>,
    pub(crate) evaluate_obligation: QueryState<Canonical<'tcx, ParamEnvAnd<'tcx, Predicate<'tcx>>>>,
    pub(crate) evaluate_goal: QueryState<Canonical<'tcx, ChalkEnvironmentAndGoal<'tcx>>>,
    pub(crate) type_op_ascribe_user_type: QueryState<Canonical<'tcx, ParamEnvAnd<'tcx, AscribeUserType<'tcx>>>>,
    pub(crate) type_op_eq: QueryState<Canonical<'tcx, ParamEnvAnd<'tcx, Eq<'tcx>>>>,
    pub(crate) type_op_subtype: QueryState<Canonical<'tcx, ParamEnvAnd<'tcx, Subtype<'tcx>>>>,
    pub(crate) type_op_prove_predicate: QueryState<Canonical<'tcx, ParamEnvAnd<'tcx, ProvePredicate<'tcx>>>>,
    pub(crate) type_op_normalize_ty: QueryState<Canonical<'tcx, ParamEnvAnd<'tcx, Normalize<Ty<'tcx>>>>>,
    pub(crate) type_op_normalize_predicate: QueryState<Canonical<'tcx, ParamEnvAnd<'tcx, Normalize<Predicate<'tcx>>>>>,
    pub(crate) type_op_normalize_poly_fn_sig: QueryState<Canonical<'tcx, ParamEnvAnd<'tcx, Normalize<Binder<'tcx, FnSig<'tcx>>>>>>,
    pub(crate) type_op_normalize_fn_sig: QueryState<Canonical<'tcx, ParamEnvAnd<'tcx, Normalize<FnSig<'tcx>>>>>,
    pub(crate) subst_and_check_impossible_predicates: QueryState<(DefId, &'tcx List<GenericArg<'tcx>>)>,
    pub(crate) is_impossible_method: QueryState<(DefId, DefId)>,
    pub(crate) method_autoderef_steps: QueryState<Canonical<'tcx, ParamEnvAnd<'tcx, Ty<'tcx>>>>,
    pub(crate) supported_target_features: QueryState<CrateNum>,
    pub(crate) instance_def_size_estimate: QueryState<InstanceDef<'tcx>>,
    pub(crate) features_query: QueryState<()>,
    pub(crate) resolve_instance: QueryState<ParamEnvAnd<'tcx, (DefId, &'tcx List<GenericArg<'tcx>>)>>,
    pub(crate) resolve_instance_of_const_arg: QueryState<ParamEnvAnd<'tcx, (LocalDefId, DefId, &'tcx List<GenericArg<'tcx>>)>>,
    pub(crate) reveal_opaque_types_in_bounds: QueryState<&'tcx List<Predicate<'tcx>>>,
    pub(crate) limits: QueryState<()>,
    pub(crate) diagnostic_hir_wf_check: QueryState<(Predicate<'tcx>, WellFormedLoc)>,
    pub(crate) global_backend_features: QueryState<()>,
    pub(crate) generator_diagnostic_data: QueryState<DefId>,
    pub(crate) permits_uninit_init: QueryState<TyAndLayout<'tcx, Ty<'tcx>>>,
    pub(crate) permits_zero_init: QueryState<TyAndLayout<'tcx, Ty<'tcx>>>,
    pub(crate) compare_assoc_const_impl_item_with_trait_item: QueryState<(LocalDefId, DefId)>,
    pub(crate) deduced_param_attrs: QueryState<DefId>,
}

Fields

local_providers: Box<Providers>

extern_providers: Box<ExternProviders>

query_structs: Vec<QueryStruct<'tcx>>

on_disk_cache: Option<OnDiskCache<'tcx>>

jobs: AtomicU64

trigger_delay_span_bug: QueryState<DefId>

[query description - consider adding a doc-comment!] triggering a delay span bug

resolutions: QueryState<()>

[query description - consider adding a doc-comment!] getting the resolver outputs

resolver_for_lowering: QueryState<()>

[query description - consider adding a doc-comment!] getting the resolver for lowering

source_span: QueryState<LocalDefId>

Return the span for a definition. Contrary to def_span below, this query returns the full absolute span of the definition. This span is meant for dep-tracking rather than diagnostics. It should not be used outside of rustc_middle::hir::source_map.

hir_crate: QueryState<()>

Represents crate as a whole (as distinct from the top-level crate module). If you call hir_crate (e.g., indirectly by calling tcx.hir().krate()), we will have to assume that any change means that you need to be recompiled. This is because the hir_crate query gives you access to all other items. To avoid this fate, do not call tcx.hir().krate(); instead, prefer wrappers like tcx.visit_all_items_in_krate().

hir_crate_items: QueryState<()>

All items in the crate.

hir_module_items: QueryState<LocalDefId>

The items in a module.

This can be conveniently accessed by tcx.hir().visit_item_likes_in_module. Avoid calling this query directly.

hir_owner: QueryState<OwnerId>

Gives access to the HIR node for the HIR owner key.

This can be conveniently accessed by methods on tcx.hir(). Avoid calling this query directly.

local_def_id_to_hir_id: QueryState<LocalDefId>

Gives access to the HIR ID for the given LocalDefId owner key.

This can be conveniently accessed by methods on tcx.hir(). Avoid calling this query directly.

hir_owner_parent: QueryState<OwnerId>

Gives access to the HIR node’s parent for the HIR owner key.

This can be conveniently accessed by methods on tcx.hir(). Avoid calling this query directly.

hir_owner_nodes: QueryState<OwnerId>

Gives access to the HIR nodes and bodies inside the HIR owner key.

This can be conveniently accessed by methods on tcx.hir(). Avoid calling this query directly.

hir_attrs: QueryState<OwnerId>

Gives access to the HIR attributes inside the HIR owner key.

This can be conveniently accessed by methods on tcx.hir(). Avoid calling this query directly.

opt_const_param_of: QueryState<LocalDefId>

Computes the DefId of the corresponding const parameter in case the key is a const argument and returns None otherwise.

let a = foo::<7>();
//            ^ Calling `opt_const_param_of` for this argument,

fn foo<const N: usize>()
//           ^ returns this `DefId`.

fn bar() {
// ^ While calling `opt_const_param_of` for other bodies returns `None`.
}

const_param_default: QueryState<DefId>

Given the def_id of a const-generic parameter, computes the associated default const parameter. e.g. fn example<const N: usize=3> called on N would return 3.

type_of: QueryState<DefId>

Returns the Ty of the given DefId. If the DefId points to an alias, it will “skip” this alias to return the aliased type.

collect_trait_impl_trait_tys: QueryState<DefId>

[query description - consider adding a doc-comment!] comparing an impl and trait method signature, inferring any hidden impl Trait types in the process

analysis: QueryState<()>

[query description - consider adding a doc-comment!] running analysis passes on this crate

check_expectations: QueryState<Option<Symbol>>

This query checks the fulfillment of collected lint expectations. All lint emitting queries have to be done before this is executed to ensure that all expectations can be fulfilled.

This is an extra query to enable other drivers (like rustdoc) to only execute a small subset of the analysis query, while allowing lints to be expected. In rustc, this query will be executed as part of the analysis query and doesn’t have to be called a second time.

Tools can additionally pass in a tool filter. That will restrict the expectations to only trigger for lints starting with the listed tool name. This is useful for cases were not all linting code from rustc was called. With the default None all registered lints will also be checked for expectation fulfillment.

generics_of: QueryState<DefId>

Maps from the DefId of an item (trait/struct/enum/fn) to its associated generics.

predicates_of: QueryState<DefId>

Maps from the DefId of an item (trait/struct/enum/fn) to the predicates (where-clauses) that must be proven true in order to reference it. This is almost always the “predicates query” that you want.

predicates_of builds on predicates_defined_on – in fact, it is almost always the same as that query, except for the case of traits. For traits, predicates_of contains an additional Self: Trait<...> predicate that users don’t actually write. This reflects the fact that to invoke the trait (e.g., via Default::default) you must supply types that actually implement the trait. (However, this extra predicate gets in the way of some checks, which are intended to operate over only the actual where-clauses written by the user.)

explicit_item_bounds: QueryState<DefId>

Returns the list of bounds that can be used for SelectionCandidate::ProjectionCandidate(_) and ProjectionTyCandidate::TraitDef. Specifically this is the bounds written on the trait’s type definition, or those after the impl keyword

type X: Bound + 'lt
//      ^^^^^^^^^^^
impl Debug + Display
//   ^^^^^^^^^^^^^^^

key is the DefId of the associated type or opaque type.

Bounds from the parent (e.g. with nested impl trait) are not included.

item_bounds: QueryState<DefId>

Elaborated version of the predicates from explicit_item_bounds.

For example:

trait MyTrait {
    type MyAType: Eq + ?Sized;
}

explicit_item_bounds returns [<Self as MyTrait>::MyAType: Eq], and item_bounds returns

[
    <Self as Trait>::MyAType: Eq,
    <Self as Trait>::MyAType: PartialEq<<Self as Trait>::MyAType>
]

Bounds from the parent (e.g. with nested impl trait) are not included.

native_libraries: QueryState<CrateNum>

Look up all native libraries this crate depends on. These are assembled from the following places:

• extern blocks (depending on their link attributes)
• the libs (-l) option

shallow_lint_levels_on: QueryState<OwnerId>

[query description - consider adding a doc-comment!] looking up lint levels for tcx.def_path_str(key.to_def_id())

lint_expectations: QueryState<()>

[query description - consider adding a doc-comment!] computing #[expect]ed lints in this crate

parent_module_from_def_id: QueryState<LocalDefId>

[query description - consider adding a doc-comment!] getting the parent module of tcx.def_path_str(key.to_def_id())

expn_that_defined: QueryState<DefId>

[query description - consider adding a doc-comment!] getting the expansion that defined tcx.def_path_str(key)

is_panic_runtime: QueryState<CrateNum>

[query description - consider adding a doc-comment!] checking if the crate is_panic_runtime

representability: QueryState<LocalDefId>

Checks whether a type is representable or infinitely sized

representability_adt_ty: QueryState<Ty<'tcx>>

An implementation detail for the representability query

params_in_repr: QueryState<DefId>

Set of param indexes for type params that are in the type’s representation

thir_body: QueryState<WithOptConstParam<LocalDefId>>

Fetch the THIR for a given body. If typeck for that body failed, returns an empty Thir.

thir_tree: QueryState<WithOptConstParam<LocalDefId>>

Create a THIR tree for debugging.

mir_keys: QueryState<()>

Set of all the DefIds in this crate that have MIR associated with them. This includes all the body owners, but also things like struct constructors.

mir_const_qualif: QueryState<DefId>

Maps DefId’s that have an associated mir::Body to the result of the MIR const-checking pass. This is the set of qualifs in the final value of a const.

mir_const_qualif_const_arg: QueryState<(LocalDefId, DefId)>

[query description - consider adding a doc-comment!] const checking the const argument tcx.def_path_str(key.0.to_def_id())

mir_built: QueryState<WithOptConstParam<LocalDefId>>

Fetch the MIR for a given DefId right after it’s built - this includes unreachable code.

mir_const: QueryState<WithOptConstParam<LocalDefId>>

Fetch the MIR for a given DefId up till the point where it is ready for const qualification.

See the README for the mir module for details.

thir_abstract_const: QueryState<DefId>

Try to build an abstract representation of the given constant.

thir_abstract_const_of_const_arg: QueryState<(LocalDefId, DefId)>

Try to build an abstract representation of the given constant.

mir_drops_elaborated_and_const_checked: QueryState<WithOptConstParam<LocalDefId>>

[query description - consider adding a doc-comment!] elaborating drops for tcx.def_path_str(key.did.to_def_id())

mir_for_ctfe: QueryState<DefId>

[query description - consider adding a doc-comment!] caching mir of tcx.def_path_str(key) for CTFE

mir_for_ctfe_of_const_arg: QueryState<(LocalDefId, DefId)>

[query description - consider adding a doc-comment!] caching MIR for CTFE of the const argument tcx.def_path_str(key.0.to_def_id())

mir_promoted: QueryState<WithOptConstParam<LocalDefId>>

[query description - consider adding a doc-comment!] processing MIR for if key.const_param_did.is_some() { "the const argument " } else { "" } tcx.def_path_str(key.did.to_def_id())

symbols_for_closure_captures: QueryState<(LocalDefId, LocalDefId)>

[query description - consider adding a doc-comment!] finding symbols for captures of closure tcx.def_path_str(key.1.to_def_id()) in tcx.def_path_str(key.0.to_def_id())

optimized_mir: QueryState<DefId>

MIR after our optimization passes have run. This is MIR that is ready for codegen. This is also the only query that can fetch non-local MIR, at present.

coverageinfo: QueryState<InstanceDef<'tcx>>

Returns coverage summary info for a function, after executing the InstrumentCoverage MIR pass (assuming the -Cinstrument-coverage option is enabled).

covered_code_regions: QueryState<DefId>

Returns the CodeRegions for a function that has instrumented coverage, in case the function was optimized out before codegen, and before being added to the Coverage Map.

promoted_mir: QueryState<DefId>

The DefId is the DefId of the containing MIR body. Promoteds do not have their own DefId. This function returns all promoteds in the specified body. The body references promoteds by the DefId and the mir::Promoted index. This is necessary, because after inlining a body may refer to promoteds from other bodies. In that case you still need to use the DefId of the original body.

promoted_mir_of_const_arg: QueryState<(LocalDefId, DefId)>

[query description - consider adding a doc-comment!] optimizing promoted MIR for the const argument tcx.def_path_str(key.0.to_def_id())

erase_regions_ty: QueryState<Ty<'tcx>>

Erases regions from ty to yield a new type. Normally you would just use tcx.erase_regions(value), however, which uses this query as a kind of cache.

wasm_import_module_map: QueryState<CrateNum>

[query description - consider adding a doc-comment!] getting wasm import module map

predicates_defined_on: QueryState<DefId>

Maps from the DefId of an item (trait/struct/enum/fn) to the predicates (where-clauses) directly defined on it. This is equal to the explicit_predicates_of predicates plus the inferred_outlives_of predicates.

trait_explicit_predicates_and_bounds: QueryState<LocalDefId>

Returns everything that looks like a predicate written explicitly by the user on a trait item.

Traits are unusual, because predicates on associated types are converted into bounds on that type for backwards compatibility:

trait X where Self::U: Copy { type U; }

becomes

trait X { type U: Copy; }

explicit_predicates_of and explicit_item_bounds will then take the appropriate subsets of the predicates here.

explicit_predicates_of: QueryState<DefId>

Returns the predicates written explicitly by the user.

inferred_outlives_of: QueryState<DefId>

Returns the inferred outlives predicates (e.g., for struct Foo<'a, T> { x: &'a T }, this would return T: 'a).

super_predicates_of: QueryState<DefId>

Maps from the DefId of a trait to the list of super-predicates. This is a subset of the full list of predicates. We store these in a separate map because we must evaluate them even during type conversion, often before the full predicates are available (note that supertraits have additional acyclicity requirements).

super_predicates_that_define_assoc_type: QueryState<(DefId, Option<Ident>)>

The Option<Ident> is the name of an associated type. If it is None, then this query returns the full set of predicates. If Some<Ident>, then the query returns only the subset of super-predicates that reference traits that define the given associated type. This is used to avoid cycles in resolving types like T::Item.

type_param_predicates: QueryState<(DefId, LocalDefId, Ident)>

To avoid cycles within the predicates of a single item we compute per-type-parameter predicates for resolving T::AssocTy.

trait_def: QueryState<DefId>

[query description - consider adding a doc-comment!] computing trait definition for tcx.def_path_str(key)

adt_def: QueryState<DefId>

[query description - consider adding a doc-comment!] computing ADT definition for tcx.def_path_str(key)

adt_destructor: QueryState<DefId>

[query description - consider adding a doc-comment!] computing Drop impl for tcx.def_path_str(key)

adt_sized_constraint: QueryState<DefId>

[query description - consider adding a doc-comment!] computing Sized constraints for tcx.def_path_str(key)

adt_dtorck_constraint: QueryState<DefId>

[query description - consider adding a doc-comment!] computing drop-check constraints for tcx.def_path_str(key)

constness: QueryState<DefId>

Returns true if this is a const fn, use the is_const_fn to know whether your crate actually sees it as const fn (e.g., the const-fn-ness might be unstable and you might not have the feature gate active).

Do not call this function manually. It is only meant to cache the base data for the is_const_fn function. Consider using is_const_fn or is_const_fn_raw instead.

asyncness: QueryState<DefId>

[query description - consider adding a doc-comment!] checking if the function is async: tcx.def_path_str(key)

is_promotable_const_fn: QueryState<DefId>

Returns true if calls to the function may be promoted.

This is either because the function is e.g., a tuple-struct or tuple-variant constructor, or because it has the #[rustc_promotable] attribute. The attribute should be removed in the future in favour of some form of check which figures out whether the function does not inspect the bits of any of its arguments (so is essentially just a constructor function).

is_foreign_item: QueryState<DefId>

Returns true if this is a foreign item (i.e., linked via extern { ... }).

generator_kind: QueryState<DefId>

Returns Some(generator_kind) if the node pointed to by def_id is a generator.

crate_variances: QueryState<()>

Gets a map with the variance of every item; use item_variance instead.

variances_of: QueryState<DefId>

Maps from the DefId of a type or region parameter to its (inferred) variance.

inferred_outlives_crate: QueryState<()>

Maps from thee DefId of a type to its (inferred) outlives.

associated_item_def_ids: QueryState<DefId>

Maps from an impl/trait DefId to a list of the DefIds of its items.

associated_item: QueryState<DefId>

Maps from a trait item to the trait item “descriptor”.

associated_items: QueryState<DefId>

Collects the associated items defined on a trait or impl.

impl_item_implementor_ids: QueryState<DefId>

Maps from associated items on a trait to the corresponding associated item on the impl specified by impl_id.

For example, with the following code

struct Type {}
                        // DefId
trait Trait {           // trait_id
    fn f();             // trait_f
    fn g() {}           // trait_g
}

impl Trait for Type {   // impl_id
    fn f() {}           // impl_f
    fn g() {}           // impl_g
}

The map returned for tcx.impl_item_implementor_ids(impl_id) would be { trait_f: impl_f, trait_g: impl_g }

impl_trait_ref: QueryState<DefId>

Given an impl_id, return the trait it implements. Return None if this is an inherent impl.

impl_polarity: QueryState<DefId>

[query description - consider adding a doc-comment!] computing implementation polarity of tcx.def_path_str(impl_id)

issue33140_self_ty: QueryState<DefId>

[query description - consider adding a doc-comment!] computing Self type wrt issue #33140 tcx.def_path_str(key)

inherent_impls: QueryState<DefId>

Maps a DefId of a type to a list of its inherent impls. Contains implementations of methods that are inherent to a type. Methods in these implementations don’t need to be exported.

incoherent_impls: QueryState<SimplifiedType>

[query description - consider adding a doc-comment!] collecting all inherent impls for {:?}

unsafety_check_result: QueryState<LocalDefId>

The result of unsafety-checking this LocalDefId.

unsafety_check_result_for_const_arg: QueryState<(LocalDefId, DefId)>

[query description - consider adding a doc-comment!] unsafety-checking the const argument tcx.def_path_str(key.0.to_def_id())

thir_check_unsafety: QueryState<LocalDefId>

Unsafety-check this LocalDefId with THIR unsafeck. This should be used with -Zthir-unsafeck.

thir_check_unsafety_for_const_arg: QueryState<(LocalDefId, DefId)>

[query description - consider adding a doc-comment!] unsafety-checking the const argument tcx.def_path_str(key.0.to_def_id())

unsafe_derive_on_repr_packed: QueryState<LocalDefId>

HACK: when evaluated, this reports an “unsafe derive on repr(packed)” error.

Unsafety checking is executed for each method separately, but we only want to emit this error once per derive. As there are some impls with multiple methods, we use a query for deduplication.

assumed_wf_types: QueryState<DefId>

Returns the types assumed to be well formed while “inside” of the given item.

Note that we’ve liberated the late bound regions of function signatures, so this can not be used to check whether these types are well formed.

fn_sig: QueryState<DefId>

Computes the signature of the function.

lint_mod: QueryState<LocalDefId>

Performs lint checking for the module.

check_mod_attrs: QueryState<LocalDefId>

Checks the attributes in the module.

check_mod_unstable_api_usage: QueryState<LocalDefId>

Checks for uses of unstable APIs in the module.

check_mod_const_bodies: QueryState<LocalDefId>

Checks the const bodies in the module for illegal operations (e.g. if or loop).

check_mod_loops: QueryState<LocalDefId>

Checks the loops in the module.

check_mod_naked_functions: QueryState<LocalDefId>

[query description - consider adding a doc-comment!] checking naked functions in describe_as_module(key, tcx)

check_mod_item_types: QueryState<LocalDefId>

[query description - consider adding a doc-comment!] checking item types in describe_as_module(key, tcx)

check_mod_privacy: QueryState<LocalDefId>

[query description - consider adding a doc-comment!] checking privacy in describe_as_module(key, tcx)

check_liveness: QueryState<DefId>

[query description - consider adding a doc-comment!] checking liveness of variables in tcx.def_path_str(key)

live_symbols_and_ignored_derived_traits: QueryState<()>

Return the live symbols in the crate for dead code check.

The second return value maps from ADTs to ignored derived traits (e.g. Debug and Clone) and their respective impl (i.e., part of the derive macro)

check_mod_deathness: QueryState<LocalDefId>

[query description - consider adding a doc-comment!] checking deathness of variables in describe_as_module(key, tcx)

check_mod_impl_wf: QueryState<LocalDefId>

[query description - consider adding a doc-comment!] checking that impls are well-formed in describe_as_module(key, tcx)

check_mod_type_wf: QueryState<LocalDefId>

[query description - consider adding a doc-comment!] checking that types are well-formed in describe_as_module(key, tcx)

collect_mod_item_types: QueryState<LocalDefId>

[query description - consider adding a doc-comment!] collecting item types in describe_as_module(key, tcx)

coerce_unsized_info: QueryState<DefId>

Caches CoerceUnsized kinds for impls on custom types.

typeck_item_bodies: QueryState<()>

[query description - consider adding a doc-comment!] type-checking all item bodies

typeck: QueryState<LocalDefId>

[query description - consider adding a doc-comment!] type-checking tcx.def_path_str(key.to_def_id())

typeck_const_arg: QueryState<(LocalDefId, DefId)>

[query description - consider adding a doc-comment!] type-checking the const argument tcx.def_path_str(key.0.to_def_id())

diagnostic_only_typeck: QueryState<LocalDefId>

[query description - consider adding a doc-comment!] type-checking tcx.def_path_str(key.to_def_id())

used_trait_imports: QueryState<LocalDefId>

[query description - consider adding a doc-comment!] finding used_trait_imports tcx.def_path_str(key.to_def_id())

has_typeck_results: QueryState<DefId>

[query description - consider adding a doc-comment!] checking whether tcx.def_path_str(def_id) has a body

coherent_trait: QueryState<DefId>

[query description - consider adding a doc-comment!] coherence checking all impls of trait tcx.def_path_str(def_id)

mir_borrowck: QueryState<LocalDefId>

Borrow-checks the function body. If this is a closure, returns additional requirements that the closure’s creator must verify.

mir_borrowck_const_arg: QueryState<(LocalDefId, DefId)>

[query description - consider adding a doc-comment!] borrow-checking the const argument tcx.def_path_str(key.0.to_def_id())

crate_inherent_impls: QueryState<()>

Gets a complete map from all types to their inherent impls. Not meant to be used directly outside of coherence.

crate_inherent_impls_overlap_check: QueryState<()>

Checks all types in the crate for overlap in their inherent impls. Reports errors. Not meant to be used directly outside of coherence.

orphan_check_impl: QueryState<LocalDefId>

Checks whether all impls in the crate pass the overlap check, returning which impls fail it. If all impls are correct, the returned slice is empty.

mir_callgraph_reachable: QueryState<(Instance<'tcx>, LocalDefId)>

Check whether the function has any recursion that could cause the inliner to trigger a cycle. Returns the call stack causing the cycle. The call stack does not contain the current function, just all intermediate functions.

mir_inliner_callees: QueryState<InstanceDef<'tcx>>

Obtain all the calls into other local functions

eval_to_allocation_raw: QueryState<ParamEnvAnd<'tcx, GlobalId<'tcx>>>

Evaluates a constant and returns the computed allocation.

Do not use this directly, use the tcx.eval_static_initializer wrapper.

eval_to_const_value_raw: QueryState<ParamEnvAnd<'tcx, GlobalId<'tcx>>>

Evaluates const items or anonymous constants (such as enum variant explicit discriminants or array lengths) into a representation suitable for the type system and const generics.

Do not use this directly, use one of the following wrappers: tcx.const_eval_poly, tcx.const_eval_resolve, tcx.const_eval_instance, or tcx.const_eval_global_id.

eval_to_valtree: QueryState<ParamEnvAnd<'tcx, GlobalId<'tcx>>>

Evaluate a constant and convert it to a type level constant or return None if that is not possible.

valtree_to_const_val: QueryState<(Ty<'tcx>, ValTree<'tcx>)>

Converts a type level constant value into ConstValue

destructure_const: QueryState<Const<'tcx>>

Destructures array, ADT or tuple constants into the constants of their fields.

try_destructure_mir_constant: QueryState<ParamEnvAnd<'tcx, ConstantKind<'tcx>>>

Tries to destructure an mir::ConstantKind ADT or array into its variant index and its field values.

deref_mir_constant: QueryState<ParamEnvAnd<'tcx, ConstantKind<'tcx>>>

Dereference a constant reference or raw pointer and turn the result into a constant again.

const_caller_location: QueryState<(Symbol, u32, u32)>

[query description - consider adding a doc-comment!] getting a &core::panic::Location referring to a span

lit_to_const: QueryState<LitToConstInput<'tcx>>

[query description - consider adding a doc-comment!] converting literal to const

lit_to_mir_constant: QueryState<LitToConstInput<'tcx>>

[query description - consider adding a doc-comment!] converting literal to mir constant

check_match: QueryState<DefId>

[query description - consider adding a doc-comment!] match-checking tcx.def_path_str(key)

effective_visibilities: QueryState<()>

Performs part of the privacy check and computes effective visibilities.

check_private_in_public: QueryState<()>

[query description - consider adding a doc-comment!] checking for private elements in public interfaces

reachable_set: QueryState<()>

[query description - consider adding a doc-comment!] reachability

region_scope_tree: QueryState<DefId>

Per-body region::ScopeTree. The DefId should be the owner DefId for the body; in the case of closures, this will be redirected to the enclosing function.

mir_shims: QueryState<InstanceDef<'tcx>>

Generates a MIR body for the shim.

symbol_name: QueryState<Instance<'tcx>>

The symbol_name query provides the symbol name for calling a given instance from the local crate. In particular, it will also look up the correct symbol name of instances from upstream crates.

opt_def_kind: QueryState<DefId>

[query description - consider adding a doc-comment!] looking up definition kind of tcx.def_path_str(def_id)

def_span: QueryState<DefId>

Gets the span for the definition.

def_ident_span: QueryState<DefId>

Gets the span for the identifier of the definition.

lookup_stability: QueryState<DefId>

[query description - consider adding a doc-comment!] looking up stability of tcx.def_path_str(def_id)

lookup_const_stability: QueryState<DefId>

[query description - consider adding a doc-comment!] looking up const stability of tcx.def_path_str(def_id)

lookup_default_body_stability: QueryState<DefId>

[query description - consider adding a doc-comment!] looking up default body stability of tcx.def_path_str(def_id)

should_inherit_track_caller: QueryState<DefId>

[query description - consider adding a doc-comment!] computing should_inherit_track_caller of tcx.def_path_str(def_id)

lookup_deprecation_entry: QueryState<DefId>

[query description - consider adding a doc-comment!] checking whether tcx.def_path_str(def_id) is deprecated

is_doc_hidden: QueryState<DefId>

Determines whether an item is annotated with doc(hidden).

is_doc_notable_trait: QueryState<DefId>

Determines whether an item is annotated with doc(notable_trait).

item_attrs: QueryState<DefId>

Returns the attributes on the item at def_id.

Do not use this directly, use tcx.get_attrs instead.

codegen_fn_attrs: QueryState<DefId>

[query description - consider adding a doc-comment!] computing codegen attributes of tcx.def_path_str(def_id)

asm_target_features: QueryState<DefId>

[query description - consider adding a doc-comment!] computing target features for inline asm of tcx.def_path_str(def_id)

fn_arg_names: QueryState<DefId>

[query description - consider adding a doc-comment!] looking up function parameter names for tcx.def_path_str(def_id)

rendered_const: QueryState<DefId>

Gets the rendered value of the specified constant or associated constant. Used by rustdoc.

impl_parent: QueryState<DefId>

[query description - consider adding a doc-comment!] computing specialization parent impl of tcx.def_path_str(def_id)

is_ctfe_mir_available: QueryState<DefId>

[query description - consider adding a doc-comment!] checking if item has CTFE MIR available: tcx.def_path_str(key)

is_mir_available: QueryState<DefId>

[query description - consider adding a doc-comment!] checking if item has MIR available: tcx.def_path_str(key)

own_existential_vtable_entries: QueryState<DefId>

[query description - consider adding a doc-comment!] finding all existential vtable entries for trait tcx.def_path_str(key)

vtable_entries: QueryState<Binder<'tcx, TraitRef<'tcx>>>

[query description - consider adding a doc-comment!] finding all vtable entries for trait tcx.def_path_str(key.def_id())

vtable_trait_upcasting_coercion_new_vptr_slot: QueryState<(Ty<'tcx>, Ty<'tcx>)>

[query description - consider adding a doc-comment!] finding the slot within vtable for trait object key.1 vtable ptr during trait upcasting coercion from key.0 vtable

vtable_allocation: QueryState<(Ty<'tcx>, Option<Binder<'tcx, ExistentialTraitRef<'tcx>>>)>

[query description - consider adding a doc-comment!] vtable const allocation for < key.0 as key.1.map(| trait_ref | format! ("{}", trait_ref)).unwrap_or("_".to_owned()) >

codegen_select_candidate: QueryState<(ParamEnv<'tcx>, Binder<'tcx, TraitRef<'tcx>>)>

[query description - consider adding a doc-comment!] computing candidate for key.1

all_local_trait_impls: QueryState<()>

Return all impl blocks in the current crate.

trait_impls_of: QueryState<DefId>

Given a trait trait_id, return all known impl blocks.

specialization_graph_of: QueryState<DefId>

[query description - consider adding a doc-comment!] building specialization graph of trait tcx.def_path_str(trait_id)

object_safety_violations: QueryState<DefId>

[query description - consider adding a doc-comment!] determining object safety of trait tcx.def_path_str(trait_id)

param_env: QueryState<DefId>

Gets the ParameterEnvironment for a given item; this environment will be in “user-facing” mode, meaning that it is suitable for type-checking etc, and it does not normalize specializable associated types. This is almost always what you want, unless you are doing MIR optimizations, in which case you might want to use reveal_all() method to change modes.

param_env_reveal_all_normalized: QueryState<DefId>

Like param_env, but returns the ParamEnv in Reveal::All mode. Prefer this over tcx.param_env(def_id).with_reveal_all_normalized(tcx), as this method is more efficient.

is_copy_raw: QueryState<ParamEnvAnd<'tcx, Ty<'tcx>>>

Trait selection queries. These are best used by invoking ty.is_copy_modulo_regions(), ty.is_copy(), etc, since that will prune the environment where possible.

is_sized_raw: QueryState<ParamEnvAnd<'tcx, Ty<'tcx>>>

Query backing Ty::is_sized.

is_freeze_raw: QueryState<ParamEnvAnd<'tcx, Ty<'tcx>>>

Query backing Ty::is_freeze.

is_unpin_raw: QueryState<ParamEnvAnd<'tcx, Ty<'tcx>>>

Query backing Ty::is_unpin.

needs_drop_raw: QueryState<ParamEnvAnd<'tcx, Ty<'tcx>>>

Query backing Ty::needs_drop.

has_significant_drop_raw: QueryState<ParamEnvAnd<'tcx, Ty<'tcx>>>

Query backing Ty::has_significant_drop_raw.

has_structural_eq_impls: QueryState<Ty<'tcx>>

Query backing Ty::is_structural_eq_shallow.

This is only correct for ADTs. Call is_structural_eq_shallow to handle all types correctly.

adt_drop_tys: QueryState<DefId>

A list of types where the ADT requires drop if and only if any of those types require drop. If the ADT is known to always need drop then Err(AlwaysRequiresDrop) is returned.

adt_significant_drop_tys: QueryState<DefId>

A list of types where the ADT requires drop if and only if any of those types has significant drop. A type marked with the attribute rustc_insignificant_dtor is considered to not be significant. A drop is significant if it is implemented by the user or does anything that will have any observable behavior (other than freeing up memory). If the ADT is known to have a significant destructor then Err(AlwaysRequiresDrop) is returned.

layout_of: QueryState<ParamEnvAnd<'tcx, Ty<'tcx>>>

Computes the layout of a type. Note that this implicitly executes in “reveal all” mode, and will normalize the input type.

fn_abi_of_fn_ptr: QueryState<ParamEnvAnd<'tcx, (Binder<'tcx, FnSig<'tcx>>, &'tcx List<Ty<'tcx>>)>>

Compute a FnAbi suitable for indirect calls, i.e. to fn pointers.

NB: this doesn’t handle virtual calls - those should use fn_abi_of_instance instead, where the instance is an InstanceDef::Virtual.

fn_abi_of_instance: QueryState<ParamEnvAnd<'tcx, (Instance<'tcx>, &'tcx List<Ty<'tcx>>)>>

Compute a FnAbi suitable for declaring/defining an fn instance, and for direct calls to an fn.

NB: that includes virtual calls, which are represented by “direct calls” to an InstanceDef::Virtual instance (of <dyn Trait as Trait>::fn).

dylib_dependency_formats: QueryState<CrateNum>

[query description - consider adding a doc-comment!] getting dylib dependency formats of crate

dependency_formats: QueryState<()>

[query description - consider adding a doc-comment!] getting the linkage format of all dependencies

is_compiler_builtins: QueryState<CrateNum>

[query description - consider adding a doc-comment!] checking if the crate is_compiler_builtins

has_global_allocator: QueryState<CrateNum>

[query description - consider adding a doc-comment!] checking if the crate has_global_allocator

has_alloc_error_handler: QueryState<CrateNum>

[query description - consider adding a doc-comment!] checking if the crate has_alloc_error_handler

has_panic_handler: QueryState<CrateNum>

[query description - consider adding a doc-comment!] checking if the crate has_panic_handler

is_profiler_runtime: QueryState<CrateNum>

[query description - consider adding a doc-comment!] checking if a crate is #![profiler_runtime]

has_ffi_unwind_calls: QueryState<LocalDefId>

[query description - consider adding a doc-comment!] checking if tcx.def_path_str(key.to_def_id()) contains FFI-unwind calls

required_panic_strategy: QueryState<CrateNum>

[query description - consider adding a doc-comment!] getting a crate’s required panic strategy

panic_in_drop_strategy: QueryState<CrateNum>

[query description - consider adding a doc-comment!] getting a crate’s configured panic-in-drop strategy

is_no_builtins: QueryState<CrateNum>

[query description - consider adding a doc-comment!] getting whether a crate has #![no_builtins]

symbol_mangling_version: QueryState<CrateNum>

[query description - consider adding a doc-comment!] getting a crate’s symbol mangling version

extern_crate: QueryState<DefId>

[query description - consider adding a doc-comment!] getting crate’s ExternCrateData

specializes: QueryState<(DefId, DefId)>

[query description - consider adding a doc-comment!] computing whether impls specialize one another

in_scope_traits_map: QueryState<OwnerId>

[query description - consider adding a doc-comment!] getting traits in scope at a block

module_reexports: QueryState<LocalDefId>

[query description - consider adding a doc-comment!] looking up reexports of module tcx.def_path_str(def_id.to_def_id())

impl_defaultness: QueryState<DefId>

[query description - consider adding a doc-comment!] looking up whether tcx.def_path_str(def_id) is a default impl

check_well_formed: QueryState<OwnerId>

[query description - consider adding a doc-comment!] checking that tcx.def_path_str(key.to_def_id()) is well-formed

reachable_non_generics: QueryState<CrateNum>

[query description - consider adding a doc-comment!] looking up the exported symbols of a crate

is_reachable_non_generic: QueryState<DefId>

[query description - consider adding a doc-comment!] checking whether tcx.def_path_str(def_id) is an exported symbol

is_unreachable_local_definition: QueryState<LocalDefId>

[query description - consider adding a doc-comment!] checking whether tcx.def_path_str(def_id.to_def_id()) is reachable from outside the crate

upstream_monomorphizations: QueryState<()>

The entire set of monomorphizations the local crate can safely link to because they are exported from upstream crates. Do not depend on this directly, as its value changes anytime a monomorphization gets added or removed in any upstream crate. Instead use the narrower upstream_monomorphizations_for, upstream_drop_glue_for, or, even better, Instance::upstream_monomorphization().

upstream_monomorphizations_for: QueryState<DefId>

Returns the set of upstream monomorphizations available for the generic function identified by the given def_id. The query makes sure to make a stable selection if the same monomorphization is available in multiple upstream crates.

You likely want to call Instance::upstream_monomorphization() instead of invoking this query directly.

upstream_drop_glue_for: QueryState<&'tcx List<GenericArg<'tcx>>>

Returns the upstream crate that exports drop-glue for the given type (substs is expected to be a single-item list containing the type one wants drop-glue for).

This is a subset of upstream_monomorphizations_for in order to increase dep-tracking granularity. Otherwise adding or removing any type with drop-glue in any upstream crate would invalidate all functions calling drop-glue of an upstream type.

You likely want to call Instance::upstream_monomorphization() instead of invoking this query directly.

NOTE: This query could easily be extended to also support other common functions that have are large set of monomorphizations (like Clone::clone for example).

foreign_modules: QueryState<CrateNum>

Returns a list of all extern blocks of a crate.

entry_fn: QueryState<()>

Identifies the entry-point (e.g., the main function) for a given crate, returning None if there is no entry point (such as for library crates).

proc_macro_decls_static: QueryState<()>

Finds the rustc_proc_macro_decls item of a crate.

crate_hash: QueryState<CrateNum>

[query description - consider adding a doc-comment!] looking up the hash a crate

crate_host_hash: QueryState<CrateNum>

Gets the hash for the host proc macro. Used to support -Z dual-proc-macro.

extra_filename: QueryState<CrateNum>

Gets the extra data to put in each output filename for a crate. For example, compiling the foo crate with extra-filename=-a creates a libfoo-b.rlib file.

crate_extern_paths: QueryState<CrateNum>

Gets the paths where the crate came from in the file system.

implementations_of_trait: QueryState<(CrateNum, DefId)>

Given a crate and a trait, look up all impls of that trait in the crate. Return (impl_id, self_ty).

crate_incoherent_impls: QueryState<(CrateNum, SimplifiedType)>

Collects all incoherent impls for the given crate and type.

Do not call this directly, but instead use the incoherent_impls query. This query is only used to get the data necessary for that query.

native_library: QueryState<DefId>

Get the corresponding native library from the native_libraries query

resolve_lifetimes: QueryState<OwnerId>

Does lifetime resolution on items. Importantly, we can’t resolve lifetimes directly on things like trait methods, because of trait params. See `rustc_resolve::late::lifetimes for details.

named_region_map: QueryState<OwnerId>

[query description - consider adding a doc-comment!] looking up a named region

is_late_bound_map: QueryState<LocalDefId>

[query description - consider adding a doc-comment!] testing if a region is late bound

object_lifetime_default: QueryState<DefId>

For a given item’s generic parameter, gets the default lifetimes to be used for each parameter if a trait object were to be passed for that parameter. For example, for T in struct Foo<'a, T>, this would be 'static. For T in struct Foo<'a, T: 'a>, this would instead be 'a. This query will panic if passed something that is not a type parameter.

late_bound_vars_map: QueryState<OwnerId>

[query description - consider adding a doc-comment!] looking up late bound vars

visibility: QueryState<DefId>

Computes the visibility of the provided def_id.

If the item from the def_id doesn’t have a visibility, it will panic. For example a generic type parameter will panic if you call this method on it:

use std::fmt::Debug;

pub trait Foo<T: Debug> {}

In here, if you call visibility on T, it’ll panic.

inhabited_predicate_adt: QueryState<DefId>

[query description - consider adding a doc-comment!] computing the uninhabited predicate of {:?}

inhabited_predicate_type: QueryState<Ty<'tcx>>

Do not call this query directly: invoke Ty::inhabited_predicate instead.

dep_kind: QueryState<CrateNum>

[query description - consider adding a doc-comment!] fetching what a dependency looks like

crate_name: QueryState<CrateNum>

Gets the name of the crate.

module_children: QueryState<DefId>

[query description - consider adding a doc-comment!] collecting child items of module tcx.def_path_str(def_id)

extern_mod_stmt_cnum: QueryState<LocalDefId>

[query description - consider adding a doc-comment!] computing crate imported by tcx.def_path_str(def_id.to_def_id())

lib_features: QueryState<()>

[query description - consider adding a doc-comment!] calculating the lib features map

defined_lib_features: QueryState<CrateNum>

[query description - consider adding a doc-comment!] calculating the lib features defined in a crate

stability_implications: QueryState<CrateNum>

[query description - consider adding a doc-comment!] calculating the implications between #[unstable] features defined in a crate

is_intrinsic: QueryState<DefId>

Whether the function is an intrinsic

get_lang_items: QueryState<()>

Returns the lang items defined in another crate by loading it from metadata.

all_diagnostic_items: QueryState<()>

Returns all diagnostic items defined in all crates.

defined_lang_items: QueryState<CrateNum>

Returns the lang items defined in another crate by loading it from metadata.

diagnostic_items: QueryState<CrateNum>

Returns the diagnostic items defined in a crate.

missing_lang_items: QueryState<CrateNum>

[query description - consider adding a doc-comment!] calculating the missing lang items in a crate

visible_parent_map: QueryState<()>

[query description - consider adding a doc-comment!] calculating the visible parent map

trimmed_def_paths: QueryState<()>

[query description - consider adding a doc-comment!] calculating trimmed def paths

missing_extern_crate_item: QueryState<CrateNum>

[query description - consider adding a doc-comment!] seeing if we’re missing an extern crate item for this crate

used_crate_source: QueryState<CrateNum>

[query description - consider adding a doc-comment!] looking at the source for a crate

debugger_visualizers: QueryState<CrateNum>

Returns the debugger visualizers defined for this crate.

postorder_cnums: QueryState<()>

[query description - consider adding a doc-comment!] generating a postorder list of CrateNums

is_private_dep: QueryState<CrateNum>

Returns whether or not the crate with CrateNum ‘cnum’ is marked as a private dependency

allocator_kind: QueryState<()>

[query description - consider adding a doc-comment!] getting the allocator kind for the current crate

alloc_error_handler_kind: QueryState<()>

[query description - consider adding a doc-comment!] alloc error handler kind for the current crate

upvars_mentioned: QueryState<DefId>

[query description - consider adding a doc-comment!] collecting upvars mentioned in tcx.def_path_str(def_id)

maybe_unused_trait_imports: QueryState<()>

[query description - consider adding a doc-comment!] fetching potentially unused trait imports

maybe_unused_extern_crates: QueryState<()>

[query description - consider adding a doc-comment!] looking up all possibly unused extern crates

names_imported_by_glob_use: QueryState<LocalDefId>

[query description - consider adding a doc-comment!] finding names imported by glob use for tcx.def_path_str(def_id.to_def_id())

stability_index: QueryState<()>

[query description - consider adding a doc-comment!] calculating the stability index for the local crate

crates: QueryState<()>

[query description - consider adding a doc-comment!] fetching all foreign CrateNum instances

traits_in_crate: QueryState<CrateNum>

A list of all traits in a crate, used by rustdoc and error reporting. NOTE: Not named just traits due to a naming conflict.

exported_symbols: QueryState<CrateNum>

The list of symbols exported from the given crate.

• All names contained in exported_symbols(cnum) are guaranteed to correspond to a publicly visible symbol in cnum machine code.
• The exported_symbols sets of different crates do not intersect.

collect_and_partition_mono_items: QueryState<()>

[query description - consider adding a doc-comment!] collect_and_partition_mono_items

is_codegened_item: QueryState<DefId>

[query description - consider adding a doc-comment!] determining whether tcx.def_path_str(def_id) needs codegen

codegened_and_inlined_items: QueryState<()>

All items participating in code generation together with items inlined into them.

codegen_unit: QueryState<Symbol>

[query description - consider adding a doc-comment!] getting codegen unit {sym}

unused_generic_params: QueryState<InstanceDef<'tcx>>

[query description - consider adding a doc-comment!] determining which generic parameters are unused by tcx.def_path_str(key.def_id())

backend_optimization_level: QueryState<()>

[query description - consider adding a doc-comment!] optimization level used by backend

output_filenames: QueryState<()>

Return the filenames where output artefacts shall be stored.

This query returns an &Arc because codegen backends need the value even after the TyCtxt has been destroyed.

normalize_projection_ty: QueryState<Canonical<'tcx, ParamEnvAnd<'tcx, AliasTy<'tcx>>>>

Do not call this query directly: invoke normalize instead.

try_normalize_generic_arg_after_erasing_regions: QueryState<ParamEnvAnd<'tcx, GenericArg<'tcx>>>

Do not call this query directly: invoke try_normalize_erasing_regions instead.

implied_outlives_bounds: QueryState<Canonical<'tcx, ParamEnvAnd<'tcx, Ty<'tcx>>>>

[query description - consider adding a doc-comment!] computing implied outlives bounds for goal.value.value

dropck_outlives: QueryState<Canonical<'tcx, ParamEnvAnd<'tcx, Ty<'tcx>>>>

Do not call this query directly: invoke DropckOutlives::new(dropped_ty)).fully_perform(typeck.infcx) instead.

evaluate_obligation: QueryState<Canonical<'tcx, ParamEnvAnd<'tcx, Predicate<'tcx>>>>

Do not call this query directly: invoke infcx.predicate_may_hold() or infcx.predicate_must_hold() instead.

evaluate_goal: QueryState<Canonical<'tcx, ChalkEnvironmentAndGoal<'tcx>>>

[query description - consider adding a doc-comment!] evaluating trait selection obligation goal.value

type_op_ascribe_user_type: QueryState<Canonical<'tcx, ParamEnvAnd<'tcx, AscribeUserType<'tcx>>>>

Do not call this query directly: part of the Eq type-op

type_op_eq: QueryState<Canonical<'tcx, ParamEnvAnd<'tcx, Eq<'tcx>>>>

Do not call this query directly: part of the Eq type-op

type_op_subtype: QueryState<Canonical<'tcx, ParamEnvAnd<'tcx, Subtype<'tcx>>>>

Do not call this query directly: part of the Subtype type-op

type_op_prove_predicate: QueryState<Canonical<'tcx, ParamEnvAnd<'tcx, ProvePredicate<'tcx>>>>

Do not call this query directly: part of the ProvePredicate type-op

type_op_normalize_ty: QueryState<Canonical<'tcx, ParamEnvAnd<'tcx, Normalize<Ty<'tcx>>>>>

Do not call this query directly: part of the Normalize type-op

type_op_normalize_predicate: QueryState<Canonical<'tcx, ParamEnvAnd<'tcx, Normalize<Predicate<'tcx>>>>>

Do not call this query directly: part of the Normalize type-op

type_op_normalize_poly_fn_sig: QueryState<Canonical<'tcx, ParamEnvAnd<'tcx, Normalize<Binder<'tcx, FnSig<'tcx>>>>>>

Do not call this query directly: part of the Normalize type-op

type_op_normalize_fn_sig: QueryState<Canonical<'tcx, ParamEnvAnd<'tcx, Normalize<FnSig<'tcx>>>>>

Do not call this query directly: part of the Normalize type-op

subst_and_check_impossible_predicates: QueryState<(DefId, &'tcx List<GenericArg<'tcx>>)>

[query description - consider adding a doc-comment!] checking impossible substituted predicates: tcx.def_path_str(key.0)

is_impossible_method: QueryState<(DefId, DefId)>

[query description - consider adding a doc-comment!] checking if tcx.def_path_str(key.1) is impossible to call within tcx.def_path_str(key.0)

method_autoderef_steps: QueryState<Canonical<'tcx, ParamEnvAnd<'tcx, Ty<'tcx>>>>

[query description - consider adding a doc-comment!] computing autoderef types for goal.value.value

supported_target_features: QueryState<CrateNum>

[query description - consider adding a doc-comment!] looking up supported target features

instance_def_size_estimate: QueryState<InstanceDef<'tcx>>

Get an estimate of the size of an InstanceDef based on its MIR for CGU partitioning.

features_query: QueryState<()>

[query description - consider adding a doc-comment!] looking up enabled feature gates

resolve_instance: QueryState<ParamEnvAnd<'tcx, (DefId, &'tcx List<GenericArg<'tcx>>)>>

Attempt to resolve the given DefId to an Instance, for the given generics args (SubstsRef), returning one of:

• Ok(Some(instance)) on success
• Ok(None) when the SubstsRef are still too generic, and therefore don’t allow finding the final Instance
• Err(ErrorGuaranteed) when the Instance resolution process couldn’t complete due to errors elsewhere - this is distinct from Ok(None) to avoid misleading diagnostics when an error has already been/will be emitted, for the original cause

resolve_instance_of_const_arg: QueryState<ParamEnvAnd<'tcx, (LocalDefId, DefId, &'tcx List<GenericArg<'tcx>>)>>

[query description - consider adding a doc-comment!] resolving instance of the const argument ty :: Instance :: new(key.value.0.to_def_id(), key.value.2)

reveal_opaque_types_in_bounds: QueryState<&'tcx List<Predicate<'tcx>>>

[query description - consider adding a doc-comment!] revealing opaque types in {:?}

limits: QueryState<()>

[query description - consider adding a doc-comment!] looking up limits

diagnostic_hir_wf_check: QueryState<(Predicate<'tcx>, WellFormedLoc)>

Performs an HIR-based well-formed check on the item with the given HirId. If we get an Unimplemented error that matches the provided Predicate, return the cause of the newly created obligation.

This is only used by error-reporting code to get a better cause (in particular, a better span) for an existing error. Therefore, it is best-effort, and may never handle all of the cases that the normal ty::Ty-based wfcheck does. This is fine, because the ty::Ty-based wfcheck is always run.

global_backend_features: QueryState<()>

The list of backend features computed from CLI flags (-Ctarget-cpu, -Ctarget-feature, --target and similar).

generator_diagnostic_data: QueryState<DefId>

[query description - consider adding a doc-comment!] looking up generator diagnostic data of tcx.def_path_str(key)

permits_uninit_init: QueryState<TyAndLayout<'tcx, Ty<'tcx>>>

[query description - consider adding a doc-comment!] checking to see if key.ty permits being left uninit

permits_zero_init: QueryState<TyAndLayout<'tcx, Ty<'tcx>>>

[query description - consider adding a doc-comment!] checking to see if key.ty permits being left zeroed

compare_assoc_const_impl_item_with_trait_item: QueryState<(LocalDefId, DefId)>

[query description - consider adding a doc-comment!] checking assoc const tcx.def_path_str(key.0.to_def_id()) has the same type as trait item

deduced_param_attrs: QueryState<DefId>

[query description - consider adding a doc-comment!] deducing parameter attributes for tcx.def_path_str(def_id)

Implementations

impl<'tcx> Queries<'tcx>

pub fn new(
    local_providers: Providers,
    extern_providers: ExternProviders,
    on_disk_cache: Option<OnDiskCache<'tcx>>
) -> Self

impl<'tcx> Queries<'tcx>

pub(crate) fn try_collect_active_jobs(
    &'tcx self,
    tcx: TyCtxt<'tcx>
) -> Option<QueryMap>

impl<'tcx> Queries<'tcx>

pub fn as_dyn(&'tcx self) -> &'tcx dyn QueryEngine<'tcx>

Trait Implementations

impl<'tcx> Default for Queries<'tcx>

fn default() -> Queries<'tcx>

Returns the “default value” for a type.

impl<'tcx> QueryEngine<'tcx> for Queries<'tcx>

fn trigger_delay_span_bug(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<trigger_delay_span_bug<'tcx>>

[query description - consider adding a doc-comment!] triggering a delay span bug

fn resolutions(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (),
    mode: QueryMode
) -> Option<resolutions<'tcx>>

[query description - consider adding a doc-comment!] getting the resolver outputs

fn resolver_for_lowering(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (),
    mode: QueryMode
) -> Option<resolver_for_lowering<'tcx>>

[query description - consider adding a doc-comment!] getting the resolver for lowering

fn source_span(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: LocalDefId,
    mode: QueryMode
) -> Option<source_span<'tcx>>

Return the span for a definition. Contrary to def_span below, this query returns the full absolute span of the definition. This span is meant for dep-tracking rather than diagnostics. It should not be used outside of rustc_middle::hir::source_map.

fn hir_crate(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (),
    mode: QueryMode
) -> Option<hir_crate<'tcx>>

Represents crate as a whole (as distinct from the top-level crate module). If you call hir_crate (e.g., indirectly by calling tcx.hir().krate()), we will have to assume that any change means that you need to be recompiled. This is because the hir_crate query gives you access to all other items. To avoid this fate, do not call tcx.hir().krate(); instead, prefer wrappers like tcx.visit_all_items_in_krate().

fn hir_crate_items(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (),
    mode: QueryMode
) -> Option<hir_crate_items<'tcx>>

All items in the crate.

fn hir_module_items(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: LocalDefId,
    mode: QueryMode
) -> Option<hir_module_items<'tcx>>

The items in a module.

This can be conveniently accessed by tcx.hir().visit_item_likes_in_module. Avoid calling this query directly.

fn hir_owner(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: OwnerId,
    mode: QueryMode
) -> Option<hir_owner<'tcx>>

Gives access to the HIR node for the HIR owner key.

This can be conveniently accessed by methods on tcx.hir(). Avoid calling this query directly.

fn local_def_id_to_hir_id(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: LocalDefId,
    mode: QueryMode
) -> Option<local_def_id_to_hir_id<'tcx>>

Gives access to the HIR ID for the given LocalDefId owner key.

This can be conveniently accessed by methods on tcx.hir(). Avoid calling this query directly.

fn hir_owner_parent(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: OwnerId,
    mode: QueryMode
) -> Option<hir_owner_parent<'tcx>>

Gives access to the HIR node’s parent for the HIR owner key.

This can be conveniently accessed by methods on tcx.hir(). Avoid calling this query directly.

fn hir_owner_nodes(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: OwnerId,
    mode: QueryMode
) -> Option<hir_owner_nodes<'tcx>>

Gives access to the HIR nodes and bodies inside the HIR owner key.

This can be conveniently accessed by methods on tcx.hir(). Avoid calling this query directly.

fn hir_attrs(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: OwnerId,
    mode: QueryMode
) -> Option<hir_attrs<'tcx>>

Gives access to the HIR attributes inside the HIR owner key.

This can be conveniently accessed by methods on tcx.hir(). Avoid calling this query directly.

fn opt_const_param_of(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: LocalDefId,
    mode: QueryMode
) -> Option<opt_const_param_of<'tcx>>

Computes the DefId of the corresponding const parameter in case the key is a const argument and returns None otherwise.

let a = foo::<7>();
//            ^ Calling `opt_const_param_of` for this argument,

fn foo<const N: usize>()
//           ^ returns this `DefId`.

fn bar() {
// ^ While calling `opt_const_param_of` for other bodies returns `None`.
}

fn const_param_default(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<const_param_default<'tcx>>

Given the def_id of a const-generic parameter, computes the associated default const parameter. e.g. fn example<const N: usize=3> called on N would return 3.

fn type_of(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<type_of<'tcx>>

Returns the Ty of the given DefId. If the DefId points to an alias, it will “skip” this alias to return the aliased type.

fn collect_trait_impl_trait_tys(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<collect_trait_impl_trait_tys<'tcx>>

[query description - consider adding a doc-comment!] comparing an impl and trait method signature, inferring any hidden impl Trait types in the process

fn analysis(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (),
    mode: QueryMode
) -> Option<analysis<'tcx>>

[query description - consider adding a doc-comment!] running analysis passes on this crate

fn check_expectations(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: Option<Symbol>,
    mode: QueryMode
) -> Option<check_expectations<'tcx>>

This query checks the fulfillment of collected lint expectations. All lint emitting queries have to be done before this is executed to ensure that all expectations can be fulfilled.

This is an extra query to enable other drivers (like rustdoc) to only execute a small subset of the analysis query, while allowing lints to be expected. In rustc, this query will be executed as part of the analysis query and doesn’t have to be called a second time.

Tools can additionally pass in a tool filter. That will restrict the expectations to only trigger for lints starting with the listed tool name. This is useful for cases were not all linting code from rustc was called. With the default None all registered lints will also be checked for expectation fulfillment.

fn generics_of(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<generics_of<'tcx>>

Maps from the DefId of an item (trait/struct/enum/fn) to its associated generics.

fn predicates_of(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<predicates_of<'tcx>>

Maps from the DefId of an item (trait/struct/enum/fn) to the predicates (where-clauses) that must be proven true in order to reference it. This is almost always the “predicates query” that you want.

predicates_of builds on predicates_defined_on – in fact, it is almost always the same as that query, except for the case of traits. For traits, predicates_of contains an additional Self: Trait<...> predicate that users don’t actually write. This reflects the fact that to invoke the trait (e.g., via Default::default) you must supply types that actually implement the trait. (However, this extra predicate gets in the way of some checks, which are intended to operate over only the actual where-clauses written by the user.)

fn explicit_item_bounds(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<explicit_item_bounds<'tcx>>

Returns the list of bounds that can be used for SelectionCandidate::ProjectionCandidate(_) and ProjectionTyCandidate::TraitDef. Specifically this is the bounds written on the trait’s type definition, or those after the impl keyword

type X: Bound + 'lt
//      ^^^^^^^^^^^
impl Debug + Display
//   ^^^^^^^^^^^^^^^

key is the DefId of the associated type or opaque type.

Bounds from the parent (e.g. with nested impl trait) are not included.

fn item_bounds(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<item_bounds<'tcx>>

Elaborated version of the predicates from explicit_item_bounds.

For example:

trait MyTrait {
    type MyAType: Eq + ?Sized;
}

explicit_item_bounds returns [<Self as MyTrait>::MyAType: Eq], and item_bounds returns

[
    <Self as Trait>::MyAType: Eq,
    <Self as Trait>::MyAType: PartialEq<<Self as Trait>::MyAType>
]

Bounds from the parent (e.g. with nested impl trait) are not included.

fn native_libraries(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: CrateNum,
    mode: QueryMode
) -> Option<native_libraries<'tcx>>

Look up all native libraries this crate depends on. These are assembled from the following places:

• extern blocks (depending on their link attributes)
• the libs (-l) option

fn shallow_lint_levels_on(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: OwnerId,
    mode: QueryMode
) -> Option<shallow_lint_levels_on<'tcx>>

[query description - consider adding a doc-comment!] looking up lint levels for tcx.def_path_str(key.to_def_id())

fn lint_expectations(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (),
    mode: QueryMode
) -> Option<lint_expectations<'tcx>>

[query description - consider adding a doc-comment!] computing #[expect]ed lints in this crate

fn parent_module_from_def_id(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: LocalDefId,
    mode: QueryMode
) -> Option<parent_module_from_def_id<'tcx>>

[query description - consider adding a doc-comment!] getting the parent module of tcx.def_path_str(key.to_def_id())

fn expn_that_defined(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<expn_that_defined<'tcx>>

[query description - consider adding a doc-comment!] getting the expansion that defined tcx.def_path_str(key)

fn is_panic_runtime(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: CrateNum,
    mode: QueryMode
) -> Option<is_panic_runtime<'tcx>>

[query description - consider adding a doc-comment!] checking if the crate is_panic_runtime

fn representability(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: LocalDefId,
    mode: QueryMode
) -> Option<representability<'tcx>>

Checks whether a type is representable or infinitely sized

fn representability_adt_ty(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: Ty<'tcx>,
    mode: QueryMode
) -> Option<representability_adt_ty<'tcx>>

An implementation detail for the representability query

fn params_in_repr(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<params_in_repr<'tcx>>

Set of param indexes for type params that are in the type’s representation

fn thir_body(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: WithOptConstParam<LocalDefId>,
    mode: QueryMode
) -> Option<thir_body<'tcx>>

Fetch the THIR for a given body. If typeck for that body failed, returns an empty Thir.

fn thir_tree(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: WithOptConstParam<LocalDefId>,
    mode: QueryMode
) -> Option<thir_tree<'tcx>>

Create a THIR tree for debugging.

fn mir_keys(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (),
    mode: QueryMode
) -> Option<mir_keys<'tcx>>

Set of all the DefIds in this crate that have MIR associated with them. This includes all the body owners, but also things like struct constructors.

fn mir_const_qualif(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<mir_const_qualif<'tcx>>

Maps DefId’s that have an associated mir::Body to the result of the MIR const-checking pass. This is the set of qualifs in the final value of a const.

fn mir_const_qualif_const_arg(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (LocalDefId, DefId),
    mode: QueryMode
) -> Option<mir_const_qualif_const_arg<'tcx>>

[query description - consider adding a doc-comment!] const checking the const argument tcx.def_path_str(key.0.to_def_id())

fn mir_built(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: WithOptConstParam<LocalDefId>,
    mode: QueryMode
) -> Option<mir_built<'tcx>>

Fetch the MIR for a given DefId right after it’s built - this includes unreachable code.

fn mir_const(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: WithOptConstParam<LocalDefId>,
    mode: QueryMode
) -> Option<mir_const<'tcx>>

Fetch the MIR for a given DefId up till the point where it is ready for const qualification.

See the README for the mir module for details.

fn thir_abstract_const(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<thir_abstract_const<'tcx>>

Try to build an abstract representation of the given constant.

fn thir_abstract_const_of_const_arg(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (LocalDefId, DefId),
    mode: QueryMode
) -> Option<thir_abstract_const_of_const_arg<'tcx>>

Try to build an abstract representation of the given constant.

fn mir_drops_elaborated_and_const_checked(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: WithOptConstParam<LocalDefId>,
    mode: QueryMode
) -> Option<mir_drops_elaborated_and_const_checked<'tcx>>

[query description - consider adding a doc-comment!] elaborating drops for tcx.def_path_str(key.did.to_def_id())

fn mir_for_ctfe(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<mir_for_ctfe<'tcx>>

[query description - consider adding a doc-comment!] caching mir of tcx.def_path_str(key) for CTFE

fn mir_for_ctfe_of_const_arg(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (LocalDefId, DefId),
    mode: QueryMode
) -> Option<mir_for_ctfe_of_const_arg<'tcx>>

[query description - consider adding a doc-comment!] caching MIR for CTFE of the const argument tcx.def_path_str(key.0.to_def_id())

fn mir_promoted(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: WithOptConstParam<LocalDefId>,
    mode: QueryMode
) -> Option<mir_promoted<'tcx>>

[query description - consider adding a doc-comment!] processing MIR for if key.const_param_did.is_some() { "the const argument " } else { "" } tcx.def_path_str(key.did.to_def_id())

fn symbols_for_closure_captures(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (LocalDefId, LocalDefId),
    mode: QueryMode
) -> Option<symbols_for_closure_captures<'tcx>>

[query description - consider adding a doc-comment!] finding symbols for captures of closure tcx.def_path_str(key.1.to_def_id()) in tcx.def_path_str(key.0.to_def_id())

fn optimized_mir(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<optimized_mir<'tcx>>

MIR after our optimization passes have run. This is MIR that is ready for codegen. This is also the only query that can fetch non-local MIR, at present.

fn coverageinfo(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: InstanceDef<'tcx>,
    mode: QueryMode
) -> Option<coverageinfo<'tcx>>

Returns coverage summary info for a function, after executing the InstrumentCoverage MIR pass (assuming the -Cinstrument-coverage option is enabled).

fn covered_code_regions(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<covered_code_regions<'tcx>>

Returns the CodeRegions for a function that has instrumented coverage, in case the function was optimized out before codegen, and before being added to the Coverage Map.

fn promoted_mir(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<promoted_mir<'tcx>>

The DefId is the DefId of the containing MIR body. Promoteds do not have their own DefId. This function returns all promoteds in the specified body. The body references promoteds by the DefId and the mir::Promoted index. This is necessary, because after inlining a body may refer to promoteds from other bodies. In that case you still need to use the DefId of the original body.

fn promoted_mir_of_const_arg(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (LocalDefId, DefId),
    mode: QueryMode
) -> Option<promoted_mir_of_const_arg<'tcx>>

[query description - consider adding a doc-comment!] optimizing promoted MIR for the const argument tcx.def_path_str(key.0.to_def_id())

fn erase_regions_ty(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: Ty<'tcx>,
    mode: QueryMode
) -> Option<erase_regions_ty<'tcx>>

Erases regions from ty to yield a new type. Normally you would just use tcx.erase_regions(value), however, which uses this query as a kind of cache.

fn wasm_import_module_map(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: CrateNum,
    mode: QueryMode
) -> Option<wasm_import_module_map<'tcx>>

[query description - consider adding a doc-comment!] getting wasm import module map

fn predicates_defined_on(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<predicates_defined_on<'tcx>>

Maps from the DefId of an item (trait/struct/enum/fn) to the predicates (where-clauses) directly defined on it. This is equal to the explicit_predicates_of predicates plus the inferred_outlives_of predicates.

fn trait_explicit_predicates_and_bounds(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: LocalDefId,
    mode: QueryMode
) -> Option<trait_explicit_predicates_and_bounds<'tcx>>

Returns everything that looks like a predicate written explicitly by the user on a trait item.

Traits are unusual, because predicates on associated types are converted into bounds on that type for backwards compatibility:

trait X where Self::U: Copy { type U; }

becomes

trait X { type U: Copy; }

explicit_predicates_of and explicit_item_bounds will then take the appropriate subsets of the predicates here.

fn explicit_predicates_of(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<explicit_predicates_of<'tcx>>

Returns the predicates written explicitly by the user.

fn inferred_outlives_of(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<inferred_outlives_of<'tcx>>

Returns the inferred outlives predicates (e.g., for struct Foo<'a, T> { x: &'a T }, this would return T: 'a).

fn super_predicates_of(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<super_predicates_of<'tcx>>

Maps from the DefId of a trait to the list of super-predicates. This is a subset of the full list of predicates. We store these in a separate map because we must evaluate them even during type conversion, often before the full predicates are available (note that supertraits have additional acyclicity requirements).

fn super_predicates_that_define_assoc_type(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (DefId, Option<Ident>),
    mode: QueryMode
) -> Option<super_predicates_that_define_assoc_type<'tcx>>

The Option<Ident> is the name of an associated type. If it is None, then this query returns the full set of predicates. If Some<Ident>, then the query returns only the subset of super-predicates that reference traits that define the given associated type. This is used to avoid cycles in resolving types like T::Item.

fn type_param_predicates(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (DefId, LocalDefId, Ident),
    mode: QueryMode
) -> Option<type_param_predicates<'tcx>>

To avoid cycles within the predicates of a single item we compute per-type-parameter predicates for resolving T::AssocTy.

fn trait_def(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<trait_def<'tcx>>

[query description - consider adding a doc-comment!] computing trait definition for tcx.def_path_str(key)

fn adt_def(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<adt_def<'tcx>>

[query description - consider adding a doc-comment!] computing ADT definition for tcx.def_path_str(key)

fn adt_destructor(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<adt_destructor<'tcx>>

[query description - consider adding a doc-comment!] computing Drop impl for tcx.def_path_str(key)

fn adt_sized_constraint(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<adt_sized_constraint<'tcx>>

[query description - consider adding a doc-comment!] computing Sized constraints for tcx.def_path_str(key)

fn adt_dtorck_constraint(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<adt_dtorck_constraint<'tcx>>

[query description - consider adding a doc-comment!] computing drop-check constraints for tcx.def_path_str(key)

fn constness(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<constness<'tcx>>

Returns true if this is a const fn, use the is_const_fn to know whether your crate actually sees it as const fn (e.g., the const-fn-ness might be unstable and you might not have the feature gate active).

Do not call this function manually. It is only meant to cache the base data for the is_const_fn function. Consider using is_const_fn or is_const_fn_raw instead.

fn asyncness(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<asyncness<'tcx>>

[query description - consider adding a doc-comment!] checking if the function is async: tcx.def_path_str(key)

fn is_promotable_const_fn(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<is_promotable_const_fn<'tcx>>

Returns true if calls to the function may be promoted.

This is either because the function is e.g., a tuple-struct or tuple-variant constructor, or because it has the #[rustc_promotable] attribute. The attribute should be removed in the future in favour of some form of check which figures out whether the function does not inspect the bits of any of its arguments (so is essentially just a constructor function).

fn is_foreign_item(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<is_foreign_item<'tcx>>

Returns true if this is a foreign item (i.e., linked via extern { ... }).

fn generator_kind(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<generator_kind<'tcx>>

Returns Some(generator_kind) if the node pointed to by def_id is a generator.

fn crate_variances(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (),
    mode: QueryMode
) -> Option<crate_variances<'tcx>>

Gets a map with the variance of every item; use item_variance instead.

fn variances_of(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<variances_of<'tcx>>

Maps from the DefId of a type or region parameter to its (inferred) variance.

fn inferred_outlives_crate(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (),
    mode: QueryMode
) -> Option<inferred_outlives_crate<'tcx>>

Maps from thee DefId of a type to its (inferred) outlives.

fn associated_item_def_ids(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<associated_item_def_ids<'tcx>>

Maps from an impl/trait DefId to a list of the DefIds of its items.

fn associated_item(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<associated_item<'tcx>>

Maps from a trait item to the trait item “descriptor”.

fn associated_items(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<associated_items<'tcx>>

Collects the associated items defined on a trait or impl.

fn impl_item_implementor_ids(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<impl_item_implementor_ids<'tcx>>

Maps from associated items on a trait to the corresponding associated item on the impl specified by impl_id.

For example, with the following code

struct Type {}
                        // DefId
trait Trait {           // trait_id
    fn f();             // trait_f
    fn g() {}           // trait_g
}

impl Trait for Type {   // impl_id
    fn f() {}           // impl_f
    fn g() {}           // impl_g
}

The map returned for tcx.impl_item_implementor_ids(impl_id) would be { trait_f: impl_f, trait_g: impl_g }

fn impl_trait_ref(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<impl_trait_ref<'tcx>>

Given an impl_id, return the trait it implements. Return None if this is an inherent impl.

fn impl_polarity(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<impl_polarity<'tcx>>

[query description - consider adding a doc-comment!] computing implementation polarity of tcx.def_path_str(impl_id)

fn issue33140_self_ty(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<issue33140_self_ty<'tcx>>

[query description - consider adding a doc-comment!] computing Self type wrt issue #33140 tcx.def_path_str(key)

fn inherent_impls(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<inherent_impls<'tcx>>

Maps a DefId of a type to a list of its inherent impls. Contains implementations of methods that are inherent to a type. Methods in these implementations don’t need to be exported.

fn incoherent_impls(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: SimplifiedType,
    mode: QueryMode
) -> Option<incoherent_impls<'tcx>>

[query description - consider adding a doc-comment!] collecting all inherent impls for {:?}

fn unsafety_check_result(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: LocalDefId,
    mode: QueryMode
) -> Option<unsafety_check_result<'tcx>>

The result of unsafety-checking this LocalDefId.

fn unsafety_check_result_for_const_arg(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (LocalDefId, DefId),
    mode: QueryMode
) -> Option<unsafety_check_result_for_const_arg<'tcx>>

[query description - consider adding a doc-comment!] unsafety-checking the const argument tcx.def_path_str(key.0.to_def_id())

fn thir_check_unsafety(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: LocalDefId,
    mode: QueryMode
) -> Option<thir_check_unsafety<'tcx>>

Unsafety-check this LocalDefId with THIR unsafeck. This should be used with -Zthir-unsafeck.

fn thir_check_unsafety_for_const_arg(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (LocalDefId, DefId),
    mode: QueryMode
) -> Option<thir_check_unsafety_for_const_arg<'tcx>>

[query description - consider adding a doc-comment!] unsafety-checking the const argument tcx.def_path_str(key.0.to_def_id())

fn unsafe_derive_on_repr_packed(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: LocalDefId,
    mode: QueryMode
) -> Option<unsafe_derive_on_repr_packed<'tcx>>

HACK: when evaluated, this reports an “unsafe derive on repr(packed)” error.

Unsafety checking is executed for each method separately, but we only want to emit this error once per derive. As there are some impls with multiple methods, we use a query for deduplication.

fn assumed_wf_types(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<assumed_wf_types<'tcx>>

Returns the types assumed to be well formed while “inside” of the given item.

Note that we’ve liberated the late bound regions of function signatures, so this can not be used to check whether these types are well formed.

fn fn_sig(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<fn_sig<'tcx>>

Computes the signature of the function.

fn lint_mod(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: LocalDefId,
    mode: QueryMode
) -> Option<lint_mod<'tcx>>

Performs lint checking for the module.

fn check_mod_attrs(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: LocalDefId,
    mode: QueryMode
) -> Option<check_mod_attrs<'tcx>>

Checks the attributes in the module.

fn check_mod_unstable_api_usage(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: LocalDefId,
    mode: QueryMode
) -> Option<check_mod_unstable_api_usage<'tcx>>

Checks for uses of unstable APIs in the module.

fn check_mod_const_bodies(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: LocalDefId,
    mode: QueryMode
) -> Option<check_mod_const_bodies<'tcx>>

Checks the const bodies in the module for illegal operations (e.g. if or loop).

fn check_mod_loops(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: LocalDefId,
    mode: QueryMode
) -> Option<check_mod_loops<'tcx>>

Checks the loops in the module.

fn check_mod_naked_functions(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: LocalDefId,
    mode: QueryMode
) -> Option<check_mod_naked_functions<'tcx>>

[query description - consider adding a doc-comment!] checking naked functions in describe_as_module(key, tcx)

fn check_mod_item_types(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: LocalDefId,
    mode: QueryMode
) -> Option<check_mod_item_types<'tcx>>

[query description - consider adding a doc-comment!] checking item types in describe_as_module(key, tcx)

fn check_mod_privacy(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: LocalDefId,
    mode: QueryMode
) -> Option<check_mod_privacy<'tcx>>

[query description - consider adding a doc-comment!] checking privacy in describe_as_module(key, tcx)

fn check_liveness(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<check_liveness<'tcx>>

[query description - consider adding a doc-comment!] checking liveness of variables in tcx.def_path_str(key)

fn live_symbols_and_ignored_derived_traits(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (),
    mode: QueryMode
) -> Option<live_symbols_and_ignored_derived_traits<'tcx>>

Return the live symbols in the crate for dead code check.

The second return value maps from ADTs to ignored derived traits (e.g. Debug and Clone) and their respective impl (i.e., part of the derive macro)

fn check_mod_deathness(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: LocalDefId,
    mode: QueryMode
) -> Option<check_mod_deathness<'tcx>>

[query description - consider adding a doc-comment!] checking deathness of variables in describe_as_module(key, tcx)

fn check_mod_impl_wf(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: LocalDefId,
    mode: QueryMode
) -> Option<check_mod_impl_wf<'tcx>>

[query description - consider adding a doc-comment!] checking that impls are well-formed in describe_as_module(key, tcx)

fn check_mod_type_wf(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: LocalDefId,
    mode: QueryMode
) -> Option<check_mod_type_wf<'tcx>>

[query description - consider adding a doc-comment!] checking that types are well-formed in describe_as_module(key, tcx)

fn collect_mod_item_types(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: LocalDefId,
    mode: QueryMode
) -> Option<collect_mod_item_types<'tcx>>

[query description - consider adding a doc-comment!] collecting item types in describe_as_module(key, tcx)

fn coerce_unsized_info(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<coerce_unsized_info<'tcx>>

Caches CoerceUnsized kinds for impls on custom types.

fn typeck_item_bodies(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (),
    mode: QueryMode
) -> Option<typeck_item_bodies<'tcx>>

[query description - consider adding a doc-comment!] type-checking all item bodies

fn typeck(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: LocalDefId,
    mode: QueryMode
) -> Option<typeck<'tcx>>

[query description - consider adding a doc-comment!] type-checking tcx.def_path_str(key.to_def_id())

fn typeck_const_arg(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (LocalDefId, DefId),
    mode: QueryMode
) -> Option<typeck_const_arg<'tcx>>

[query description - consider adding a doc-comment!] type-checking the const argument tcx.def_path_str(key.0.to_def_id())

fn diagnostic_only_typeck(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: LocalDefId,
    mode: QueryMode
) -> Option<diagnostic_only_typeck<'tcx>>

[query description - consider adding a doc-comment!] type-checking tcx.def_path_str(key.to_def_id())

fn used_trait_imports(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: LocalDefId,
    mode: QueryMode
) -> Option<used_trait_imports<'tcx>>

[query description - consider adding a doc-comment!] finding used_trait_imports tcx.def_path_str(key.to_def_id())

fn has_typeck_results(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<has_typeck_results<'tcx>>

[query description - consider adding a doc-comment!] checking whether tcx.def_path_str(def_id) has a body

fn coherent_trait(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<coherent_trait<'tcx>>

[query description - consider adding a doc-comment!] coherence checking all impls of trait tcx.def_path_str(def_id)

fn mir_borrowck(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: LocalDefId,
    mode: QueryMode
) -> Option<mir_borrowck<'tcx>>

Borrow-checks the function body. If this is a closure, returns additional requirements that the closure’s creator must verify.

fn mir_borrowck_const_arg(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (LocalDefId, DefId),
    mode: QueryMode
) -> Option<mir_borrowck_const_arg<'tcx>>

[query description - consider adding a doc-comment!] borrow-checking the const argument tcx.def_path_str(key.0.to_def_id())

fn crate_inherent_impls(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (),
    mode: QueryMode
) -> Option<crate_inherent_impls<'tcx>>

Gets a complete map from all types to their inherent impls. Not meant to be used directly outside of coherence.

fn crate_inherent_impls_overlap_check(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (),
    mode: QueryMode
) -> Option<crate_inherent_impls_overlap_check<'tcx>>

Checks all types in the crate for overlap in their inherent impls. Reports errors. Not meant to be used directly outside of coherence.

fn orphan_check_impl(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: LocalDefId,
    mode: QueryMode
) -> Option<orphan_check_impl<'tcx>>

Checks whether all impls in the crate pass the overlap check, returning which impls fail it. If all impls are correct, the returned slice is empty.

fn mir_callgraph_reachable(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (Instance<'tcx>, LocalDefId),
    mode: QueryMode
) -> Option<mir_callgraph_reachable<'tcx>>

Check whether the function has any recursion that could cause the inliner to trigger a cycle. Returns the call stack causing the cycle. The call stack does not contain the current function, just all intermediate functions.

fn mir_inliner_callees(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: InstanceDef<'tcx>,
    mode: QueryMode
) -> Option<mir_inliner_callees<'tcx>>

Obtain all the calls into other local functions

fn eval_to_allocation_raw(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: ParamEnvAnd<'tcx, GlobalId<'tcx>>,
    mode: QueryMode
) -> Option<eval_to_allocation_raw<'tcx>>

Evaluates a constant and returns the computed allocation.

Do not use this directly, use the tcx.eval_static_initializer wrapper.

fn eval_to_const_value_raw(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: ParamEnvAnd<'tcx, GlobalId<'tcx>>,
    mode: QueryMode
) -> Option<eval_to_const_value_raw<'tcx>>

Evaluates const items or anonymous constants (such as enum variant explicit discriminants or array lengths) into a representation suitable for the type system and const generics.

Do not use this directly, use one of the following wrappers: tcx.const_eval_poly, tcx.const_eval_resolve, tcx.const_eval_instance, or tcx.const_eval_global_id.

fn eval_to_valtree(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: ParamEnvAnd<'tcx, GlobalId<'tcx>>,
    mode: QueryMode
) -> Option<eval_to_valtree<'tcx>>

Evaluate a constant and convert it to a type level constant or return None if that is not possible.

fn valtree_to_const_val(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (Ty<'tcx>, ValTree<'tcx>),
    mode: QueryMode
) -> Option<valtree_to_const_val<'tcx>>

Converts a type level constant value into ConstValue

fn destructure_const(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: Const<'tcx>,
    mode: QueryMode
) -> Option<destructure_const<'tcx>>

Destructures array, ADT or tuple constants into the constants of their fields.

fn try_destructure_mir_constant(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: ParamEnvAnd<'tcx, ConstantKind<'tcx>>,
    mode: QueryMode
) -> Option<try_destructure_mir_constant<'tcx>>

Tries to destructure an mir::ConstantKind ADT or array into its variant index and its field values.

fn deref_mir_constant(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: ParamEnvAnd<'tcx, ConstantKind<'tcx>>,
    mode: QueryMode
) -> Option<deref_mir_constant<'tcx>>

Dereference a constant reference or raw pointer and turn the result into a constant again.

fn const_caller_location(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (Symbol, u32, u32),
    mode: QueryMode
) -> Option<const_caller_location<'tcx>>

[query description - consider adding a doc-comment!] getting a &core::panic::Location referring to a span

fn lit_to_const(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: LitToConstInput<'tcx>,
    mode: QueryMode
) -> Option<lit_to_const<'tcx>>

[query description - consider adding a doc-comment!] converting literal to const

fn lit_to_mir_constant(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: LitToConstInput<'tcx>,
    mode: QueryMode
) -> Option<lit_to_mir_constant<'tcx>>

[query description - consider adding a doc-comment!] converting literal to mir constant

fn check_match(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<check_match<'tcx>>

[query description - consider adding a doc-comment!] match-checking tcx.def_path_str(key)

fn effective_visibilities(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (),
    mode: QueryMode
) -> Option<effective_visibilities<'tcx>>

Performs part of the privacy check and computes effective visibilities.

fn check_private_in_public(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (),
    mode: QueryMode
) -> Option<check_private_in_public<'tcx>>

[query description - consider adding a doc-comment!] checking for private elements in public interfaces

fn reachable_set(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (),
    mode: QueryMode
) -> Option<reachable_set<'tcx>>

[query description - consider adding a doc-comment!] reachability

fn region_scope_tree(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<region_scope_tree<'tcx>>

Per-body region::ScopeTree. The DefId should be the owner DefId for the body; in the case of closures, this will be redirected to the enclosing function.

fn mir_shims(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: InstanceDef<'tcx>,
    mode: QueryMode
) -> Option<mir_shims<'tcx>>

Generates a MIR body for the shim.

fn symbol_name(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: Instance<'tcx>,
    mode: QueryMode
) -> Option<symbol_name<'tcx>>

The symbol_name query provides the symbol name for calling a given instance from the local crate. In particular, it will also look up the correct symbol name of instances from upstream crates.

fn opt_def_kind(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<opt_def_kind<'tcx>>

[query description - consider adding a doc-comment!] looking up definition kind of tcx.def_path_str(def_id)

fn def_span(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<def_span<'tcx>>

Gets the span for the definition.

fn def_ident_span(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<def_ident_span<'tcx>>

Gets the span for the identifier of the definition.

fn lookup_stability(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<lookup_stability<'tcx>>

[query description - consider adding a doc-comment!] looking up stability of tcx.def_path_str(def_id)

fn lookup_const_stability(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<lookup_const_stability<'tcx>>

[query description - consider adding a doc-comment!] looking up const stability of tcx.def_path_str(def_id)

fn lookup_default_body_stability(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<lookup_default_body_stability<'tcx>>

[query description - consider adding a doc-comment!] looking up default body stability of tcx.def_path_str(def_id)

fn should_inherit_track_caller(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<should_inherit_track_caller<'tcx>>

[query description - consider adding a doc-comment!] computing should_inherit_track_caller of tcx.def_path_str(def_id)

fn lookup_deprecation_entry(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<lookup_deprecation_entry<'tcx>>

[query description - consider adding a doc-comment!] checking whether tcx.def_path_str(def_id) is deprecated

fn is_doc_hidden(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<is_doc_hidden<'tcx>>

Determines whether an item is annotated with doc(hidden).

fn is_doc_notable_trait(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<is_doc_notable_trait<'tcx>>

Determines whether an item is annotated with doc(notable_trait).

fn item_attrs(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<item_attrs<'tcx>>

Returns the attributes on the item at def_id.

Do not use this directly, use tcx.get_attrs instead.

fn codegen_fn_attrs(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<codegen_fn_attrs<'tcx>>

[query description - consider adding a doc-comment!] computing codegen attributes of tcx.def_path_str(def_id)

fn asm_target_features(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<asm_target_features<'tcx>>

[query description - consider adding a doc-comment!] computing target features for inline asm of tcx.def_path_str(def_id)

fn fn_arg_names(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<fn_arg_names<'tcx>>

[query description - consider adding a doc-comment!] looking up function parameter names for tcx.def_path_str(def_id)

fn rendered_const(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<rendered_const<'tcx>>

Gets the rendered value of the specified constant or associated constant. Used by rustdoc.

fn impl_parent(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<impl_parent<'tcx>>

[query description - consider adding a doc-comment!] computing specialization parent impl of tcx.def_path_str(def_id)

fn is_ctfe_mir_available(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<is_ctfe_mir_available<'tcx>>

[query description - consider adding a doc-comment!] checking if item has CTFE MIR available: tcx.def_path_str(key)

fn is_mir_available(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<is_mir_available<'tcx>>

[query description - consider adding a doc-comment!] checking if item has MIR available: tcx.def_path_str(key)

fn own_existential_vtable_entries(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<own_existential_vtable_entries<'tcx>>

[query description - consider adding a doc-comment!] finding all existential vtable entries for trait tcx.def_path_str(key)

fn vtable_entries(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: Binder<'tcx, TraitRef<'tcx>>,
    mode: QueryMode
) -> Option<vtable_entries<'tcx>>

[query description - consider adding a doc-comment!] finding all vtable entries for trait tcx.def_path_str(key.def_id())

fn vtable_trait_upcasting_coercion_new_vptr_slot(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (Ty<'tcx>, Ty<'tcx>),
    mode: QueryMode
) -> Option<vtable_trait_upcasting_coercion_new_vptr_slot<'tcx>>

[query description - consider adding a doc-comment!] finding the slot within vtable for trait object key.1 vtable ptr during trait upcasting coercion from key.0 vtable

fn vtable_allocation(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (Ty<'tcx>, Option<Binder<'tcx, ExistentialTraitRef<'tcx>>>),
    mode: QueryMode
) -> Option<vtable_allocation<'tcx>>

[query description - consider adding a doc-comment!] vtable const allocation for < key.0 as key.1.map(| trait_ref | format! ("{}", trait_ref)).unwrap_or("_".to_owned()) >

fn codegen_select_candidate(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (ParamEnv<'tcx>, Binder<'tcx, TraitRef<'tcx>>),
    mode: QueryMode
) -> Option<codegen_select_candidate<'tcx>>

[query description - consider adding a doc-comment!] computing candidate for key.1

fn all_local_trait_impls(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (),
    mode: QueryMode
) -> Option<all_local_trait_impls<'tcx>>

Return all impl blocks in the current crate.

fn trait_impls_of(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<trait_impls_of<'tcx>>

Given a trait trait_id, return all known impl blocks.

fn specialization_graph_of(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<specialization_graph_of<'tcx>>

[query description - consider adding a doc-comment!] building specialization graph of trait tcx.def_path_str(trait_id)

fn object_safety_violations(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<object_safety_violations<'tcx>>

[query description - consider adding a doc-comment!] determining object safety of trait tcx.def_path_str(trait_id)

fn param_env(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<param_env<'tcx>>

Gets the ParameterEnvironment for a given item; this environment will be in “user-facing” mode, meaning that it is suitable for type-checking etc, and it does not normalize specializable associated types. This is almost always what you want, unless you are doing MIR optimizations, in which case you might want to use reveal_all() method to change modes.

fn param_env_reveal_all_normalized(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<param_env_reveal_all_normalized<'tcx>>

Like param_env, but returns the ParamEnv in Reveal::All mode. Prefer this over tcx.param_env(def_id).with_reveal_all_normalized(tcx), as this method is more efficient.

fn is_copy_raw(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: ParamEnvAnd<'tcx, Ty<'tcx>>,
    mode: QueryMode
) -> Option<is_copy_raw<'tcx>>

Trait selection queries. These are best used by invoking ty.is_copy_modulo_regions(), ty.is_copy(), etc, since that will prune the environment where possible.

fn is_sized_raw(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: ParamEnvAnd<'tcx, Ty<'tcx>>,
    mode: QueryMode
) -> Option<is_sized_raw<'tcx>>

Query backing Ty::is_sized.

fn is_freeze_raw(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: ParamEnvAnd<'tcx, Ty<'tcx>>,
    mode: QueryMode
) -> Option<is_freeze_raw<'tcx>>

Query backing Ty::is_freeze.

fn is_unpin_raw(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: ParamEnvAnd<'tcx, Ty<'tcx>>,
    mode: QueryMode
) -> Option<is_unpin_raw<'tcx>>

Query backing Ty::is_unpin.

fn needs_drop_raw(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: ParamEnvAnd<'tcx, Ty<'tcx>>,
    mode: QueryMode
) -> Option<needs_drop_raw<'tcx>>

Query backing Ty::needs_drop.

fn has_significant_drop_raw(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: ParamEnvAnd<'tcx, Ty<'tcx>>,
    mode: QueryMode
) -> Option<has_significant_drop_raw<'tcx>>

Query backing Ty::has_significant_drop_raw.

fn has_structural_eq_impls(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: Ty<'tcx>,
    mode: QueryMode
) -> Option<has_structural_eq_impls<'tcx>>

Query backing Ty::is_structural_eq_shallow.

This is only correct for ADTs. Call is_structural_eq_shallow to handle all types correctly.

fn adt_drop_tys(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<adt_drop_tys<'tcx>>

A list of types where the ADT requires drop if and only if any of those types require drop. If the ADT is known to always need drop then Err(AlwaysRequiresDrop) is returned.

fn adt_significant_drop_tys(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<adt_significant_drop_tys<'tcx>>

A list of types where the ADT requires drop if and only if any of those types has significant drop. A type marked with the attribute rustc_insignificant_dtor is considered to not be significant. A drop is significant if it is implemented by the user or does anything that will have any observable behavior (other than freeing up memory). If the ADT is known to have a significant destructor then Err(AlwaysRequiresDrop) is returned.

fn layout_of(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: ParamEnvAnd<'tcx, Ty<'tcx>>,
    mode: QueryMode
) -> Option<layout_of<'tcx>>

Computes the layout of a type. Note that this implicitly executes in “reveal all” mode, and will normalize the input type.

fn fn_abi_of_fn_ptr(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: ParamEnvAnd<'tcx, (Binder<'tcx, FnSig<'tcx>>, &'tcx List<Ty<'tcx>>)>,
    mode: QueryMode
) -> Option<fn_abi_of_fn_ptr<'tcx>>

Compute a FnAbi suitable for indirect calls, i.e. to fn pointers.

NB: this doesn’t handle virtual calls - those should use fn_abi_of_instance instead, where the instance is an InstanceDef::Virtual.

fn fn_abi_of_instance(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: ParamEnvAnd<'tcx, (Instance<'tcx>, &'tcx List<Ty<'tcx>>)>,
    mode: QueryMode
) -> Option<fn_abi_of_instance<'tcx>>

Compute a FnAbi suitable for declaring/defining an fn instance, and for direct calls to an fn.

NB: that includes virtual calls, which are represented by “direct calls” to an InstanceDef::Virtual instance (of <dyn Trait as Trait>::fn).

fn dylib_dependency_formats(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: CrateNum,
    mode: QueryMode
) -> Option<dylib_dependency_formats<'tcx>>

[query description - consider adding a doc-comment!] getting dylib dependency formats of crate

fn dependency_formats(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (),
    mode: QueryMode
) -> Option<dependency_formats<'tcx>>

[query description - consider adding a doc-comment!] getting the linkage format of all dependencies

fn is_compiler_builtins(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: CrateNum,
    mode: QueryMode
) -> Option<is_compiler_builtins<'tcx>>

[query description - consider adding a doc-comment!] checking if the crate is_compiler_builtins

fn has_global_allocator(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: CrateNum,
    mode: QueryMode
) -> Option<has_global_allocator<'tcx>>

[query description - consider adding a doc-comment!] checking if the crate has_global_allocator

fn has_alloc_error_handler(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: CrateNum,
    mode: QueryMode
) -> Option<has_alloc_error_handler<'tcx>>

[query description - consider adding a doc-comment!] checking if the crate has_alloc_error_handler

fn has_panic_handler(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: CrateNum,
    mode: QueryMode
) -> Option<has_panic_handler<'tcx>>

[query description - consider adding a doc-comment!] checking if the crate has_panic_handler

fn is_profiler_runtime(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: CrateNum,
    mode: QueryMode
) -> Option<is_profiler_runtime<'tcx>>

[query description - consider adding a doc-comment!] checking if a crate is #![profiler_runtime]

fn has_ffi_unwind_calls(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: LocalDefId,
    mode: QueryMode
) -> Option<has_ffi_unwind_calls<'tcx>>

[query description - consider adding a doc-comment!] checking if tcx.def_path_str(key.to_def_id()) contains FFI-unwind calls

fn required_panic_strategy(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: CrateNum,
    mode: QueryMode
) -> Option<required_panic_strategy<'tcx>>

[query description - consider adding a doc-comment!] getting a crate’s required panic strategy

fn panic_in_drop_strategy(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: CrateNum,
    mode: QueryMode
) -> Option<panic_in_drop_strategy<'tcx>>

[query description - consider adding a doc-comment!] getting a crate’s configured panic-in-drop strategy

fn is_no_builtins(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: CrateNum,
    mode: QueryMode
) -> Option<is_no_builtins<'tcx>>

[query description - consider adding a doc-comment!] getting whether a crate has #![no_builtins]

fn symbol_mangling_version(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: CrateNum,
    mode: QueryMode
) -> Option<symbol_mangling_version<'tcx>>

[query description - consider adding a doc-comment!] getting a crate’s symbol mangling version

fn extern_crate(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<extern_crate<'tcx>>

[query description - consider adding a doc-comment!] getting crate’s ExternCrateData

fn specializes(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (DefId, DefId),
    mode: QueryMode
) -> Option<specializes<'tcx>>

[query description - consider adding a doc-comment!] computing whether impls specialize one another

fn in_scope_traits_map(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: OwnerId,
    mode: QueryMode
) -> Option<in_scope_traits_map<'tcx>>

[query description - consider adding a doc-comment!] getting traits in scope at a block

fn module_reexports(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: LocalDefId,
    mode: QueryMode
) -> Option<module_reexports<'tcx>>

[query description - consider adding a doc-comment!] looking up reexports of module tcx.def_path_str(def_id.to_def_id())

fn impl_defaultness(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<impl_defaultness<'tcx>>

[query description - consider adding a doc-comment!] looking up whether tcx.def_path_str(def_id) is a default impl

fn check_well_formed(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: OwnerId,
    mode: QueryMode
) -> Option<check_well_formed<'tcx>>

[query description - consider adding a doc-comment!] checking that tcx.def_path_str(key.to_def_id()) is well-formed

fn reachable_non_generics(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: CrateNum,
    mode: QueryMode
) -> Option<reachable_non_generics<'tcx>>

[query description - consider adding a doc-comment!] looking up the exported symbols of a crate

fn is_reachable_non_generic(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<is_reachable_non_generic<'tcx>>

[query description - consider adding a doc-comment!] checking whether tcx.def_path_str(def_id) is an exported symbol

fn is_unreachable_local_definition(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: LocalDefId,
    mode: QueryMode
) -> Option<is_unreachable_local_definition<'tcx>>

[query description - consider adding a doc-comment!] checking whether tcx.def_path_str(def_id.to_def_id()) is reachable from outside the crate

fn upstream_monomorphizations(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (),
    mode: QueryMode
) -> Option<upstream_monomorphizations<'tcx>>

The entire set of monomorphizations the local crate can safely link to because they are exported from upstream crates. Do not depend on this directly, as its value changes anytime a monomorphization gets added or removed in any upstream crate. Instead use the narrower upstream_monomorphizations_for, upstream_drop_glue_for, or, even better, Instance::upstream_monomorphization().

fn upstream_monomorphizations_for(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<upstream_monomorphizations_for<'tcx>>

Returns the set of upstream monomorphizations available for the generic function identified by the given def_id. The query makes sure to make a stable selection if the same monomorphization is available in multiple upstream crates.

You likely want to call Instance::upstream_monomorphization() instead of invoking this query directly.

fn upstream_drop_glue_for(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: &'tcx List<GenericArg<'tcx>>,
    mode: QueryMode
) -> Option<upstream_drop_glue_for<'tcx>>

Returns the upstream crate that exports drop-glue for the given type (substs is expected to be a single-item list containing the type one wants drop-glue for).

This is a subset of upstream_monomorphizations_for in order to increase dep-tracking granularity. Otherwise adding or removing any type with drop-glue in any upstream crate would invalidate all functions calling drop-glue of an upstream type.

You likely want to call Instance::upstream_monomorphization() instead of invoking this query directly.

NOTE: This query could easily be extended to also support other common functions that have are large set of monomorphizations (like Clone::clone for example).

fn foreign_modules(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: CrateNum,
    mode: QueryMode
) -> Option<foreign_modules<'tcx>>

Returns a list of all extern blocks of a crate.

fn entry_fn(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (),
    mode: QueryMode
) -> Option<entry_fn<'tcx>>

Identifies the entry-point (e.g., the main function) for a given crate, returning None if there is no entry point (such as for library crates).

fn proc_macro_decls_static(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (),
    mode: QueryMode
) -> Option<proc_macro_decls_static<'tcx>>

Finds the rustc_proc_macro_decls item of a crate.

fn crate_hash(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: CrateNum,
    mode: QueryMode
) -> Option<crate_hash<'tcx>>

[query description - consider adding a doc-comment!] looking up the hash a crate

fn crate_host_hash(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: CrateNum,
    mode: QueryMode
) -> Option<crate_host_hash<'tcx>>

Gets the hash for the host proc macro. Used to support -Z dual-proc-macro.

fn extra_filename(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: CrateNum,
    mode: QueryMode
) -> Option<extra_filename<'tcx>>

Gets the extra data to put in each output filename for a crate. For example, compiling the foo crate with extra-filename=-a creates a libfoo-b.rlib file.

fn crate_extern_paths(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: CrateNum,
    mode: QueryMode
) -> Option<crate_extern_paths<'tcx>>

Gets the paths where the crate came from in the file system.

fn implementations_of_trait(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (CrateNum, DefId),
    mode: QueryMode
) -> Option<implementations_of_trait<'tcx>>

Given a crate and a trait, look up all impls of that trait in the crate. Return (impl_id, self_ty).

fn crate_incoherent_impls(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (CrateNum, SimplifiedType),
    mode: QueryMode
) -> Option<crate_incoherent_impls<'tcx>>

Collects all incoherent impls for the given crate and type.

Do not call this directly, but instead use the incoherent_impls query. This query is only used to get the data necessary for that query.

fn native_library(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<native_library<'tcx>>

Get the corresponding native library from the native_libraries query

fn resolve_lifetimes(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: OwnerId,
    mode: QueryMode
) -> Option<resolve_lifetimes<'tcx>>

Does lifetime resolution on items. Importantly, we can’t resolve lifetimes directly on things like trait methods, because of trait params. See `rustc_resolve::late::lifetimes for details.

fn named_region_map(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: OwnerId,
    mode: QueryMode
) -> Option<named_region_map<'tcx>>

[query description - consider adding a doc-comment!] looking up a named region

fn is_late_bound_map(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: LocalDefId,
    mode: QueryMode
) -> Option<is_late_bound_map<'tcx>>

[query description - consider adding a doc-comment!] testing if a region is late bound

fn object_lifetime_default(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<object_lifetime_default<'tcx>>

For a given item’s generic parameter, gets the default lifetimes to be used for each parameter if a trait object were to be passed for that parameter. For example, for T in struct Foo<'a, T>, this would be 'static. For T in struct Foo<'a, T: 'a>, this would instead be 'a. This query will panic if passed something that is not a type parameter.

fn late_bound_vars_map(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: OwnerId,
    mode: QueryMode
) -> Option<late_bound_vars_map<'tcx>>

[query description - consider adding a doc-comment!] looking up late bound vars

fn visibility(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<visibility<'tcx>>

Computes the visibility of the provided def_id.

If the item from the def_id doesn’t have a visibility, it will panic. For example a generic type parameter will panic if you call this method on it:

use std::fmt::Debug;

pub trait Foo<T: Debug> {}

In here, if you call visibility on T, it’ll panic.

fn inhabited_predicate_adt(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<inhabited_predicate_adt<'tcx>>

[query description - consider adding a doc-comment!] computing the uninhabited predicate of {:?}

fn inhabited_predicate_type(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: Ty<'tcx>,
    mode: QueryMode
) -> Option<inhabited_predicate_type<'tcx>>

Do not call this query directly: invoke Ty::inhabited_predicate instead.

fn dep_kind(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: CrateNum,
    mode: QueryMode
) -> Option<dep_kind<'tcx>>

[query description - consider adding a doc-comment!] fetching what a dependency looks like

fn crate_name(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: CrateNum,
    mode: QueryMode
) -> Option<crate_name<'tcx>>

Gets the name of the crate.

fn module_children(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<module_children<'tcx>>

[query description - consider adding a doc-comment!] collecting child items of module tcx.def_path_str(def_id)

fn extern_mod_stmt_cnum(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: LocalDefId,
    mode: QueryMode
) -> Option<extern_mod_stmt_cnum<'tcx>>

[query description - consider adding a doc-comment!] computing crate imported by tcx.def_path_str(def_id.to_def_id())

fn lib_features(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (),
    mode: QueryMode
) -> Option<lib_features<'tcx>>

[query description - consider adding a doc-comment!] calculating the lib features map

fn defined_lib_features(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: CrateNum,
    mode: QueryMode
) -> Option<defined_lib_features<'tcx>>

[query description - consider adding a doc-comment!] calculating the lib features defined in a crate

fn stability_implications(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: CrateNum,
    mode: QueryMode
) -> Option<stability_implications<'tcx>>

[query description - consider adding a doc-comment!] calculating the implications between #[unstable] features defined in a crate

fn is_intrinsic(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<is_intrinsic<'tcx>>

Whether the function is an intrinsic

fn get_lang_items(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (),
    mode: QueryMode
) -> Option<get_lang_items<'tcx>>

Returns the lang items defined in another crate by loading it from metadata.

fn all_diagnostic_items(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (),
    mode: QueryMode
) -> Option<all_diagnostic_items<'tcx>>

Returns all diagnostic items defined in all crates.

fn defined_lang_items(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: CrateNum,
    mode: QueryMode
) -> Option<defined_lang_items<'tcx>>

Returns the lang items defined in another crate by loading it from metadata.

fn diagnostic_items(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: CrateNum,
    mode: QueryMode
) -> Option<diagnostic_items<'tcx>>

Returns the diagnostic items defined in a crate.

fn missing_lang_items(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: CrateNum,
    mode: QueryMode
) -> Option<missing_lang_items<'tcx>>

[query description - consider adding a doc-comment!] calculating the missing lang items in a crate

fn visible_parent_map(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (),
    mode: QueryMode
) -> Option<visible_parent_map<'tcx>>

[query description - consider adding a doc-comment!] calculating the visible parent map

fn trimmed_def_paths(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (),
    mode: QueryMode
) -> Option<trimmed_def_paths<'tcx>>

[query description - consider adding a doc-comment!] calculating trimmed def paths

fn missing_extern_crate_item(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: CrateNum,
    mode: QueryMode
) -> Option<missing_extern_crate_item<'tcx>>

[query description - consider adding a doc-comment!] seeing if we’re missing an extern crate item for this crate

fn used_crate_source(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: CrateNum,
    mode: QueryMode
) -> Option<used_crate_source<'tcx>>

[query description - consider adding a doc-comment!] looking at the source for a crate

fn debugger_visualizers(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: CrateNum,
    mode: QueryMode
) -> Option<debugger_visualizers<'tcx>>

Returns the debugger visualizers defined for this crate.

fn postorder_cnums(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (),
    mode: QueryMode
) -> Option<postorder_cnums<'tcx>>

[query description - consider adding a doc-comment!] generating a postorder list of CrateNums

fn is_private_dep(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: CrateNum,
    mode: QueryMode
) -> Option<is_private_dep<'tcx>>

Returns whether or not the crate with CrateNum ‘cnum’ is marked as a private dependency

fn allocator_kind(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (),
    mode: QueryMode
) -> Option<allocator_kind<'tcx>>

[query description - consider adding a doc-comment!] getting the allocator kind for the current crate

fn alloc_error_handler_kind(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (),
    mode: QueryMode
) -> Option<alloc_error_handler_kind<'tcx>>

[query description - consider adding a doc-comment!] alloc error handler kind for the current crate

fn upvars_mentioned(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<upvars_mentioned<'tcx>>

[query description - consider adding a doc-comment!] collecting upvars mentioned in tcx.def_path_str(def_id)

fn maybe_unused_trait_imports(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (),
    mode: QueryMode
) -> Option<maybe_unused_trait_imports<'tcx>>

[query description - consider adding a doc-comment!] fetching potentially unused trait imports

fn maybe_unused_extern_crates(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (),
    mode: QueryMode
) -> Option<maybe_unused_extern_crates<'tcx>>

[query description - consider adding a doc-comment!] looking up all possibly unused extern crates

fn names_imported_by_glob_use(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: LocalDefId,
    mode: QueryMode
) -> Option<names_imported_by_glob_use<'tcx>>

[query description - consider adding a doc-comment!] finding names imported by glob use for tcx.def_path_str(def_id.to_def_id())

fn stability_index(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (),
    mode: QueryMode
) -> Option<stability_index<'tcx>>

[query description - consider adding a doc-comment!] calculating the stability index for the local crate

fn crates(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (),
    mode: QueryMode
) -> Option<crates<'tcx>>

[query description - consider adding a doc-comment!] fetching all foreign CrateNum instances

fn traits_in_crate(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: CrateNum,
    mode: QueryMode
) -> Option<traits_in_crate<'tcx>>

A list of all traits in a crate, used by rustdoc and error reporting. NOTE: Not named just traits due to a naming conflict.

fn exported_symbols(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: CrateNum,
    mode: QueryMode
) -> Option<exported_symbols<'tcx>>

The list of symbols exported from the given crate.

• All names contained in exported_symbols(cnum) are guaranteed to correspond to a publicly visible symbol in cnum machine code.
• The exported_symbols sets of different crates do not intersect.

fn collect_and_partition_mono_items(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (),
    mode: QueryMode
) -> Option<collect_and_partition_mono_items<'tcx>>

[query description - consider adding a doc-comment!] collect_and_partition_mono_items

fn is_codegened_item(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<is_codegened_item<'tcx>>

[query description - consider adding a doc-comment!] determining whether tcx.def_path_str(def_id) needs codegen

fn codegened_and_inlined_items(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (),
    mode: QueryMode
) -> Option<codegened_and_inlined_items<'tcx>>

All items participating in code generation together with items inlined into them.

fn codegen_unit(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: Symbol,
    mode: QueryMode
) -> Option<codegen_unit<'tcx>>

[query description - consider adding a doc-comment!] getting codegen unit {sym}

fn unused_generic_params(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: InstanceDef<'tcx>,
    mode: QueryMode
) -> Option<unused_generic_params<'tcx>>

[query description - consider adding a doc-comment!] determining which generic parameters are unused by tcx.def_path_str(key.def_id())

fn backend_optimization_level(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (),
    mode: QueryMode
) -> Option<backend_optimization_level<'tcx>>

[query description - consider adding a doc-comment!] optimization level used by backend

fn output_filenames(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (),
    mode: QueryMode
) -> Option<output_filenames<'tcx>>

Return the filenames where output artefacts shall be stored.

This query returns an &Arc because codegen backends need the value even after the TyCtxt has been destroyed.

fn normalize_projection_ty(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: Canonical<'tcx, ParamEnvAnd<'tcx, AliasTy<'tcx>>>,
    mode: QueryMode
) -> Option<normalize_projection_ty<'tcx>>

Do not call this query directly: invoke normalize instead.

fn try_normalize_generic_arg_after_erasing_regions(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: ParamEnvAnd<'tcx, GenericArg<'tcx>>,
    mode: QueryMode
) -> Option<try_normalize_generic_arg_after_erasing_regions<'tcx>>

Do not call this query directly: invoke try_normalize_erasing_regions instead.

fn implied_outlives_bounds(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: Canonical<'tcx, ParamEnvAnd<'tcx, Ty<'tcx>>>,
    mode: QueryMode
) -> Option<implied_outlives_bounds<'tcx>>

[query description - consider adding a doc-comment!] computing implied outlives bounds for goal.value.value

fn dropck_outlives(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: Canonical<'tcx, ParamEnvAnd<'tcx, Ty<'tcx>>>,
    mode: QueryMode
) -> Option<dropck_outlives<'tcx>>

Do not call this query directly: invoke DropckOutlives::new(dropped_ty)).fully_perform(typeck.infcx) instead.

fn evaluate_obligation(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: Canonical<'tcx, ParamEnvAnd<'tcx, Predicate<'tcx>>>,
    mode: QueryMode
) -> Option<evaluate_obligation<'tcx>>

Do not call this query directly: invoke infcx.predicate_may_hold() or infcx.predicate_must_hold() instead.

fn evaluate_goal(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: Canonical<'tcx, ChalkEnvironmentAndGoal<'tcx>>,
    mode: QueryMode
) -> Option<evaluate_goal<'tcx>>

[query description - consider adding a doc-comment!] evaluating trait selection obligation goal.value

fn type_op_ascribe_user_type(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: Canonical<'tcx, ParamEnvAnd<'tcx, AscribeUserType<'tcx>>>,
    mode: QueryMode
) -> Option<type_op_ascribe_user_type<'tcx>>

Do not call this query directly: part of the Eq type-op

fn type_op_eq(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: Canonical<'tcx, ParamEnvAnd<'tcx, Eq<'tcx>>>,
    mode: QueryMode
) -> Option<type_op_eq<'tcx>>

Do not call this query directly: part of the Eq type-op

fn type_op_subtype(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: Canonical<'tcx, ParamEnvAnd<'tcx, Subtype<'tcx>>>,
    mode: QueryMode
) -> Option<type_op_subtype<'tcx>>

Do not call this query directly: part of the Subtype type-op

fn type_op_prove_predicate(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: Canonical<'tcx, ParamEnvAnd<'tcx, ProvePredicate<'tcx>>>,
    mode: QueryMode
) -> Option<type_op_prove_predicate<'tcx>>

Do not call this query directly: part of the ProvePredicate type-op

fn type_op_normalize_ty(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: Canonical<'tcx, ParamEnvAnd<'tcx, Normalize<Ty<'tcx>>>>,
    mode: QueryMode
) -> Option<type_op_normalize_ty<'tcx>>

Do not call this query directly: part of the Normalize type-op

fn type_op_normalize_predicate(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: Canonical<'tcx, ParamEnvAnd<'tcx, Normalize<Predicate<'tcx>>>>,
    mode: QueryMode
) -> Option<type_op_normalize_predicate<'tcx>>

Do not call this query directly: part of the Normalize type-op

fn type_op_normalize_poly_fn_sig(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: Canonical<'tcx, ParamEnvAnd<'tcx, Normalize<Binder<'tcx, FnSig<'tcx>>>>>,
    mode: QueryMode
) -> Option<type_op_normalize_poly_fn_sig<'tcx>>

Do not call this query directly: part of the Normalize type-op

fn type_op_normalize_fn_sig(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: Canonical<'tcx, ParamEnvAnd<'tcx, Normalize<FnSig<'tcx>>>>,
    mode: QueryMode
) -> Option<type_op_normalize_fn_sig<'tcx>>

Do not call this query directly: part of the Normalize type-op

fn subst_and_check_impossible_predicates(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (DefId, &'tcx List<GenericArg<'tcx>>),
    mode: QueryMode
) -> Option<subst_and_check_impossible_predicates<'tcx>>

[query description - consider adding a doc-comment!] checking impossible substituted predicates: tcx.def_path_str(key.0)

fn is_impossible_method(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (DefId, DefId),
    mode: QueryMode
) -> Option<is_impossible_method<'tcx>>

[query description - consider adding a doc-comment!] checking if tcx.def_path_str(key.1) is impossible to call within tcx.def_path_str(key.0)

fn method_autoderef_steps(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: Canonical<'tcx, ParamEnvAnd<'tcx, Ty<'tcx>>>,
    mode: QueryMode
) -> Option<method_autoderef_steps<'tcx>>

[query description - consider adding a doc-comment!] computing autoderef types for goal.value.value

fn supported_target_features(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: CrateNum,
    mode: QueryMode
) -> Option<supported_target_features<'tcx>>

[query description - consider adding a doc-comment!] looking up supported target features

fn instance_def_size_estimate(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: InstanceDef<'tcx>,
    mode: QueryMode
) -> Option<instance_def_size_estimate<'tcx>>

Get an estimate of the size of an InstanceDef based on its MIR for CGU partitioning.

fn features_query(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (),
    mode: QueryMode
) -> Option<features_query<'tcx>>

[query description - consider adding a doc-comment!] looking up enabled feature gates

fn resolve_instance(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: ParamEnvAnd<'tcx, (DefId, &'tcx List<GenericArg<'tcx>>)>,
    mode: QueryMode
) -> Option<resolve_instance<'tcx>>

Attempt to resolve the given DefId to an Instance, for the given generics args (SubstsRef), returning one of:

• Ok(Some(instance)) on success
• Ok(None) when the SubstsRef are still too generic, and therefore don’t allow finding the final Instance
• Err(ErrorGuaranteed) when the Instance resolution process couldn’t complete due to errors elsewhere - this is distinct from Ok(None) to avoid misleading diagnostics when an error has already been/will be emitted, for the original cause

fn resolve_instance_of_const_arg(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: ParamEnvAnd<'tcx, (LocalDefId, DefId, &'tcx List<GenericArg<'tcx>>)>,
    mode: QueryMode
) -> Option<resolve_instance_of_const_arg<'tcx>>

[query description - consider adding a doc-comment!] resolving instance of the const argument ty :: Instance :: new(key.value.0.to_def_id(), key.value.2)

fn reveal_opaque_types_in_bounds(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: &'tcx List<Predicate<'tcx>>,
    mode: QueryMode
) -> Option<reveal_opaque_types_in_bounds<'tcx>>

[query description - consider adding a doc-comment!] revealing opaque types in {:?}

fn limits(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (),
    mode: QueryMode
) -> Option<limits<'tcx>>

[query description - consider adding a doc-comment!] looking up limits

fn diagnostic_hir_wf_check(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (Predicate<'tcx>, WellFormedLoc),
    mode: QueryMode
) -> Option<diagnostic_hir_wf_check<'tcx>>

Performs an HIR-based well-formed check on the item with the given HirId. If we get an Unimplemented error that matches the provided Predicate, return the cause of the newly created obligation.

This is only used by error-reporting code to get a better cause (in particular, a better span) for an existing error. Therefore, it is best-effort, and may never handle all of the cases that the normal ty::Ty-based wfcheck does. This is fine, because the ty::Ty-based wfcheck is always run.

fn global_backend_features(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (),
    mode: QueryMode
) -> Option<global_backend_features<'tcx>>

The list of backend features computed from CLI flags (-Ctarget-cpu, -Ctarget-feature, --target and similar).

fn generator_diagnostic_data(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<generator_diagnostic_data<'tcx>>

[query description - consider adding a doc-comment!] looking up generator diagnostic data of tcx.def_path_str(key)

fn permits_uninit_init(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: TyAndLayout<'tcx, Ty<'tcx>>,
    mode: QueryMode
) -> Option<permits_uninit_init<'tcx>>

[query description - consider adding a doc-comment!] checking to see if key.ty permits being left uninit

fn permits_zero_init(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: TyAndLayout<'tcx, Ty<'tcx>>,
    mode: QueryMode
) -> Option<permits_zero_init<'tcx>>

[query description - consider adding a doc-comment!] checking to see if key.ty permits being left zeroed

fn compare_assoc_const_impl_item_with_trait_item(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: (LocalDefId, DefId),
    mode: QueryMode
) -> Option<compare_assoc_const_impl_item_with_trait_item<'tcx>>

[query description - consider adding a doc-comment!] checking assoc const tcx.def_path_str(key.0.to_def_id()) has the same type as trait item

fn deduced_param_attrs(
    &'tcx self,
    tcx: TyCtxt<'tcx>,
    span: Span,
    key: DefId,
    mode: QueryMode
) -> Option<deduced_param_attrs<'tcx>>

[query description - consider adding a doc-comment!] deducing parameter attributes for tcx.def_path_str(def_id)

fn as_any(&'tcx self) -> &'tcx dyn Any

fn try_mark_green(&'tcx self, tcx: TyCtxt<'tcx>, dep_node: &DepNode) -> bool

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: 11840 bytes