Module rustc_query_impl::make_query [−][src]
Functions
[query description - consider adding a doc-comment!] computing ADT definition for tcx.def_path_str(key)
[query description - consider adding a doc-comment!] computing Drop impl for tcx.def_path_str(key)
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.
[query description - consider adding a doc-comment!] computing drop-check constraints for tcx.def_path_str(key)
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.
[query description - consider adding a doc-comment!] computing Sized constraints for tcx.def_path_str(key)
Returns all diagnostic items defined in all crates.
Return all impl blocks in the current crate.
Given a crate, look up all trait impls in that crate.
Return (impl_id, self_ty).
A vector of every trait accessible in the whole crate (i.e., including those from subcrates). This is used only for error reporting.
[query description - consider adding a doc-comment!] allocator kind for the current crate
[query description - consider adding a doc-comment!] running analysis passes on this crate
Maps from a trait item to the trait item “descriptor”.
Maps from an impl/trait DefId to a list of the DefIds of its items.
Collects the associated items defined on a trait or impl.
[query description - consider adding a doc-comment!] checking if the function is async: tcx.def_path_str(key)
[query description - consider adding a doc-comment!] optimization level used by backend
[query description - consider adding a doc-comment!] checking that tcx.def_path_str(key.to_def_id()) is well-formed
[query description - consider adding a doc-comment!] checking that tcx.def_path_str(key.to_def_id()) is well-formed
[query description - consider adding a doc-comment!] match-checking tcx.def_path_str(key)
Checks the attributes in the module.
Checks the const bodies in the module for illegal operations (e.g. if or loop).
[query description - consider adding a doc-comment!] checking that impls are well-formed in describe_as_module(key, tcx)
[query description - consider adding a doc-comment!] checking intrinsics in describe_as_module(key, tcx)
[query description - consider adding a doc-comment!] checking item types in describe_as_module(key, tcx)
[query description - consider adding a doc-comment!] checking liveness of variables in describe_as_module(key, tcx)
Checks the loops in the module.
[query description - consider adding a doc-comment!] checking naked functions in describe_as_module(key, tcx)
[query description - consider adding a doc-comment!] checking privacy in describe_as_module(key, tcx)
[query description - consider adding a doc-comment!] checking for unstable API usage in describe_as_module(key, tcx)
[query description - consider adding a doc-comment!] checking for private elements in public interfaces
[query description - consider adding a doc-comment!] checking that tcx.def_path_str(key.to_def_id()) is well-formed
[query description - consider adding a doc-comment!] computing codegen attributes of tcx.def_path_str(def_id)
[query description - consider adding a doc-comment!] checking if tcx.def_path_str(key.1.def_id()) fulfills its obligations
[query description - consider adding a doc-comment!] codegen_unit
All items participating in code generation together with items inlined into them.
Caches CoerceUnsized kinds for impls on custom types.
[query description - consider adding a doc-comment!] coherence checking all impls of trait tcx.def_path_str(def_id)
[query description - consider adding a doc-comment!] collect_and_partition_mono_items
[query description - consider adding a doc-comment!] collecting item types in describe_as_module(key, tcx)
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.)
[query description - consider adding a doc-comment!] get a &core::panic::Location referring to a span
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.
Convert an evaluated constant to a type level constant or
return None if that is not possible.
Returns coverage summary info for a function, after executing the InstrumentCoverage
MIR pass (assuming the -Zinstrument-coverage option is enabled).
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.
Returns the name of the file that contains the function body, if instrumented for coverage.
[query description - consider adding a doc-comment!] looking up the paths for extern crates
[query description - consider adding a doc-comment!] looking up the hash a crate
[query description - consider adding a doc-comment!] looking up the hash of a host version of a crate
Gets a complete map from all types to their inherent impls. Not meant to be used directly outside of coherence.
Checks all types in the crate for overlap in their inherent impls. Reports errors. Not meant to be used directly outside of coherence.
[query description - consider adding a doc-comment!] fetching what a crate is named
Gets a map with the variance of every item; use item_variance instead.
[query description - consider adding a doc-comment!] fetching all foreign CrateNum instances
[query description - consider adding a doc-comment!] looking up span for tcx.def_path_str(def_id) ’s identifier
[query description - consider adding a doc-comment!] looking up span for tcx.def_path_str(def_id)
[query description - consider adding a doc-comment!] computing the default generic arguments for tcx.def_path_str(key)
Returns the lang items defined in another crate by loading it from metadata.
[query description - consider adding a doc-comment!] calculating the lib features defined in a crate
[query description - consider adding a doc-comment!] fetching what a dependency looks like
[query description - consider adding a doc-comment!] get the linkage format of all dependencies
Dereference a constant reference or raw pointer and turn the result into a constant again.
Destructure a constant ADT or array into its variant index and its field values.
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.
Returns the diagnostic items defined in a crate.
[query description - consider adding a doc-comment!] type-checking tcx.def_path_str(key.to_def_id())
Do not call this query directly: invoke infcx.at().dropck_outlives() instead.
[query description - consider adding a doc-comment!] dylib dependency formats of crate
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).
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.
Evaluates a constant and returns the computed allocation.
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.
[query description - consider adding a doc-comment!] evaluating trait selection obligation goal.value
Do not call this query directly: invoke infcx.predicate_may_hold() or
infcx.predicate_must_hold() instead.
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
Returns the predicates written explicitly by the user.
[query description - consider adding a doc-comment!] expansion that defined tcx.def_path_str(key)
The list of symbols exported from the given crate.
[query description - consider adding a doc-comment!] getting crate’s ExternCrateData
[query description - consider adding a doc-comment!] computing crate imported by tcx.def_path_str(def_id.to_def_id())
[query description - consider adding a doc-comment!] looking up the extra filename for a crate
[query description - consider adding a doc-comment!] looking up enabled feature gates
Compute a FnAbi suitable for indirect calls, i.e. to fn pointers.
Compute a FnAbi suitable for declaring/defining an fn instance, and for
direct calls to an fn.
[query description - consider adding a doc-comment!] looking up function parameter names for tcx.def_path_str(def_id)
The signature of functions.
[query description - consider adding a doc-comment!] looking up the foreign modules of a linked crate
Returns Some(generator_kind) if the node pointed to by def_id is a generator.
Maps from the DefId of an item (trait/struct/enum/fn) to its
associated generics.
Returns the lang items defined in another crate by loading it from metadata.
[query description - consider adding a doc-comment!] calculating the lib features map
[query description - consider adding a doc-comment!] checking if the crate has_global_allocator
[query description - consider adding a doc-comment!] checking if the crate has_panic_handler
Query backing TyS::has_significant_drop_raw.
Query backing TyS::is_structural_eq_shallow.
[query description - consider adding a doc-comment!] checking whether tcx.def_path_str(def_id) has a body
Gives access to the HIR attributes inside the HIR owner key.
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().
The items in a module.
Gives access to the HIR node for the HIR owner key.
Gives access to the HIR nodes and bodies inside the HIR owner key.
Gives access to the HIR node’s parent for the HIR owner key.
[query description - consider adding a doc-comment!] looking up whether tcx.def_path_str(def_id) is a const impl
[query description - consider adding a doc-comment!] looking up whether tcx.def_path_str(def_id) is a default impl
[query description - consider adding a doc-comment!] computing specialization parent impl of tcx.def_path_str(def_id)
[query description - consider adding a doc-comment!] computing implementation polarity of tcx.def_path_str(impl_id)
Given an impl_id, return the trait it implements.
Return None if this is an inherent impl.
Given a crate and a trait, look up all impls of that trait in the crate.
Return (impl_id, self_ty).
[query description - consider adding a doc-comment!] computing implied outlives bounds for {:?}
[query description - consider adding a doc-comment!] traits in scope at a block
Maps from thee DefId of a type to its (inferred) outlives.
Returns the inferred outlives predicates (e.g., for struct Foo<'a, T> { x: &'a T }, this would return T: 'a).
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.
Get an estimate of the size of an InstanceDef based on its MIR for CGU partitioning.
[query description - consider adding a doc-comment!] determining whether tcx.def_path_str(def_id) needs codegen
[query description - consider adding a doc-comment!] checking if the crate is_compiler_builtins
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).
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.
[query description - consider adding a doc-comment!] checking if item has ctfe mir available: tcx.def_path_str(key)
[query description - consider adding a doc-comment!] is_dllimport_foreign_item( tcx.def_path_str(def_id) )
Returns true if this is a foreign item (i.e., linked via extern { ... }).
Query backing TyS::is_freeze.
[query description - consider adding a doc-comment!] testing if a region is late bound
[query description - consider adding a doc-comment!] checking if item has mir available: tcx.def_path_str(key)
[query description - consider adding a doc-comment!] test whether a crate has #![no_builtins]
[query description - consider adding a doc-comment!] checking if the crate is_panic_runtime
Returns whether or not the crate with CrateNum ‘cnum’ is marked as a private dependency
[query description - consider adding a doc-comment!] query a crate is #![profiler_runtime]
Returns true if calls to the function may be promoted.
[query description - consider adding a doc-comment!] checking whether tcx.def_path_str(def_id) is an exported symbol
Query backing TyS::is_sized.
[query description - consider adding a doc-comment!] is_statically_included_foreign_item( tcx.def_path_str(def_id) )
Query backing TyS::is_unpin.
[query description - consider adding a doc-comment!] checking whether tcx.def_path_str(def_id.to_def_id()) is reachable from outside the crate
[query description - consider adding a doc-comment!] computing Self type wrt issue #33140 tcx.def_path_str(key)
[query description - consider adding a doc-comment!] collecting attributes of tcx.def_path_str(def_id)
Elaborated version of the predicates from explicit_item_bounds.
[query description - consider adding a doc-comment!] collecting child items of tcx.def_path_str(def_id)
[query description - consider adding a doc-comment!] looking up late bound vars
Computes the layout of a type. Note that this implicitly executes in “reveal all” mode, and will normalize the input type.
[query description - consider adding a doc-comment!] finds the lifetime scope for an HirId of a PathSegment
[query description - consider adding a doc-comment!] looking up limits
[query description - consider adding a doc-comment!] computing the lint levels for items in this crate
[query description - consider adding a doc-comment!] linting describe_as_module(key, tcx)
[query description - consider adding a doc-comment!] converting literal to const
[query description - consider adding a doc-comment!] looking up const stability of tcx.def_path_str(def_id)
[query description - consider adding a doc-comment!] checking whether tcx.def_path_str(def_id) is deprecated
[query description - consider adding a doc-comment!] looking up stability of tcx.def_path_str(def_id)
[query description - consider adding a doc-comment!] looking up all possibly unused extern crates
[query description - consider adding a doc-comment!] maybe_unused_trait_import for tcx.def_path_str(def_id.to_def_id())
[query description - consider adding a doc-comment!] computing autoderef types for {:?}
Borrow-checks the function body. If this is a closure, returns additional requirements that the closure’s creator must verify.
[query description - consider adding a doc-comment!] borrow-checking the const argument tcx.def_path_str(key.0.to_def_id())
Fetch the MIR for a given DefId right after it’s built - this includes
unreachable code.
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.
Fetch the MIR for a given DefId up till the point where it is
ready for const qualification.
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.
[query description - consider adding a doc-comment!] const checking the const argument tcx.def_path_str(key.0.to_def_id())
[query description - consider adding a doc-comment!] elaborating drops for tcx.def_path_str(key.did.to_def_id())
[query description - consider adding a doc-comment!] caching mir of tcx.def_path_str(key) for CTFE
[query description - consider adding a doc-comment!] MIR for CTFE of the const argument tcx.def_path_str(key.0.to_def_id())
Obtain all the calls into other local functions
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.
[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())
[query description - consider adding a doc-comment!] generating MIR shim for tcx.def_path_str(key.def_id())
[query description - consider adding a doc-comment!] seeing if we’re missing an extern crate item for this crate
[query description - consider adding a doc-comment!] calculating the missing lang items in a crate
[query description - consider adding a doc-comment!] looking up items exported by tcx.def_path_str(def_id.to_def_id())
[query description - consider adding a doc-comment!] looking up a named region
[query description - consider adding a doc-comment!] names_imported_by_glob_use for tcx.def_path_str(def_id.to_def_id())
[query description - consider adding a doc-comment!] looking up the native libraries of a linked crate
[query description - consider adding a doc-comment!] native_library_kind( tcx.def_path_str(def_id) )
Query backing TyS::needs_drop.
Do not call this query directly: invoke normalize_erasing_regions instead.
Do not call this query directly: invoke normalize_erasing_regions instead.
[query description - consider adding a doc-comment!] normalizing opaque types in {:?}
Do not call this query directly: invoke normalize instead.
For a given item (like a struct), gets the default lifetimes to be used
for each parameter if a trait object were to be passed for that parameter.
For example, for struct Foo<'a, T, U>, this would be ['static, 'static].
For struct Foo<'a, T: 'a, U>, this would instead be ['a, 'static].
[query description - consider adding a doc-comment!] determine object safety of trait tcx.def_path_str(trait_id)
Computes the DefId of the corresponding const parameter in case the key is a
const argument and returns None otherwise.
[query description - consider adding a doc-comment!] looking up definition kind of tcx.def_path_str(def_id)
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.
[query description - consider adding a doc-comment!] output_filenames
[query description - consider adding a doc-comment!] finding all existential vtable entries for trait tcx.def_path_str(key.def_id())
[query description - consider adding a doc-comment!] query a crate’s configured panic-in-drop strategy
[query description - consider adding a doc-comment!] query a crate’s configured panic strategy
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.
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.
[query description - consider adding a doc-comment!] parent module of tcx.def_path_str(key.to_def_id())
[query description - consider adding a doc-comment!] generating a postorder list of CrateNums
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.
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.
Performs part of the privacy check and computes “access levels”.
[query description - consider adding a doc-comment!] looking up the derive registrar for a crate
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.
[query description - consider adding a doc-comment!] optimizing promoted MIR for the const argument tcx.def_path_str(key.0.to_def_id())
[query description - consider adding a doc-comment!] looking up the exported symbols of a crate
[query description - consider adding a doc-comment!] reachability
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.
Gets the rendered value of the specified constant or associated constant. Used by rustdoc.
[query description - consider adding a doc-comment!] get the resolver outputs
Attempt to resolve the given DefId to an Instance, for the
given generics args (SubstsRef), returning one of:
[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)
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.
Does lifetime resolution, but does not descend into trait items. This
should only be used for resolving lifetimes of on trait definitions,
and is used to avoid cycles. Importantly, resolve_lifetimes still visits
the same lifetimes and is responsible for diagnostics.
See `rustc_resolve::late::lifetimes for details.
[query description - consider adding a doc-comment!] computing should_inherit_track_caller of tcx.def_path_str(def_id)
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.
[query description - consider adding a doc-comment!] building specialization graph of trait tcx.def_path_str(trait_id)
[query description - consider adding a doc-comment!] computing whether impls specialize one another
[query description - consider adding a doc-comment!] calculating the stability index for the local crate
Returns Some(mutability) if the node pointed to by def_id is a static item.
[query description - consider adding a doc-comment!] impossible substituted predicates: tcx.def_path_str(key.0)
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).
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.
[query description - consider adding a doc-comment!] looking up supported target features
[query description - consider adding a doc-comment!] query a crate’s symbol mangling version
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.
[query description - consider adding a doc-comment!] symbols for captures of closure tcx.def_path_str(key.1) in tcx.def_path_str(key.0.to_def_id())
Try to build an abstract representation of the given constant.
Try to build an abstract representation of the given constant.
Fetch the THIR for a given body. If typeck for that body failed, returns an empty Thir.
Unsafety-check this LocalDefId with THIR unsafeck. This should be
used with -Zthir-unsafeck.
[query description - consider adding a doc-comment!] unsafety-checking the const argument tcx.def_path_str(key.0.to_def_id())
Create a THIR tree for debugging.
[query description - consider adding a doc-comment!] computing trait definition for tcx.def_path_str(key)
Returns everything that looks like a predicate written explicitly by the user on a trait item.
Given a trait trait_id, return all known impl blocks.
Given an associated_item, find the trait it belongs to.
Return None if the DefId is not an associated item.
[query description - consider adding a doc-comment!] trigger a delay span bug
[query description - consider adding a doc-comment!] calculating trimmed def paths
[query description - consider adding a doc-comment!] trying to unify the generic constants tcx.def_path_str(key.0.def.did) and tcx.def_path_str(key.1.def.did)
Records the type of every item.
Do not call this query directly: part of the Eq type-op
Do not call this query directly: part of the Eq type-op
Do not call this query directly: part of the Normalize type-op
Do not call this query directly: part of the Normalize type-op
Do not call this query directly: part of the Normalize type-op
Do not call this query directly: part of the Normalize type-op
Do not call this query directly: part of the ProvePredicate type-op
Do not call this query directly: part of the Subtype type-op
To avoid cycles within the predicates of a single item we compute
per-type-parameter predicates for resolving T::AssocTy.
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.
[query description - consider adding a doc-comment!] type-checking tcx.def_path_str(key.to_def_id())
[query description - consider adding a doc-comment!] type-checking the const argument tcx.def_path_str(key.0.to_def_id())
[query description - consider adding a doc-comment!] type-checking all item bodies
HACK: when evaluated, this reports an “unsafe derive on repr(packed)” error.
The result of unsafety-checking this LocalDefId.
[query description - consider adding a doc-comment!] unsafety-checking the const argument tcx.def_path_str(key.0.to_def_id())
[query description - consider adding a doc-comment!] determining which generic parameters are unused by tcx.def_path_str(key.def_id())
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).
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().
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.
[query description - consider adding a doc-comment!] collecting upvars mentioned in tcx.def_path_str(def_id)
[query description - consider adding a doc-comment!] looking at the source for a crate
[query description - consider adding a doc-comment!] used_trait_imports tcx.def_path_str(key.to_def_id())
Maps from the DefId of a type or region parameter to its (inferred) variance.
[query description - consider adding a doc-comment!] computing visibility of tcx.def_path_str(def_id)
[query description - consider adding a doc-comment!] calculating the visible parent map
[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()) >
[query description - consider adding a doc-comment!] finding all vtable entries for trait tcx.def_path_str(key.def_id())
[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
[query description - consider adding a doc-comment!] wasm import module map