Module evaluate_
obligation
rustc_
query_
impl
1.84.0-dev
Module evaluate_
obligation
Module Items
Modules
Structs
Functions
In rustc_
query_
impl::
query_
impl
Modules
adt_async_destructor
adt_def
adt_destructor
adt_drop_tys
adt_dtorck_constraint
adt_significant_drop_tys
adt_sized_constraint
all_diagnostic_items
all_local_trait_impls
alloc_error_handler_kind
allocator_kind
analysis
asm_target_features
associated_item
associated_item_def_ids
associated_items
associated_type_for_impl_trait_in_trait
associated_types_for_impl_traits_in_associated_fn
assumed_wf_types
assumed_wf_types_for_rpitit
asyncness
backend_optimization_level
check_coroutine_obligations
check_expectations
check_liveness
check_match
check_mod_attrs
check_mod_const_bodies
check_mod_deathness
check_mod_loops
check_mod_naked_functions
check_mod_privacy
check_mod_type_wf
check_mod_unstable_api_usage
check_private_in_public
check_unsafety
check_unused_traits
check_validity_requirement
check_well_formed
clashing_extern_declarations
closure_saved_names_of_captured_variables
closure_typeinfo
codegen_fn_attrs
codegen_select_candidate
codegen_unit
coerce_unsized_info
coherent_trait
collect_and_partition_mono_items
collect_return_position_impl_trait_in_trait_tys
compare_impl_const
const_conditions
const_param_default
constness
coroutine_by_move_body_def_id
coroutine_for_closure
coroutine_kind
coverage_attr_on
coverage_ids_info
crate_extern_paths
crate_for_resolver
crate_hash
crate_host_hash
crate_incoherent_impls
crate_inherent_impls
crate_inherent_impls_overlap_check
crate_inherent_impls_validity_check
crate_name
crate_variances
crates
cross_crate_inlinable
debugger_visualizers
deduced_param_attrs
def_ident_span
def_kind
def_span
defaultness
defined_lang_items
dep_kind
dependency_formats
destructure_const
diagnostic_hir_wf_check
diagnostic_items
diagnostic_only_typeck
doc_link_resolutions
doc_link_traits_in_scope
dropck_outlives
dylib_dependency_formats
dyn_compatibility_violations
early_lint_checks
effective_visibilities
entry_fn
erase_regions_ty
eval_static_initializer
eval_to_allocation_raw
eval_to_const_value_raw
eval_to_valtree
evaluate_obligation
explicit_implied_predicates_of
explicit_item_bounds
explicit_item_super_predicates
explicit_predicates_of
explicit_super_predicates_of
explicit_supertraits_containing_assoc_item
expn_that_defined
exported_symbols
extern_crate
extern_mod_stmt_cnum
extra_filename
features_query
first_method_vtable_slot
fn_abi_of_fn_ptr
fn_abi_of_instance
fn_arg_names
fn_sig
foreign_modules
generics_of
generics_require_sized_self
get_lang_items
global_backend_features
has_alloc_error_handler
has_ffi_unwind_calls
has_global_allocator
has_panic_handler
has_significant_drop_raw
has_structural_eq_impl
hir_attrs
hir_crate
hir_crate_items
hir_module_items
hir_owner_parent
impl_item_implementor_ids
impl_parent
impl_super_outlives
impl_trait_header
implementations_of_trait
implied_const_bounds
implied_outlives_bounds
implied_outlives_bounds_compat
implied_target_features
in_scope_traits_map
incoherent_impls
inferred_outlives_crate
inferred_outlives_of
inhabited_predicate_adt
inhabited_predicate_type
inherent_impls
inherit_sig_for_delegation_item
instantiate_and_check_impossible_predicates
intrinsic_raw
is_codegened_item
is_compiler_builtins
is_copy_raw
is_ctfe_mir_available
is_doc_hidden
is_doc_notable_trait
is_dyn_compatible
is_freeze_raw
is_impossible_associated_item
is_late_bound_map
is_mir_available
is_no_builtins
is_panic_runtime
is_private_dep
is_profiler_runtime
is_promotable_const_fn
is_reachable_non_generic
is_sized_raw
is_type_alias_impl_trait
is_unpin_raw
is_unreachable_local_definition
item_attrs
item_bounds
item_non_self_assumptions
item_super_predicates
late_bound_vars_map
layout_of
lib_features
limits
lint_expectations
lint_mod
lints_that_dont_need_to_run
lit_to_const
live_symbols_and_ignored_derived_traits
local_def_id_to_hir_id
lookup_const_stability
lookup_default_body_stability
lookup_deprecation_entry
lookup_stability
maybe_unused_trait_imports
method_autoderef_steps
mir_borrowck
mir_built
mir_callgraph_reachable
mir_const_qualif
mir_coroutine_witnesses
mir_drops_elaborated_and_const_checked
mir_for_ctfe
mir_inliner_callees
mir_keys
mir_promoted
mir_shims
missing_extern_crate_item
missing_lang_items
module_children
named_variable_map
names_imported_by_glob_use
native_libraries
native_library
needs_async_drop_raw
needs_drop_raw
normalize_canonicalized_inherent_projection_ty
normalize_canonicalized_projection_ty
normalize_canonicalized_weak_ty
object_lifetime_default
opaque_types_defined_by
opt_hir_owner_nodes
optimized_mir
orphan_check_impl
output_filenames
own_existential_vtable_entries
panic_in_drop_strategy
param_env
param_env_reveal_all_normalized
params_in_repr
postorder_cnums
predicates_of
proc_macro_decls_static
promoted_mir
reachable_non_generics
reachable_set
region_scope_tree
registered_tools
rendered_const
rendered_precise_capturing_args
representability
representability_adt_ty
required_panic_strategy
resolutions
resolve_bound_vars
resolve_instance_raw
resolver_for_lowering_raw
reveal_opaque_types_in_bounds
self_ty_of_trait_impl_enabling_order_dep_trait_object_hack
shallow_lint_levels_on
should_inherit_track_caller
source_span
specialization_enabled_in
specialization_graph_of
specializes
stability_implications
stability_index
stripped_cfg_items
supertrait_vtable_slot
supported_target_features
symbol_mangling_version
symbol_name
tag_for_variant
thir_abstract_const
thir_body
trait_def
trait_explicit_predicates_and_bounds
trait_impls_in_crate
trait_impls_of
traits
trigger_delayed_bug
trimmed_def_paths
try_normalize_generic_arg_after_erasing_regions
type_alias_is_lazy
type_of
type_of_opaque
type_op_ascribe_user_type
type_op_normalize_clause
type_op_normalize_fn_sig
type_op_normalize_poly_fn_sig
type_op_normalize_ty
type_op_prove_predicate
type_param_predicates
typeck
unsizing_params_for_adt
unused_generic_params
upstream_async_drop_glue_for
upstream_drop_glue_for
upstream_monomorphizations
upstream_monomorphizations_for
upvars_mentioned
used_crate_source
used_crates
used_trait_imports
valtree_to_const_val
variances_of
visibility
visible_parent_map
vtable_allocation
vtable_entries
wasm_import_module_map
rustc_query_impl
::
query_impl
Module
evaluate_obligation
Copy item path
Settings
Help
Summary
Source
Modules
§
get_
query_
incr
🔒
get_
query_
non_
incr
🔒
Structs
§
Query
Type
🔒
Functions
§
alloc_
self_
profile_
query_
strings
🔒
dynamic_
query
🔒
query_
key_
hash_
verify
🔒
try_
collect_
active_
jobs
🔒