Module rustc_query_impl::make_query[−][src]

Functions

adt_def

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

adt_destructor

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

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 Err(AlwaysRequiresDrop) is returned.

adt_dtorck_constraint

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

adt_sized_constraint

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

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 impl blocks in the current crate.

all_trait_implementations

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

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 DefId to a list of the DefId`s of its items.

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: tcx.def_path_str(key)

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 tcx.def_path_str(key.to_def_id()) is well-formed

check_item_well_formed

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

check_match

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

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. if or loop).

check_mod_impl_wf

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

check_mod_intrinsics

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

check_mod_item_types

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

check_mod_liveness

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

check_mod_loops

Checks the loops in the module.

check_mod_naked_functions

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

check_mod_privacy

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

check_mod_unstable_api_usage

[query description - consider adding a doc-comment!] checking for unstable API usage in describe_as_module(key, tcx)

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 tcx.def_path_str(key.to_def_id()) is well-formed

codegen_fn_attrs

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

codegen_fulfill_obligation

[query description - consider adding a doc-comment!] checking if tcx.def_path_str(key.1.def_id()) fulfills its obligations

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 CoerceUnsized kinds for impls on custom types.

coherent_trait

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

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 describe_as_module(key, tcx)

conservative_is_privately_uninhabited

Checks whether a type is definitely uninhabited. This is conservative: for some types that are uninhabited we return false, but we only return true for types that are definitely uninhabited. ty.conservative_is_privately_uninhabited implies that any value of type ty will be Abi::Uninhabited. (Note that uninhabited types may have nonzero size, to account for partial initialisation. See #49298 for details.)

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 None if that is not possible.

coverageinfo

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

covered_code_regions

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.

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 LOCAL_CRATE.)

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 LOCAL_CRATE.)

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 item_variance instead.

def_ident_span

[query description - consider adding a doc-comment!] looking up span for tcx.def_path_str(def_id) ’s identifier

def_span

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

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 tcx.def_path_str(key.to_def_id())

dropck_outlives

Do not call this query directly: invoke infcx.at().dropck_outlives() instead.

dylib_dependency_formats

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

entry_fn

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).

erase_regions_ty

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.

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 goal.value

evaluate_obligation

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

explicit_item_bounds

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

explicit_predicates_of

Returns the predicates written explicitly by the user.

expn_that_defined

Internal helper query. Use tcx.expansion_that_defined instead

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 tcx.def_path_str(def_id.to_def_id())

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 tcx.def_path_str(def_id)

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 Some(generator_kind) if the node pointed to by def_id is a generator.

generics_of

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

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 TyS::is_structural_eq_shallow.

has_typeck_results

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

hir_attrs

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

hir_crate

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_module_items

The items in a module.

hir_owner

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

hir_owner_nodes

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

impl_defaultness

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

impl_parent

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

impl_polarity

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

impl_trait_ref

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

implementations_of_trait

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

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 tcx.hir(). Avoid calling this query directly.

inferred_outlives_crate

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

inferred_outlives_of

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

inherent_impls

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.

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 tcx.def_path_str(def_id) needs codegen

is_compiler_builtins

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

is_const_fn_raw

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).

is_const_impl_raw

Returns true if this is a const impl. Do not call this function manually.

is_copy_raw

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_ctfe_mir_available

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

is_dllimport_foreign_item

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

is_foreign_item

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

is_freeze_raw

Query backing TyS::is_freeze.

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: tcx.def_path_str(key)

is_no_builtins

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

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 #![profiler_runtime]

is_promotable_const_fn

Returns true if calls to the function may be promoted.

is_reachable_non_generic

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

is_sized_raw

Query backing TyS::is_sized.

is_statically_included_foreign_item

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

is_unreachable_local_definition

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

issue33140_self_ty

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

item_attrs

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

item_bounds

Elaborated version of the predicates from explicit_item_bounds.

item_children

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

layout_raw

[query description - consider adding a doc-comment!] computing layout of env.value

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 describe_as_module(key, tcx)

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 tcx.def_path_str(def_id)

lookup_deprecation_entry

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

lookup_stability

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

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 tcx.def_path_str(def_id.to_def_id())

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 tcx.def_path_str(key.0.to_def_id())

mir_built

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

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 DefId up till the point where it is ready for const qualification.

mir_const_qualif

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

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

mir_drops_elaborated_and_const_checked

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

mir_for_ctfe

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

mir_for_ctfe_of_const_arg

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

mir_inliner_callees

Obtain all the calls into other local functions

mir_keys

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_promoted

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

mir_shims

[query description - consider adding a doc-comment!] generating MIR shim for tcx.def_path_str(key.def_id())

missing_extern_crate_item

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

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 tcx.def_path_str(def_id.to_def_id())

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 tcx.def_path_str(def_id.to_def_id())

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( tcx.def_path_str(def_id) )

needs_drop_raw

Query backing TyS::needs_drop.

normalize_generic_arg_after_erasing_regions

Do not call this query directly: invoke normalize_erasing_regions instead.

normalize_opaque_types

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

normalize_projection_ty

Do not call this query directly: invoke normalize instead.

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 tcx.def_path_str(trait_id)

opt_const_param_of

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

opt_def_kind

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

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 reveal_all() method to change modes.

param_env_reveal_all_normalized

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.

parent_module_from_def_id

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

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 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.

predicates_of

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.

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 tcx.def_path_str(key.0)

promoted_mir

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

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

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 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.

rendered_const

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

resolve_instance

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

resolve_instance_of_const_arg

[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)

resolve_lifetimes

Lifetime resolution. See middle::resolve_lifetimes.

specialization_graph_of

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

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 Some(mutability) if the node pointed to by def_id is a static item.

subst_and_check_impossible_predicates

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

super_predicates_of

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

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.

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 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.

trait_def

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

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_id, return all known impl blocks.

trait_of_item

Given an associated_item, find the trait it belongs to. Return None if the DefId is not an associated item.

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 tcx.def_path_str(key.0.0.did) and tcx.def_path_str(key.1.0.did)

type_implements_trait

[query description - consider adding a doc-comment!] evaluating type_implements_trait {:?}

type_of

Records the type of every item.

type_op_ascribe_user_type

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

type_op_eq

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

type_op_normalize_fn_sig

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

type_op_normalize_poly_fn_sig

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

type_op_normalize_predicate

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

type_op_normalize_ty

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

type_op_prove_predicate

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

type_op_subtype

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

type_param_predicates

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

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 tcx.def_path_str(key.to_def_id())

typeck_const_arg

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

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 LocalDefId.

unsafety_check_result_for_const_arg

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

unused_generic_params

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

upstream_drop_glue_for

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).

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, upstream_drop_glue_for, or, even better, Instance::upstream_monomorphization().

upstream_monomorphizations_for

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.

upvars_mentioned

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

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 tcx.def_path_str(key.to_def_id())

variances_of

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

visibility

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

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 tcx.def_path_str(key.def_id())

wasm_import_module_map

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