Struct rustc_middle::ty::query::TyCtxtAt

pub struct TyCtxtAt<'tcx> {
    pub tcx: TyCtxt<'tcx>,
    pub span: Span,
}

Fields

tcx: TyCtxt<'tcx>

span: Span

Implementations

impl<'tcx> TyCtxtAt<'tcx>

pub fn layout_of(
    self,
    param_env_and_ty: ParamEnvAnd<'tcx, Ty<'tcx>>
) -> Result<TyAndLayout<'tcx>, LayoutError<'tcx>>

Computes the layout of a type. Note that this implicitly executes in “reveal all” mode.

impl<'tcx> TyCtxtAt<'tcx>

pub fn trigger_delay_span_bug(
    self,
    key: impl IntoQueryParam<DefId>
) -> trigger_delay_span_bug<'tcx>

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

pub fn hir_crate(self, key: CrateNum) -> 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().

pub fn index_hir(self, key: CrateNum) -> index_hir<'tcx>

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

pub fn hir_module_items(self, key: LocalDefId) -> 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.

pub fn hir_owner(self, key: LocalDefId) -> 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.

pub fn hir_owner_nodes(self, key: LocalDefId) -> 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.

pub fn hir_attrs(self, key: LocalDefId) -> 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.

pub fn opt_const_param_of(self, key: LocalDefId) -> 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`.
}

pub fn type_of(self, key: impl IntoQueryParam<DefId>) -> type_of<'tcx>

Records the type of every item.

pub fn analysis(self, key: CrateNum) -> analysis<'tcx>

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

pub fn generics_of(self, key: impl IntoQueryParam<DefId>) -> generics_of<'tcx>

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

pub fn predicates_of(
    self,
    key: impl IntoQueryParam<DefId>
) -> 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.)

pub fn explicit_item_bounds(
    self,
    key: impl IntoQueryParam<DefId>
) -> 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.

pub fn item_bounds(self, key: impl IntoQueryParam<DefId>) -> 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.

pub fn projection_ty_from_predicates(
    self,
    key: (DefId, DefId)
) -> projection_ty_from_predicates<'tcx>

[query description - consider adding a doc-comment!] finding projection type inside predicates of tcx.def_path_str(key.0)

pub fn native_libraries(self, key: CrateNum) -> native_libraries<'tcx>

[query description - consider adding a doc-comment!] looking up the native libraries of a linked crate

pub fn lint_levels(self, key: CrateNum) -> lint_levels<'tcx>

[query description - consider adding a doc-comment!] computing the lint levels for items in this crate

pub fn parent_module_from_def_id(
    self,
    key: LocalDefId
) -> parent_module_from_def_id<'tcx>

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

pub fn expn_that_defined(
    self,
    key: impl IntoQueryParam<DefId>
) -> expn_that_defined<'tcx>

Internal helper query. Use tcx.expansion_that_defined instead

pub fn is_panic_runtime(self, key: CrateNum) -> is_panic_runtime<'tcx>

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

pub fn mir_keys(self, key: CrateNum) -> 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.

pub fn mir_const_qualif(
    self,
    key: impl IntoQueryParam<DefId>
) -> 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.

pub fn mir_const_qualif_const_arg(
    self,
    key: (LocalDefId, DefId)
) -> 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())

pub fn mir_built(self, key: WithOptConstParam<LocalDefId>) -> mir_built<'tcx>

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

pub fn mir_const(self, key: WithOptConstParam<LocalDefId>) -> 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.

pub fn mir_abstract_const(
    self,
    key: impl IntoQueryParam<DefId>
) -> mir_abstract_const<'tcx>

Try to build an abstract representation of the given constant.

pub fn mir_abstract_const_of_const_arg(
    self,
    key: (LocalDefId, DefId)
) -> mir_abstract_const_of_const_arg<'tcx>

Try to build an abstract representation of the given constant.

pub fn try_unify_abstract_consts(
    self,
    key: ((WithOptConstParam<DefId>, SubstsRef<'tcx>), (WithOptConstParam<DefId>, SubstsRef<'tcx>))
) -> try_unify_abstract_consts<'tcx>

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

pub fn mir_drops_elaborated_and_const_checked(
    self,
    key: WithOptConstParam<LocalDefId>
) -> 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())

pub fn mir_for_ctfe(self, key: impl IntoQueryParam<DefId>) -> mir_for_ctfe<'tcx>

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

pub fn mir_for_ctfe_of_const_arg(
    self,
    key: (LocalDefId, DefId)
) -> mir_for_ctfe_of_const_arg<'tcx>

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

pub fn mir_promoted(
    self,
    key: WithOptConstParam<LocalDefId>
) -> mir_promoted<'tcx>

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

pub fn optimized_mir(
    self,
    key: impl IntoQueryParam<DefId>
) -> 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.

pub fn coverageinfo(self, key: impl IntoQueryParam<DefId>) -> coverageinfo<'tcx>

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

pub fn covered_file_name(
    self,
    key: impl IntoQueryParam<DefId>
) -> covered_file_name<'tcx>

Returns the name of the file that contains the function body, if instrumented for coverage.

pub fn covered_code_regions(
    self,
    key: impl IntoQueryParam<DefId>
) -> 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.

pub fn promoted_mir(self, key: impl IntoQueryParam<DefId>) -> 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.

pub fn promoted_mir_of_const_arg(
    self,
    key: (LocalDefId, DefId)
) -> 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())

pub fn erase_regions_ty(self, key: Ty<'tcx>) -> 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.

pub fn wasm_import_module_map(
    self,
    key: CrateNum
) -> wasm_import_module_map<'tcx>

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

pub fn predicates_defined_on(
    self,
    key: impl IntoQueryParam<DefId>
) -> 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.

pub fn trait_explicit_predicates_and_bounds(
    self,
    key: LocalDefId
) -> 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.

pub fn explicit_predicates_of(
    self,
    key: impl IntoQueryParam<DefId>
) -> explicit_predicates_of<'tcx>

Returns the predicates written explicitly by the user.

pub fn inferred_outlives_of(
    self,
    key: impl IntoQueryParam<DefId>
) -> inferred_outlives_of<'tcx>

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

pub fn super_predicates_of(
    self,
    key: impl IntoQueryParam<DefId>
) -> 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).

pub fn super_predicates_that_define_assoc_type(
    self,
    key: (DefId, Option<Ident>)
) -> 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.

pub fn type_param_predicates(
    self,
    key: (DefId, LocalDefId, Ident)
) -> type_param_predicates<'tcx>

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

pub fn trait_def(self, key: impl IntoQueryParam<DefId>) -> trait_def<'tcx>

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

pub fn adt_def(self, key: impl IntoQueryParam<DefId>) -> adt_def<'tcx>

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

pub fn adt_destructor(
    self,
    key: impl IntoQueryParam<DefId>
) -> adt_destructor<'tcx>

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

pub fn adt_sized_constraint(
    self,
    key: impl IntoQueryParam<DefId>
) -> adt_sized_constraint<'tcx>

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

pub fn adt_dtorck_constraint(
    self,
    key: impl IntoQueryParam<DefId>
) -> adt_dtorck_constraint<'tcx>

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

pub fn is_const_fn_raw(
    self,
    key: impl IntoQueryParam<DefId>
) -> is_const_fn_raw<'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.

pub fn is_const_impl_raw(
    self,
    key: impl IntoQueryParam<DefId>
) -> is_const_impl_raw<'tcx>

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

This query caches the base data for the is_const_impl helper function, which also takes into account stability attributes (e.g., #[rustc_const_unstable]).

pub fn asyncness(self, key: impl IntoQueryParam<DefId>) -> asyncness<'tcx>

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

pub fn is_promotable_const_fn(
    self,
    key: impl IntoQueryParam<DefId>
) -> 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).

pub fn is_foreign_item(
    self,
    key: impl IntoQueryParam<DefId>
) -> is_foreign_item<'tcx>

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

pub fn static_mutability(
    self,
    key: impl IntoQueryParam<DefId>
) -> static_mutability<'tcx>

Returns Some(mutability) if the node pointed to by def_id is a static item.

pub fn generator_kind(
    self,
    key: impl IntoQueryParam<DefId>
) -> generator_kind<'tcx>

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

pub fn crate_variances(self, key: CrateNum) -> crate_variances<'tcx>

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

pub fn variances_of(self, key: impl IntoQueryParam<DefId>) -> variances_of<'tcx>

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

pub fn inferred_outlives_crate(
    self,
    key: CrateNum
) -> inferred_outlives_crate<'tcx>

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

pub fn associated_item_def_ids(
    self,
    key: impl IntoQueryParam<DefId>
) -> associated_item_def_ids<'tcx>

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

pub fn associated_item(
    self,
    key: impl IntoQueryParam<DefId>
) -> associated_item<'tcx>

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

pub fn associated_items(
    self,
    key: impl IntoQueryParam<DefId>
) -> associated_items<'tcx>

Collects the associated items defined on a trait or impl.

pub fn impl_trait_ref(
    self,
    key: impl IntoQueryParam<DefId>
) -> impl_trait_ref<'tcx>

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

pub fn impl_polarity(
    self,
    key: impl IntoQueryParam<DefId>
) -> impl_polarity<'tcx>

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

pub fn issue33140_self_ty(
    self,
    key: impl IntoQueryParam<DefId>
) -> issue33140_self_ty<'tcx>

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

pub fn inherent_impls(
    self,
    key: impl IntoQueryParam<DefId>
) -> 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.

pub fn unsafety_check_result(
    self,
    key: LocalDefId
) -> unsafety_check_result<'tcx>

The result of unsafety-checking this LocalDefId.

pub fn unsafety_check_result_for_const_arg(
    self,
    key: (LocalDefId, DefId)
) -> 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())

pub fn unsafe_derive_on_repr_packed(
    self,
    key: LocalDefId
) -> unsafe_derive_on_repr_packed<'tcx>

HACK: when evaluated, this reports a “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.

pub fn fn_sig(self, key: impl IntoQueryParam<DefId>) -> fn_sig<'tcx>

The signature of functions.

pub fn lint_mod(self, key: LocalDefId) -> lint_mod<'tcx>

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

pub fn check_mod_attrs(self, key: LocalDefId) -> check_mod_attrs<'tcx>

Checks the attributes in the module.

pub fn check_mod_unstable_api_usage(
    self,
    key: LocalDefId
) -> check_mod_unstable_api_usage<'tcx>

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

pub fn check_mod_const_bodies(
    self,
    key: LocalDefId
) -> check_mod_const_bodies<'tcx>

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

pub fn check_mod_loops(self, key: LocalDefId) -> check_mod_loops<'tcx>

Checks the loops in the module.

pub fn check_mod_naked_functions(
    self,
    key: LocalDefId
) -> check_mod_naked_functions<'tcx>

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

pub fn check_mod_item_types(self, key: LocalDefId) -> check_mod_item_types<'tcx>

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

pub fn check_mod_privacy(self, key: LocalDefId) -> check_mod_privacy<'tcx>

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

pub fn check_mod_intrinsics(self, key: LocalDefId) -> check_mod_intrinsics<'tcx>

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

pub fn check_mod_liveness(self, key: LocalDefId) -> check_mod_liveness<'tcx>

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

pub fn check_mod_impl_wf(self, key: LocalDefId) -> check_mod_impl_wf<'tcx>

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

pub fn collect_mod_item_types(
    self,
    key: LocalDefId
) -> collect_mod_item_types<'tcx>

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

pub fn coerce_unsized_info(
    self,
    key: impl IntoQueryParam<DefId>
) -> coerce_unsized_info<'tcx>

Caches CoerceUnsized kinds for impls on custom types.

pub fn typeck_item_bodies(self, key: CrateNum) -> typeck_item_bodies<'tcx>

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

pub fn typeck(self, key: LocalDefId) -> typeck<'tcx>

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

pub fn typeck_const_arg(
    self,
    key: (LocalDefId, DefId)
) -> 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())

pub fn diagnostic_only_typeck(
    self,
    key: LocalDefId
) -> diagnostic_only_typeck<'tcx>

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

pub fn used_trait_imports(self, key: LocalDefId) -> used_trait_imports<'tcx>

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

pub fn has_typeck_results(
    self,
    key: impl IntoQueryParam<DefId>
) -> has_typeck_results<'tcx>

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

pub fn coherent_trait(
    self,
    key: impl IntoQueryParam<DefId>
) -> coherent_trait<'tcx>

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

pub fn mir_borrowck(self, key: LocalDefId) -> mir_borrowck<'tcx>

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

pub fn mir_borrowck_const_arg(
    self,
    key: (LocalDefId, DefId)
) -> 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())

pub fn crate_inherent_impls(self, key: CrateNum) -> crate_inherent_impls<'tcx>

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

pub fn crate_inherent_impls_overlap_check(
    self,
    key: CrateNum
) -> 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. (Defined only for LOCAL_CRATE.)

pub fn mir_callgraph_reachable(
    self,
    key: (Instance<'tcx>, LocalDefId)
) -> 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.

pub fn mir_inliner_callees(
    self,
    key: InstanceDef<'tcx>
) -> mir_inliner_callees<'tcx>

Obtain all the calls into other local functions

pub fn eval_to_allocation_raw(
    self,
    key: ParamEnvAnd<'tcx, GlobalId<'tcx>>
) -> 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.

pub fn eval_to_const_value_raw(
    self,
    key: ParamEnvAnd<'tcx, GlobalId<'tcx>>
) -> 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.

pub fn const_to_valtree(
    self,
    key: ParamEnvAnd<'tcx, ConstAlloc<'tcx>>
) -> const_to_valtree<'tcx>

Convert an evaluated constant to a type level constant or return None if that is not possible.

pub fn destructure_const(
    self,
    key: ParamEnvAnd<'tcx, &'tcx Const<'tcx>>
) -> destructure_const<'tcx>

Destructure a constant ADT or array into its variant index and its field values.

pub fn deref_const(
    self,
    key: ParamEnvAnd<'tcx, &'tcx Const<'tcx>>
) -> deref_const<'tcx>

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

pub fn const_caller_location(
    self,
    key: (Symbol, u32, u32)
) -> const_caller_location<'tcx>

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

pub fn lit_to_const(self, key: LitToConstInput<'tcx>) -> lit_to_const<'tcx>

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

pub fn check_match(self, key: impl IntoQueryParam<DefId>) -> check_match<'tcx>

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

pub fn privacy_access_levels(self, key: CrateNum) -> privacy_access_levels<'tcx>

Performs part of the privacy check and computes “access levels”.

pub fn check_private_in_public(
    self,
    key: CrateNum
) -> check_private_in_public<'tcx>

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

pub fn reachable_set(self, key: CrateNum) -> reachable_set<'tcx>

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

pub fn region_scope_tree(
    self,
    key: impl IntoQueryParam<DefId>
) -> 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.

pub fn mir_shims(self, key: InstanceDef<'tcx>) -> mir_shims<'tcx>

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

pub fn symbol_name(self, key: Instance<'tcx>) -> 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.

pub fn opt_def_kind(self, key: impl IntoQueryParam<DefId>) -> opt_def_kind<'tcx>

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

pub fn def_span(self, key: impl IntoQueryParam<DefId>) -> def_span<'tcx>

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

pub fn def_ident_span(
    self,
    key: impl IntoQueryParam<DefId>
) -> def_ident_span<'tcx>

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

pub fn lookup_stability(
    self,
    key: impl IntoQueryParam<DefId>
) -> lookup_stability<'tcx>

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

pub fn lookup_const_stability(
    self,
    key: impl IntoQueryParam<DefId>
) -> lookup_const_stability<'tcx>

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

pub fn lookup_deprecation_entry(
    self,
    key: impl IntoQueryParam<DefId>
) -> lookup_deprecation_entry<'tcx>

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

pub fn item_attrs(self, key: impl IntoQueryParam<DefId>) -> item_attrs<'tcx>

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

pub fn codegen_fn_attrs(
    self,
    key: impl IntoQueryParam<DefId>
) -> codegen_fn_attrs<'tcx>

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

pub fn fn_arg_names(self, key: impl IntoQueryParam<DefId>) -> fn_arg_names<'tcx>

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

pub fn rendered_const(
    self,
    key: impl IntoQueryParam<DefId>
) -> rendered_const<'tcx>

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

pub fn impl_parent(self, key: impl IntoQueryParam<DefId>) -> impl_parent<'tcx>

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

pub fn trait_of_item(
    self,
    key: impl IntoQueryParam<DefId>
) -> trait_of_item<'tcx>

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

pub fn is_ctfe_mir_available(
    self,
    key: impl IntoQueryParam<DefId>
) -> is_ctfe_mir_available<'tcx>

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

pub fn is_mir_available(
    self,
    key: impl IntoQueryParam<DefId>
) -> is_mir_available<'tcx>

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

pub fn vtable_methods(self, key: PolyTraitRef<'tcx>) -> vtable_methods<'tcx>

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

pub fn codegen_fulfill_obligation(
    self,
    key: (ParamEnv<'tcx>, PolyTraitRef<'tcx>)
) -> codegen_fulfill_obligation<'tcx>

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

pub fn all_local_trait_impls(self, key: CrateNum) -> all_local_trait_impls<'tcx>

Return all impl blocks in the current crate.

To allow caching this between crates, you must pass in LOCAL_CRATE as the crate number. Passing in any other crate will cause an ICE.

pub fn trait_impls_of(
    self,
    key: impl IntoQueryParam<DefId>
) -> trait_impls_of<'tcx>

Given a trait trait_id, return all known impl blocks.

pub fn specialization_graph_of(
    self,
    key: impl IntoQueryParam<DefId>
) -> specialization_graph_of<'tcx>

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

pub fn object_safety_violations(
    self,
    key: impl IntoQueryParam<DefId>
) -> object_safety_violations<'tcx>

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

pub fn param_env(self, key: impl IntoQueryParam<DefId>) -> 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.

pub fn param_env_reveal_all_normalized(
    self,
    key: impl IntoQueryParam<DefId>
) -> 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.

pub fn is_copy_raw(self, key: ParamEnvAnd<'tcx, Ty<'tcx>>) -> 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.

pub fn is_sized_raw(
    self,
    key: ParamEnvAnd<'tcx, Ty<'tcx>>
) -> is_sized_raw<'tcx>

Query backing TyS::is_sized.

pub fn is_freeze_raw(
    self,
    key: ParamEnvAnd<'tcx, Ty<'tcx>>
) -> is_freeze_raw<'tcx>

Query backing TyS::is_freeze.

pub fn needs_drop_raw(
    self,
    key: ParamEnvAnd<'tcx, Ty<'tcx>>
) -> needs_drop_raw<'tcx>

Query backing TyS::needs_drop.

pub fn has_structural_eq_impls(
    self,
    key: Ty<'tcx>
) -> has_structural_eq_impls<'tcx>

Query backing TyS::is_structural_eq_shallow.

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

pub fn adt_drop_tys(self, key: impl IntoQueryParam<DefId>) -> 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.

pub fn layout_raw(self, key: ParamEnvAnd<'tcx, Ty<'tcx>>) -> layout_raw<'tcx>

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

pub fn dylib_dependency_formats(
    self,
    key: CrateNum
) -> dylib_dependency_formats<'tcx>

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

pub fn dependency_formats(self, key: CrateNum) -> dependency_formats<'tcx>

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

pub fn is_compiler_builtins(self, key: CrateNum) -> is_compiler_builtins<'tcx>

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

pub fn has_global_allocator(self, key: CrateNum) -> has_global_allocator<'tcx>

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

pub fn has_panic_handler(self, key: CrateNum) -> has_panic_handler<'tcx>

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

pub fn is_profiler_runtime(self, key: CrateNum) -> is_profiler_runtime<'tcx>

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

pub fn panic_strategy(self, key: CrateNum) -> panic_strategy<'tcx>

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

pub fn is_no_builtins(self, key: CrateNum) -> is_no_builtins<'tcx>

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

pub fn symbol_mangling_version(
    self,
    key: CrateNum
) -> symbol_mangling_version<'tcx>

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

pub fn extern_crate(self, key: impl IntoQueryParam<DefId>) -> extern_crate<'tcx>

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

pub fn specializes(self, key: (DefId, DefId)) -> specializes<'tcx>

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

pub fn in_scope_traits_map(self, key: LocalDefId) -> in_scope_traits_map<'tcx>

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

pub fn module_exports(self, key: LocalDefId) -> module_exports<'tcx>

[query description - consider adding a doc-comment!] looking up items exported by tcx.def_path_str(def_id.to_def_id())

pub fn impl_defaultness(
    self,
    key: impl IntoQueryParam<DefId>
) -> impl_defaultness<'tcx>

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

pub fn check_item_well_formed(
    self,
    key: LocalDefId
) -> check_item_well_formed<'tcx>

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

pub fn check_trait_item_well_formed(
    self,
    key: LocalDefId
) -> check_trait_item_well_formed<'tcx>

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

pub fn check_impl_item_well_formed(
    self,
    key: LocalDefId
) -> check_impl_item_well_formed<'tcx>

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

pub fn reachable_non_generics(
    self,
    key: CrateNum
) -> reachable_non_generics<'tcx>

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

pub fn is_reachable_non_generic(
    self,
    key: impl IntoQueryParam<DefId>
) -> is_reachable_non_generic<'tcx>

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

pub fn is_unreachable_local_definition(
    self,
    key: impl IntoQueryParam<DefId>
) -> is_unreachable_local_definition<'tcx>

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

pub fn upstream_monomorphizations(
    self,
    key: CrateNum
) -> 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().

pub fn upstream_monomorphizations_for(
    self,
    key: impl IntoQueryParam<DefId>
) -> 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.

pub fn upstream_drop_glue_for(
    self,
    key: SubstsRef<'tcx>
) -> 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).

pub fn foreign_modules(self, key: CrateNum) -> foreign_modules<'tcx>

[query description - consider adding a doc-comment!] looking up the foreign modules of a linked crate

pub fn entry_fn(self, key: CrateNum) -> 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).

pub fn plugin_registrar_fn(self, key: CrateNum) -> plugin_registrar_fn<'tcx>

[query description - consider adding a doc-comment!] looking up the plugin registrar for a crate

pub fn proc_macro_decls_static(
    self,
    key: CrateNum
) -> proc_macro_decls_static<'tcx>

[query description - consider adding a doc-comment!] looking up the derive registrar for a crate

pub fn crate_disambiguator(self, key: CrateNum) -> crate_disambiguator<'tcx>

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

pub fn crate_hash(self, key: CrateNum) -> crate_hash<'tcx>

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

pub fn crate_host_hash(self, key: CrateNum) -> crate_host_hash<'tcx>

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

pub fn original_crate_name(self, key: CrateNum) -> original_crate_name<'tcx>

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

pub fn extra_filename(self, key: CrateNum) -> extra_filename<'tcx>

[query description - consider adding a doc-comment!] looking up the extra filename for a crate

pub fn crate_extern_paths(self, key: CrateNum) -> crate_extern_paths<'tcx>

[query description - consider adding a doc-comment!] looking up the paths for extern crates

pub fn implementations_of_trait(
    self,
    key: (CrateNum, DefId)
) -> 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).

pub fn all_trait_implementations(
    self,
    key: CrateNum
) -> all_trait_implementations<'tcx>

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

pub fn is_dllimport_foreign_item(
    self,
    key: impl IntoQueryParam<DefId>
) -> is_dllimport_foreign_item<'tcx>

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

pub fn is_statically_included_foreign_item(
    self,
    key: impl IntoQueryParam<DefId>
) -> is_statically_included_foreign_item<'tcx>

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

pub fn native_library_kind(
    self,
    key: impl IntoQueryParam<DefId>
) -> native_library_kind<'tcx>

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

pub fn link_args(self, key: CrateNum) -> link_args<'tcx>

[query description - consider adding a doc-comment!] looking up link arguments for a crate

pub fn resolve_lifetimes(self, key: CrateNum) -> resolve_lifetimes<'tcx>

Lifetime resolution. See middle::resolve_lifetimes.

pub fn named_region_map(self, key: LocalDefId) -> named_region_map<'tcx>

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

pub fn is_late_bound_map(self, key: LocalDefId) -> is_late_bound_map<'tcx>

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

pub fn object_lifetime_defaults_map(
    self,
    key: LocalDefId
) -> object_lifetime_defaults_map<'tcx>

[query description - consider adding a doc-comment!] looking up lifetime defaults for a region

pub fn visibility(self, key: impl IntoQueryParam<DefId>) -> visibility<'tcx>

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

pub fn type_uninhabited_from(
    self,
    key: ParamEnvAnd<'tcx, Ty<'tcx>>
) -> type_uninhabited_from<'tcx>

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.

pub fn dep_kind(self, key: CrateNum) -> dep_kind<'tcx>

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

pub fn crate_name(self, key: CrateNum) -> crate_name<'tcx>

[query description - consider adding a doc-comment!] fetching what a crate is named

pub fn item_children(
    self,
    key: impl IntoQueryParam<DefId>
) -> item_children<'tcx>

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

pub fn extern_mod_stmt_cnum(self, key: LocalDefId) -> 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())

pub fn get_lib_features(self, key: CrateNum) -> get_lib_features<'tcx>

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

pub fn defined_lib_features(self, key: CrateNum) -> defined_lib_features<'tcx>

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

pub fn get_lang_items(self, key: CrateNum) -> get_lang_items<'tcx>

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

pub fn all_diagnostic_items(self, key: CrateNum) -> all_diagnostic_items<'tcx>

Returns all diagnostic items defined in all crates.

pub fn defined_lang_items(self, key: CrateNum) -> defined_lang_items<'tcx>

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

pub fn diagnostic_items(self, key: CrateNum) -> diagnostic_items<'tcx>

Returns the diagnostic items defined in a crate.

pub fn missing_lang_items(self, key: CrateNum) -> missing_lang_items<'tcx>

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

pub fn visible_parent_map(self, key: CrateNum) -> visible_parent_map<'tcx>

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

pub fn trimmed_def_paths(self, key: CrateNum) -> trimmed_def_paths<'tcx>

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

pub fn missing_extern_crate_item(
    self,
    key: CrateNum
) -> missing_extern_crate_item<'tcx>

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

pub fn used_crate_source(self, key: CrateNum) -> used_crate_source<'tcx>

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

pub fn postorder_cnums(self, key: CrateNum) -> postorder_cnums<'tcx>

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

pub fn upvars_mentioned(
    self,
    key: impl IntoQueryParam<DefId>
) -> upvars_mentioned<'tcx>

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

pub fn maybe_unused_trait_import(
    self,
    key: LocalDefId
) -> maybe_unused_trait_import<'tcx>

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

pub fn maybe_unused_extern_crates(
    self,
    key: CrateNum
) -> maybe_unused_extern_crates<'tcx>

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

pub fn names_imported_by_glob_use(
    self,
    key: LocalDefId
) -> names_imported_by_glob_use<'tcx>

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

pub fn stability_index(self, key: CrateNum) -> stability_index<'tcx>

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

pub fn all_crate_nums(self, key: CrateNum) -> all_crate_nums<'tcx>

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

pub fn all_traits(self, key: CrateNum) -> all_traits<'tcx>

A vector of every trait accessible in the whole crate (i.e., including those from subcrates). This is used only for error reporting.

pub fn exported_symbols(self, key: CrateNum) -> 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.

pub fn collect_and_partition_mono_items(
    self,
    key: CrateNum
) -> collect_and_partition_mono_items<'tcx>

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

pub fn is_codegened_item(
    self,
    key: impl IntoQueryParam<DefId>
) -> is_codegened_item<'tcx>

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

pub fn codegened_and_inlined_items(
    self,
    key: CrateNum
) -> codegened_and_inlined_items<'tcx>

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

pub fn codegen_unit(self, key: Symbol) -> codegen_unit<'tcx>

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

pub fn unused_generic_params(
    self,
    key: impl IntoQueryParam<DefId>
) -> unused_generic_params<'tcx>

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

pub fn backend_optimization_level(
    self,
    key: CrateNum
) -> backend_optimization_level<'tcx>

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

pub fn output_filenames(self, key: CrateNum) -> output_filenames<'tcx>

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

pub fn normalize_projection_ty(
    self,
    key: CanonicalProjectionGoal<'tcx>
) -> normalize_projection_ty<'tcx>

Do not call this query directly: invoke normalize instead.

pub fn normalize_generic_arg_after_erasing_regions(
    self,
    key: ParamEnvAnd<'tcx, GenericArg<'tcx>>
) -> normalize_generic_arg_after_erasing_regions<'tcx>

Do not call this query directly: invoke normalize_erasing_regions instead.

pub fn implied_outlives_bounds(
    self,
    key: CanonicalTyGoal<'tcx>
) -> implied_outlives_bounds<'tcx>

[query description - consider adding a doc-comment!] computing implied outlives bounds for {:?}

pub fn dropck_outlives(
    self,
    key: CanonicalTyGoal<'tcx>
) -> dropck_outlives<'tcx>

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

pub fn evaluate_obligation(
    self,
    key: CanonicalPredicateGoal<'tcx>
) -> evaluate_obligation<'tcx>

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

pub fn evaluate_goal(
    self,
    key: CanonicalChalkEnvironmentAndGoal<'tcx>
) -> evaluate_goal<'tcx>

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

pub fn type_implements_trait(
    self,
    key: (DefId, Ty<'tcx>, SubstsRef<'tcx>, ParamEnv<'tcx>)
) -> type_implements_trait<'tcx>

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

pub fn type_op_ascribe_user_type(
    self,
    key: CanonicalTypeOpAscribeUserTypeGoal<'tcx>
) -> type_op_ascribe_user_type<'tcx>

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

pub fn type_op_eq(self, key: CanonicalTypeOpEqGoal<'tcx>) -> type_op_eq<'tcx>

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

pub fn type_op_subtype(
    self,
    key: CanonicalTypeOpSubtypeGoal<'tcx>
) -> type_op_subtype<'tcx>

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

pub fn type_op_prove_predicate(
    self,
    key: CanonicalTypeOpProvePredicateGoal<'tcx>
) -> type_op_prove_predicate<'tcx>

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

pub fn type_op_normalize_ty(
    self,
    key: CanonicalTypeOpNormalizeGoal<'tcx, Ty<'tcx>>
) -> type_op_normalize_ty<'tcx>

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

pub fn type_op_normalize_predicate(
    self,
    key: CanonicalTypeOpNormalizeGoal<'tcx, Predicate<'tcx>>
) -> type_op_normalize_predicate<'tcx>

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

pub fn type_op_normalize_poly_fn_sig(
    self,
    key: CanonicalTypeOpNormalizeGoal<'tcx, PolyFnSig<'tcx>>
) -> type_op_normalize_poly_fn_sig<'tcx>

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

pub fn type_op_normalize_fn_sig(
    self,
    key: CanonicalTypeOpNormalizeGoal<'tcx, FnSig<'tcx>>
) -> type_op_normalize_fn_sig<'tcx>

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

pub fn subst_and_check_impossible_predicates(
    self,
    key: (DefId, SubstsRef<'tcx>)
) -> subst_and_check_impossible_predicates<'tcx>

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

pub fn method_autoderef_steps(
    self,
    key: CanonicalTyGoal<'tcx>
) -> method_autoderef_steps<'tcx>

[query description - consider adding a doc-comment!] computing autoderef types for {:?}

pub fn supported_target_features(
    self,
    key: CrateNum
) -> supported_target_features<'tcx>

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

pub fn instance_def_size_estimate(
    self,
    key: InstanceDef<'tcx>
) -> instance_def_size_estimate<'tcx>

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

pub fn features_query(self, key: CrateNum) -> features_query<'tcx>

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

pub fn resolve_instance(
    self,
    key: ParamEnvAnd<'tcx, (DefId, SubstsRef<'tcx>)>
) -> 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(ErrorReported) 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

pub fn resolve_instance_of_const_arg(
    self,
    key: ParamEnvAnd<'tcx, (LocalDefId, DefId, SubstsRef<'tcx>)>
) -> 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)

pub fn normalize_opaque_types(
    self,
    key: &'tcx List<Predicate<'tcx>>
) -> normalize_opaque_types<'tcx>

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

pub fn conservative_is_privately_uninhabited(
    self,
    key: ParamEnvAnd<'tcx, Ty<'tcx>>
) -> conservative_is_privately_uninhabited<'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.)

impl<'tcx> TyCtxtAt<'tcx>

pub fn def_kind(self, def_id: impl IntoQueryParam<DefId>) -> DefKind

impl<'tcx> TyCtxtAt<'tcx>

pub fn ty_error(self) -> Ty<'tcx>

Constructs a TyKind::Error type and registers a delay_span_bug to ensure it gets used.

pub fn ty_error_with_message(self, msg: &str) -> Ty<'tcx>

Constructs a TyKind::Error type and registers a delay_span_bug with the given `msg to ensure it gets used.

Methods from Deref<Target = TyCtxt<'tcx>>

Trait Implementations

impl<'tcx> Clone for TyCtxtAt<'tcx>

fn clone(&self) -> TyCtxtAt<'tcx>

Returns a copy of the value.

pub fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'tcx> Copy for TyCtxtAt<'tcx>

impl<'tcx> Deref for TyCtxtAt<'tcx>

type Target = TyCtxt<'tcx>

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.