Module rustc_query_impl::make_query [−][src]
Functions
| adt_def | [query description - consider adding a doc-comment!] computing ADT definition for |
| adt_destructor | [query description - consider adding a doc-comment!] computing |
| adt_drop_tys | 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 |
| adt_dtorck_constraint | [query description - consider adding a doc-comment!] computing drop-check constraints for |
| adt_sized_constraint | [query description - consider adding a doc-comment!] computing |
| all_crate_nums | [query description - consider adding a doc-comment!] fetching all foreign CrateNum instances |
| all_diagnostic_items | Returns all diagnostic items defined in all crates. |
| all_local_trait_impls | Return all |
| all_trait_implementations | Given a crate, look up all trait impls in that crate.
Return |
| all_traits | A vector of every trait accessible in the whole crate (i.e., including those from subcrates). This is used only for error reporting. |
| analysis | [query description - consider adding a doc-comment!] running analysis passes on this crate |
| associated_item | Maps from a trait item to the trait item “descriptor”. |
| associated_item_def_ids | Maps from an impl/trait |
| associated_items | Collects the associated items defined on a trait or impl. |
| asyncness | [query description - consider adding a doc-comment!] checking if the function is async: |
| backend_optimization_level | [query description - consider adding a doc-comment!] optimization level used by backend |
| check_impl_item_well_formed | [query description - consider adding a doc-comment!] checking that |
| check_item_well_formed | [query description - consider adding a doc-comment!] checking that |
| check_match | [query description - consider adding a doc-comment!] match-checking |
| check_mod_attrs | Checks the attributes in the module. |
| check_mod_const_bodies | Checks the const bodies in the module for illegal operations (e.g. |
| check_mod_impl_wf | [query description - consider adding a doc-comment!] checking that impls are well-formed in |
| check_mod_intrinsics | [query description - consider adding a doc-comment!] checking intrinsics in |
| check_mod_item_types | [query description - consider adding a doc-comment!] checking item types in |
| check_mod_liveness | [query description - consider adding a doc-comment!] checking liveness of variables in |
| check_mod_loops | Checks the loops in the module. |
| check_mod_naked_functions | [query description - consider adding a doc-comment!] checking naked functions in |
| check_mod_privacy | [query description - consider adding a doc-comment!] checking privacy in |
| check_mod_unstable_api_usage | [query description - consider adding a doc-comment!] checking for unstable API usage in |
| check_private_in_public | [query description - consider adding a doc-comment!] checking for private elements in public interfaces |
| check_trait_item_well_formed | [query description - consider adding a doc-comment!] checking that |
| codegen_fn_attrs | [query description - consider adding a doc-comment!] computing codegen attributes of |
| codegen_fulfill_obligation | [query description - consider adding a doc-comment!] checking if |
| codegen_unit | [query description - consider adding a doc-comment!] codegen_unit |
| codegened_and_inlined_items | All items participating in code generation together with items inlined into them. |
| coerce_unsized_info | Caches |
| coherent_trait | [query description - consider adding a doc-comment!] coherence checking all impls of trait |
| collect_and_partition_mono_items | [query description - consider adding a doc-comment!] collect_and_partition_mono_items |
| collect_mod_item_types | [query description - consider adding a doc-comment!] collecting item types in |
| conservative_is_privately_uninhabited | Checks whether a type is definitely uninhabited. This is
conservative: for some types that are uninhabited we return |
| const_caller_location | [query description - consider adding a doc-comment!] get a &core::panic::Location referring to a span |
| const_to_valtree | Convert an evaluated constant to a type level constant or
return |
| coverageinfo | Returns coverage summary info for a function, after executing the |
| covered_code_regions | Returns the |
| covered_file_name | Returns the name of the file that contains the function body, if instrumented for coverage. |
| crate_disambiguator | [query description - consider adding a doc-comment!] looking up the disambiguator a crate |
| crate_extern_paths | [query description - consider adding a doc-comment!] looking up the paths for extern crates |
| crate_hash | [query description - consider adding a doc-comment!] looking up the hash a crate |
| crate_host_hash | [query description - consider adding a doc-comment!] looking up the hash of a host version of a crate |
| crate_inherent_impls | Gets a complete map from all types to their inherent impls.
Not meant to be used directly outside of coherence.
(Defined only for |
| crate_inherent_impls_overlap_check | Checks all types in the crate for overlap in their inherent impls. Reports errors.
Not meant to be used directly outside of coherence.
(Defined only for |
| crate_name | [query description - consider adding a doc-comment!] fetching what a crate is named |
| crate_variances | Gets a map with the variance of every item; use |
| def_ident_span | [query description - consider adding a doc-comment!] looking up span for |
| def_span | [query description - consider adding a doc-comment!] looking up span for |
| defined_lang_items | Returns the lang items defined in another crate by loading it from metadata. |
| defined_lib_features | [query description - consider adding a doc-comment!] calculating the lib features defined in a crate |
| dep_kind | [query description - consider adding a doc-comment!] fetching what a dependency looks like |
| dependency_formats | [query description - consider adding a doc-comment!] get the linkage format of all dependencies |
| deref_const | Dereference a constant reference or raw pointer and turn the result into a constant again. |
| destructure_const | Destructure a constant ADT or array into its variant index and its field values. |
| diagnostic_items | Returns the diagnostic items defined in a crate. |
| diagnostic_only_typeck | [query description - consider adding a doc-comment!] type-checking |
| dropck_outlives | Do not call this query directly: invoke |
| dylib_dependency_formats | [query description - consider adding a doc-comment!] dylib dependency formats of crate |
| entry_fn | Identifies the entry-point (e.g., the |
| erase_regions_ty | Erases regions from |
| eval_to_allocation_raw | Evaluates a constant and returns the computed allocation. |
| eval_to_const_value_raw | 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. |
| evaluate_goal | [query description - consider adding a doc-comment!] evaluating trait selection obligation |
| evaluate_obligation | Do not call this query directly: invoke |
| explicit_item_bounds | Returns the list of bounds that can be used for
|
| explicit_predicates_of | Returns the predicates written explicitly by the user. |
| expn_that_defined | Internal helper query. Use |
| exported_symbols | The list of symbols exported from the given crate. |
| extern_crate | [query description - consider adding a doc-comment!] getting crate’s ExternCrateData |
| extern_mod_stmt_cnum | [query description - consider adding a doc-comment!] computing crate imported by |
| extra_filename | [query description - consider adding a doc-comment!] looking up the extra filename for a crate |
| features_query | [query description - consider adding a doc-comment!] looking up enabled feature gates |
| fn_arg_names | [query description - consider adding a doc-comment!] looking up function parameter names for |
| fn_sig | The signature of functions. |
| foreign_modules | [query description - consider adding a doc-comment!] looking up the foreign modules of a linked crate |
| generator_kind | Returns |
| generics_of | Maps from the |
| get_lang_items | Returns the lang items defined in another crate by loading it from metadata. |
| get_lib_features | [query description - consider adding a doc-comment!] calculating the lib features map |
| has_global_allocator | [query description - consider adding a doc-comment!] checking if the crate has_global_allocator |
| has_panic_handler | [query description - consider adding a doc-comment!] checking if the crate has_panic_handler |
| has_structural_eq_impls | Query backing |
| has_typeck_results | [query description - consider adding a doc-comment!] checking whether |
| hir_attrs | Gives access to the HIR attributes inside the HIR owner |
| hir_crate | Represents crate as a whole (as distinct from the top-level crate module).
If you call |
| hir_module_items | The items in a module. |
| hir_owner | Gives access to the HIR node for the HIR owner |
| hir_owner_nodes | Gives access to the HIR nodes and bodies inside the HIR owner |
| impl_defaultness | [query description - consider adding a doc-comment!] looking up whether |
| impl_parent | [query description - consider adding a doc-comment!] computing specialization parent impl of |
| impl_polarity | [query description - consider adding a doc-comment!] computing implementation polarity of |
| impl_trait_ref | Given an |
| implementations_of_trait | Given a crate and a trait, look up all impls of that trait in the crate.
Return |
| implied_outlives_bounds | [query description - consider adding a doc-comment!] computing implied outlives bounds for |
| in_scope_traits_map | [query description - consider adding a doc-comment!] traits in scope at a block |
| index_hir | The indexed HIR. This can be conveniently accessed by |
| inferred_outlives_crate | Maps from thee |
| inferred_outlives_of | Returns the inferred outlives predicates (e.g., for |
| inherent_impls | Maps a |
| instance_def_size_estimate | Get an estimate of the size of an InstanceDef based on its MIR for CGU partitioning. |
| is_codegened_item | [query description - consider adding a doc-comment!] determining whether |
| is_compiler_builtins | [query description - consider adding a doc-comment!] checking if the crate is_compiler_builtins |
| is_const_fn_raw | Returns |
| is_const_impl_raw | Returns |
| is_copy_raw | Trait selection queries. These are best used by invoking |
| is_ctfe_mir_available | [query description - consider adding a doc-comment!] checking if item has ctfe mir available: |
| is_dllimport_foreign_item | [query description - consider adding a doc-comment!] is_dllimport_foreign_item( |
| is_foreign_item | Returns |
| is_freeze_raw | Query backing |
| is_late_bound_map | [query description - consider adding a doc-comment!] testing if a region is late bound |
| is_mir_available | [query description - consider adding a doc-comment!] checking if item has mir available: |
| is_no_builtins | [query description - consider adding a doc-comment!] test whether a crate has |
| is_panic_runtime | [query description - consider adding a doc-comment!] checking if the crate is_panic_runtime |
| is_profiler_runtime | [query description - consider adding a doc-comment!] query a crate is |
| is_promotable_const_fn | Returns |
| is_reachable_non_generic | [query description - consider adding a doc-comment!] checking whether |
| is_sized_raw | Query backing |
| is_statically_included_foreign_item | [query description - consider adding a doc-comment!] is_statically_included_foreign_item( |
| is_unreachable_local_definition | [query description - consider adding a doc-comment!] checking whether |
| issue33140_self_ty | [query description - consider adding a doc-comment!] computing Self type wrt issue #33140 |
| item_attrs | [query description - consider adding a doc-comment!] collecting attributes of |
| item_bounds | Elaborated version of the predicates from |
| item_children | [query description - consider adding a doc-comment!] collecting child items of |
| layout_raw | [query description - consider adding a doc-comment!] computing layout of |
| link_args | [query description - consider adding a doc-comment!] looking up link arguments for a crate |
| lint_levels | [query description - consider adding a doc-comment!] computing the lint levels for items in this crate |
| lint_mod | [query description - consider adding a doc-comment!] linting |
| lit_to_const | [query description - consider adding a doc-comment!] converting literal to const |
| lookup_const_stability | [query description - consider adding a doc-comment!] looking up const stability of |
| lookup_deprecation_entry | [query description - consider adding a doc-comment!] checking whether |
| lookup_stability | [query description - consider adding a doc-comment!] looking up stability of |
| maybe_unused_extern_crates | [query description - consider adding a doc-comment!] looking up all possibly unused extern crates |
| maybe_unused_trait_import | [query description - consider adding a doc-comment!] maybe_unused_trait_import for |
| method_autoderef_steps | [query description - consider adding a doc-comment!] computing autoderef types for |
| mir_abstract_const | Try to build an abstract representation of the given constant. |
| mir_abstract_const_of_const_arg | Try to build an abstract representation of the given constant. |
| mir_borrowck | Borrow-checks the function body. If this is a closure, returns additional requirements that the closure’s creator must verify. |
| mir_borrowck_const_arg | [query description - consider adding a doc-comment!] borrow-checking the const argument |
| mir_built | Fetch the MIR for a given |
| mir_callgraph_reachable | 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_const | Fetch the MIR for a given |
| mir_const_qualif | Maps DefId’s that have an associated |
| mir_const_qualif_const_arg | [query description - consider adding a doc-comment!] const checking the const argument |
| mir_drops_elaborated_and_const_checked | [query description - consider adding a doc-comment!] elaborating drops for |
| mir_for_ctfe | [query description - consider adding a doc-comment!] caching mir of |
| mir_for_ctfe_of_const_arg | [query description - consider adding a doc-comment!] MIR for CTFE of the const argument |
| mir_inliner_callees | Obtain all the calls into other local functions |
| mir_keys | Set of all the |
| mir_promoted | [query description - consider adding a doc-comment!] processing |
| mir_shims | [query description - consider adding a doc-comment!] generating MIR shim for |
| missing_extern_crate_item | [query description - consider adding a doc-comment!] seeing if we’re missing an |
| missing_lang_items | [query description - consider adding a doc-comment!] calculating the missing lang items in a crate |
| module_exports | [query description - consider adding a doc-comment!] looking up items exported by |
| named_region_map | [query description - consider adding a doc-comment!] looking up a named region |
| names_imported_by_glob_use | [query description - consider adding a doc-comment!] names_imported_by_glob_use for |
| native_libraries | [query description - consider adding a doc-comment!] looking up the native libraries of a linked crate |
| native_library_kind | [query description - consider adding a doc-comment!] native_library_kind( |
| needs_drop_raw | Query backing |
| normalize_generic_arg_after_erasing_regions | Do not call this query directly: invoke |
| normalize_opaque_types | [query description - consider adding a doc-comment!] normalizing opaque types in {:?} |
| normalize_projection_ty | Do not call this query directly: invoke |
| object_lifetime_defaults_map | [query description - consider adding a doc-comment!] looking up lifetime defaults for a region |
| object_safety_violations | [query description - consider adding a doc-comment!] determine object safety of trait |
| opt_const_param_of | Computes the |
| opt_def_kind | [query description - consider adding a doc-comment!] looking up definition kind of |
| optimized_mir | 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. |
| original_crate_name | [query description - consider adding a doc-comment!] looking up the original name a crate |
| output_filenames | [query description - consider adding a doc-comment!] output_filenames |
| panic_strategy | [query description - consider adding a doc-comment!] query a crate’s configured panic strategy |
| param_env | 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 |
| param_env_reveal_all_normalized | Like |
| parent_module_from_def_id | [query description - consider adding a doc-comment!] parent module of |
| plugin_registrar_fn | [query description - consider adding a doc-comment!] looking up the plugin registrar for a crate |
| postorder_cnums | [query description - consider adding a doc-comment!] generating a postorder list of CrateNums |
| predicates_defined_on | Maps from the |
| predicates_of | Maps from the |
| privacy_access_levels | Performs part of the privacy check and computes “access levels”. |
| proc_macro_decls_static | [query description - consider adding a doc-comment!] looking up the derive registrar for a crate |
| projection_ty_from_predicates | [query description - consider adding a doc-comment!] finding projection type inside predicates of |
| promoted_mir | The |
| promoted_mir_of_const_arg | [query description - consider adding a doc-comment!] optimizing promoted MIR for the const argument |
| reachable_non_generics | [query description - consider adding a doc-comment!] looking up the exported symbols of a crate |
| reachable_set | [query description - consider adding a doc-comment!] reachability |
| region_scope_tree | Per-body |
| rendered_const | Gets the rendered value of the specified constant or associated constant. Used by rustdoc. |
| resolve_instance | Attempt to resolve the given |
| resolve_instance_of_const_arg | [query description - consider adding a doc-comment!] resolving instance of the const argument |
| resolve_lifetimes | Lifetime resolution. See |
| specialization_graph_of | [query description - consider adding a doc-comment!] building specialization graph of trait |
| specializes | [query description - consider adding a doc-comment!] computing whether impls specialize one another |
| stability_index | [query description - consider adding a doc-comment!] calculating the stability index for the local crate |
| static_mutability | Returns |
| subst_and_check_impossible_predicates | [query description - consider adding a doc-comment!] impossible substituted predicates: |
| super_predicates_of | Maps from the |
| super_predicates_that_define_assoc_type | The |
| supported_target_features | [query description - consider adding a doc-comment!] looking up supported target features |
| symbol_mangling_version | [query description - consider adding a doc-comment!] query a crate’s symbol mangling version |
| symbol_name | The |
| trait_def | [query description - consider adding a doc-comment!] computing trait definition for |
| trait_explicit_predicates_and_bounds | Returns everything that looks like a predicate written explicitly by the user on a trait item. |
| trait_impls_of | Given a trait |
| trait_of_item | Given an |
| trigger_delay_span_bug | [query description - consider adding a doc-comment!] trigger a delay span bug |
| trimmed_def_paths | [query description - consider adding a doc-comment!] calculating trimmed def paths |
| try_unify_abstract_consts | [query description - consider adding a doc-comment!] trying to unify the generic constants |
| type_implements_trait | [query description - consider adding a doc-comment!] evaluating |
| type_of | Records the type of every item. |
| type_op_ascribe_user_type | Do not call this query directly: part of the |
| type_op_eq | Do not call this query directly: part of the |
| type_op_normalize_fn_sig | Do not call this query directly: part of the |
| type_op_normalize_poly_fn_sig | Do not call this query directly: part of the |
| type_op_normalize_predicate | Do not call this query directly: part of the |
| type_op_normalize_ty | Do not call this query directly: part of the |
| type_op_prove_predicate | Do not call this query directly: part of the |
| type_op_subtype | Do not call this query directly: part of the |
| type_param_predicates | To avoid cycles within the predicates of a single item we compute
per-type-parameter predicates for resolving |
| type_uninhabited_from | Computes the set of modules from which this type is visibly uninhabited. To check whether a type is uninhabited at all (not just from a given module), you could check whether the forest is empty. |
| typeck | [query description - consider adding a doc-comment!] type-checking |
| typeck_const_arg | [query description - consider adding a doc-comment!] type-checking the const argument |
| typeck_item_bodies | [query description - consider adding a doc-comment!] type-checking all item bodies |
| unsafe_derive_on_repr_packed | HACK: when evaluated, this reports a “unsafe derive on repr(packed)” error. |
| unsafety_check_result | The result of unsafety-checking this |
| unsafety_check_result_for_const_arg | [query description - consider adding a doc-comment!] unsafety-checking the const argument |
| unused_generic_params | [query description - consider adding a doc-comment!] determining which generic parameters are unused by |
| upstream_drop_glue_for | Returns the upstream crate that exports drop-glue for the given
type ( |
| upstream_monomorphizations | 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 | Returns the set of upstream monomorphizations available for the
generic function identified by the given |
| upvars_mentioned | [query description - consider adding a doc-comment!] collecting upvars mentioned in |
| used_crate_source | [query description - consider adding a doc-comment!] looking at the source for a crate |
| used_trait_imports | [query description - consider adding a doc-comment!] used_trait_imports |
| variances_of | Maps from the |
| visibility | [query description - consider adding a doc-comment!] computing visibility of |
| visible_parent_map | [query description - consider adding a doc-comment!] calculating the visible parent map |
| vtable_methods | [query description - consider adding a doc-comment!] finding all methods for trait |
| wasm_import_module_map | [query description - consider adding a doc-comment!] wasm import module map |