[−][src]Struct rustc_middle::ty::TyCtxt

pub struct TyCtxt<'tcx> {
    gcx: &'tcx GlobalCtxt<'tcx>,
}

The central data structure of the compiler. It stores references to the various arenas and also houses the results of the various compiler queries that have been performed. See the rustc dev guide for more details.

Fields

gcx: &'tcx GlobalCtxt<'tcx>

Implementations

impl<'tcx> TyCtxt<'tcx>[src]

pub fn hir(self) -> Map<'tcx>[src]

pub fn parent_module(self, id: HirId) -> LocalDefId[src]

impl<'tcx> TyCtxt<'tcx>[src]

pub fn require_lang_item(self, lang_item: LangItem, span: Option<Span>) -> DefId[src]

Returns the DefId for a given LangItem. If not found, fatally aborts compilation.

pub fn fn_trait_kind_from_lang_item(self, id: DefId) -> Option<ClosureKind>[src]

pub fn is_weak_lang_item(self, item_def_id: DefId) -> bool[src]

impl<'tcx> TyCtxt<'tcx>[src]

pub fn eval_stability(
    self,
    def_id: DefId,
    id: Option<HirId>,
    span: Span
) -> EvalResult
[src]

Evaluates the stability of an item.

Returns EvalResult::Allow if the item is stable, or unstable but the corresponding #![feature] has been provided. Returns EvalResult::Deny which describes the offending unstable feature otherwise.

If id is Some(_), this function will also check if the item at def_id has been deprecated. If the item is indeed deprecated, we will emit a deprecation lint attached to id.

pub fn check_stability(self, def_id: DefId, id: Option<HirId>, span: Span)[src]

Checks if an item is stable or error out.

If the item defined by def_id is unstable and the corresponding #![feature] does not exist, emits an error.

This function will also check if the item is deprecated. If so, and id is not None, a deprecated lint attached to id will be emitted.

pub fn check_optional_stability(
    self,
    def_id: DefId,
    id: Option<HirId>,
    span: Span,
    unmarked: impl FnOnce(Span, DefId)
)
[src]

Like check_stability, except that we permit items to have custom behaviour for missing stability attributes (not necessarily just emit a bug!). This is necessary for default generic parameters, which only have stability attributes if they were added after the type on which they're defined.

pub fn lookup_deprecation(self, id: DefId) -> Option<Deprecation>[src]

impl<'tcx> TyCtxt<'tcx>[src]

pub fn const_eval_poly(self, def_id: DefId) -> EvalToConstValueResult<'tcx>[src]

Evaluates a constant without providing any substitutions. This is useful to evaluate consts that can't take any generic arguments like statics, const items or enum discriminants. If a generic parameter is used within the constant ErrorHandled::ToGeneric will be returned.

pub fn const_eval_resolve(
    self,
    param_env: ParamEnv<'tcx>,
    def: WithOptConstParam<DefId>,
    substs: SubstsRef<'tcx>,
    promoted: Option<Promoted>,
    span: Option<Span>
) -> EvalToConstValueResult<'tcx>
[src]

Resolves and evaluates a constant.

The constant can be located on a trait like <A as B>::C, in which case the given substitutions and environment are used to resolve the constant. Alternatively if the constant has generic parameters in scope the substitutions are used to evaluate the value of the constant. For example in fn foo<T>() { let _ = [0; bar::<T>()]; } the repeat count constant bar::<T>() requires a substitution for T, if the substitution for T is still too generic for the constant to be evaluated then Err(ErrorHandled::TooGeneric) is returned.

pub fn const_eval_instance(
    self,
    param_env: ParamEnv<'tcx>,
    instance: Instance<'tcx>,
    span: Option<Span>
) -> EvalToConstValueResult<'tcx>
[src]

pub fn const_eval_global_id(
    self,
    param_env: ParamEnv<'tcx>,
    cid: GlobalId<'tcx>,
    span: Option<Span>
) -> EvalToConstValueResult<'tcx>
[src]

Evaluate a constant.

pub fn eval_static_initializer(
    self,
    def_id: DefId
) -> Result<&'tcx Allocation, ErrorHandled>
[src]

Evaluate a static's initializer, returning the allocation of the initializer's memory.

fn eval_to_allocation(
    self,
    gid: GlobalId<'tcx>,
    param_env: ParamEnv<'tcx>
) -> Result<&'tcx Allocation, ErrorHandled>
[src]

Evaluate anything constant-like, returning the allocation of the final memory.

impl<'tcx> TyCtxt<'tcx>[src]

pub fn reserve_alloc_id(self) -> AllocId[src]

Obtains a new allocation ID that can be referenced but does not yet have an allocation backing it.

Make sure to call set_alloc_id_memory or set_alloc_id_same_memory before returning such an AllocId from a query.

fn reserve_and_set_dedup(self, alloc: GlobalAlloc<'tcx>) -> AllocId[src]

Reserves a new ID if this allocation has not been dedup-reserved before. Should only be used for function pointers and statics, we don't want to dedup IDs for "real" memory!

pub fn create_static_alloc(self, static_id: DefId) -> AllocId[src]

Generates an AllocId for a static or return a cached one in case this function has been called on the same static before.

pub fn create_fn_alloc(self, instance: Instance<'tcx>) -> AllocId[src]

Generates an AllocId for a function. Depending on the function type, this might get deduplicated or assigned a new ID each time.

pub fn create_memory_alloc(self, mem: &'tcx Allocation) -> AllocId[src]

Interns the Allocation and return a new AllocId, even if there's already an identical Allocation with a different AllocId. Statics with identical content will still point to the same Allocation, i.e., their data will be deduplicated through Allocation interning -- but they are different places in memory and as such need different IDs.

pub fn get_global_alloc(self, id: AllocId) -> Option<GlobalAlloc<'tcx>>[src]

Returns None in case the AllocId is dangling. An InterpretCx can still have a local Allocation for that AllocId, but having such an AllocId in a constant is illegal and will likely ICE. This function exists to allow const eval to detect the difference between evaluation- local dangling pointers and allocations in constants/statics.

pub fn global_alloc(self, id: AllocId) -> GlobalAlloc<'tcx>[src]

Panics in case the AllocId is dangling. Since that is impossible for AllocIds in constants (as all constants must pass interning and validation that check for dangling ids), this function is frequently used throughout rustc, but should not be used within the miri engine.

pub fn set_alloc_id_memory(self, id: AllocId, mem: &'tcx Allocation)[src]

Freezes an AllocId created with reserve by pointing it at an Allocation. Trying to call this function twice, even with the same Allocation will ICE the compiler.

fn set_alloc_id_same_memory(self, id: AllocId, mem: &'tcx Allocation)[src]

Freezes an AllocId created with reserve by pointing it at an Allocation. May be called twice for the same (AllocId, Allocation) pair.

impl<'tcx> TyCtxt<'tcx>[src]

Shims which make dealing with WithOptConstParam easier.

For more information on why this is needed, consider looking at the docs for WithOptConstParam itself.

pub fn mir_const_qualif_opt_const_arg(
    self,
    def: WithOptConstParam<LocalDefId>
) -> ConstQualifs
[src]

pub fn promoted_mir_opt_const_arg(
    self,
    def: WithOptConstParam<DefId>
) -> &'tcx IndexVec<Promoted, Body<'tcx>>
[src]

pub fn optimized_mir_opt_const_arg(
    self,
    def: WithOptConstParam<DefId>
) -> &'tcx Body<'tcx>
[src]

pub fn mir_abstract_const_opt_const_arg(
    self,
    def: WithOptConstParam<DefId>
) -> Result<Option<&'tcx [Node<'tcx>]>, ErrorReported>
[src]

impl<'tcx> TyCtxt<'tcx>[src]

pub fn erase_regions<T>(self, value: T) -> T where
    T: TypeFoldable<'tcx>, 
[src]

Returns an equivalent value with all free regions removed (note that late-bound regions remain, because they are important for subtyping, but they are anonymized and normalized as well)..

impl<'tcx> TyCtxt<'tcx>[src]

pub fn note_and_explain_type_err(
    self,
    db: &mut DiagnosticBuilder<'_>,
    err: &TypeError<'tcx>,
    cause: &ObligationCause<'tcx>,
    sp: Span,
    body_owner_def_id: DefId
)
[src]

fn suggest_constraint(
    self,
    db: &mut DiagnosticBuilder<'_>,
    msg: &str,
    body_owner_def_id: DefId,
    proj_ty: &ProjectionTy<'tcx>,
    ty: Ty<'tcx>
) -> bool
[src]

fn expected_projection(
    self,
    db: &mut DiagnosticBuilder<'_>,
    proj_ty: &ProjectionTy<'tcx>,
    values: &ExpectedFound<Ty<'tcx>>,
    body_owner_def_id: DefId,
    cause_code: &ObligationCauseCode<'_>
)
[src]

An associated type was expected and a different type was found.

We perform a few different checks to see what we can suggest:

  • In the current item, look for associated functions that return the expected type and suggest calling them. (Not a structured suggestion.)
  • If any of the item's generic bounds can be constrained, we suggest constraining the associated type to the found type.
  • If the associated type has a default type and was expected inside of a trait, we mention that this is disallowed.
  • If all other things fail, and the error is not because of a mismatch between the trait and the impl, we provide a generic help to constrain the assoc type or call an assoc fn that returns the type.

fn point_at_methods_that_satisfy_associated_type(
    self,
    db: &mut DiagnosticBuilder<'_>,
    assoc_container_id: DefId,
    current_method_ident: Option<Symbol>,
    proj_ty_item_def_id: DefId,
    expected: Ty<'tcx>
) -> bool
[src]

fn point_at_associated_type(
    self,
    db: &mut DiagnosticBuilder<'_>,
    body_owner_def_id: DefId,
    found: Ty<'tcx>
) -> bool
[src]

fn constrain_generic_bound_associated_type_structured_suggestion(
    self,
    db: &mut DiagnosticBuilder<'_>,
    trait_ref: &TraitRef<'tcx>,
    bounds: GenericBounds<'_>,
    assoc: &AssocItem,
    ty: Ty<'tcx>,
    msg: &str
) -> bool
[src]

Given a slice of hir::GenericBounds, if any of them corresponds to the trait_ref requirement, provide a strucuted suggestion to constrain it to a given type ty.

fn constrain_associated_type_structured_suggestion(
    self,
    db: &mut DiagnosticBuilder<'_>,
    span: Span,
    assoc: &AssocItem,
    ty: Ty<'tcx>,
    msg: &str
) -> bool
[src]

Given a span corresponding to a bound, provide a structured suggestion to set an associated type to a given type ty.

impl<'tcx> TyCtxt<'tcx>[src]

pub fn fold_regions<T>(
    self,
    value: T,
    skipped_regions: &mut bool,
    mut f: impl FnMut(Region<'tcx>, DebruijnIndex) -> Region<'tcx>
) -> T where
    T: TypeFoldable<'tcx>, 
[src]

Folds the escaping and free regions in value using f, and sets skipped_regions to true if any late-bound region was found and skipped.

pub fn for_each_free_region(
    self,
    value: &impl TypeFoldable<'tcx>,
    mut callback: impl FnMut(Region<'tcx>)
)
[src]

Invoke callback on every region appearing free in value.

pub fn all_free_regions_meet(
    self,
    value: &impl TypeFoldable<'tcx>,
    mut callback: impl FnMut(Region<'tcx>) -> bool
) -> bool
[src]

Returns true if callback returns true for every region appearing free in value.

pub fn any_free_region_meets(
    self,
    value: &impl TypeFoldable<'tcx>,
    callback: impl FnMut(Region<'tcx>) -> bool
) -> bool
[src]

Returns true if callback returns true for some region appearing free in value.

impl<'tcx> TyCtxt<'tcx>[src]

pub fn replace_late_bound_regions<T, F>(
    self,
    value: Binder<T>,
    mut fld_r: F
) -> (T, BTreeMap<BoundRegion, Region<'tcx>>) where
    F: FnMut(BoundRegion) -> Region<'tcx>,
    T: TypeFoldable<'tcx>, 
[src]

Replaces all regions bound by the given Binder with the results returned by the closure; the closure is expected to return a free region (relative to this binder), and hence the binder is removed in the return type. The closure is invoked once for each unique BoundRegionKind; multiple references to the same BoundRegionKind will reuse the previous result. A map is returned at the end with each bound region and the free region that replaced it.

This method only replaces late bound regions and the result may still contain escaping bound types.

pub fn replace_escaping_bound_vars<T, F, G, H>(
    self,
    value: T,
    mut fld_r: F,
    mut fld_t: G,
    mut fld_c: H
) -> T where
    F: FnMut(BoundRegion) -> Region<'tcx>,
    G: FnMut(BoundTy) -> Ty<'tcx>,
    H: FnMut(BoundVar, Ty<'tcx>) -> &'tcx Const<'tcx>,
    T: TypeFoldable<'tcx>, 
[src]

Replaces all escaping bound vars. The fld_r closure replaces escaping bound regions; the fld_t closure replaces escaping bound types and the fld_c closure replaces escaping bound consts.

pub fn replace_bound_vars<T, F, G, H>(
    self,
    value: Binder<T>,
    mut fld_r: F,
    fld_t: G,
    fld_c: H
) -> (T, BTreeMap<BoundRegion, Region<'tcx>>) where
    F: FnMut(BoundRegion) -> Region<'tcx>,
    G: FnMut(BoundTy) -> Ty<'tcx>,
    H: FnMut(BoundVar, Ty<'tcx>) -> &'tcx Const<'tcx>,
    T: TypeFoldable<'tcx>, 
[src]

Replaces all types or regions bound by the given Binder. The fld_r closure replaces bound regions while the fld_t closure replaces bound types.

pub fn liberate_late_bound_regions<T>(
    self,
    all_outlive_scope: DefId,
    value: Binder<T>
) -> T where
    T: TypeFoldable<'tcx>, 
[src]

Replaces any late-bound regions bound in value with free variants attached to all_outlive_scope.

pub fn collect_constrained_late_bound_regions<T>(
    self,
    value: &Binder<T>
) -> FxHashSet<BoundRegionKind> where
    T: TypeFoldable<'tcx>, 
[src]

Returns a set of all late-bound regions that are constrained by value, meaning that if we instantiate those LBR with variables and equate value with something else, those variables will also be equated.

pub fn collect_referenced_late_bound_regions<T>(
    self,
    value: &Binder<T>
) -> FxHashSet<BoundRegionKind> where
    T: TypeFoldable<'tcx>, 
[src]

Returns a set of all late-bound regions that appear in value anywhere.

fn collect_late_bound_regions<T>(
    self,
    value: &Binder<T>,
    just_constraint: bool
) -> FxHashSet<BoundRegionKind> where
    T: TypeFoldable<'tcx>, 
[src]

pub fn erase_late_bound_regions<T>(self, value: Binder<T>) -> T where
    T: TypeFoldable<'tcx>, 
[src]

Replaces any late-bound regions bound in value with 'erased. Useful in codegen but also method lookup and a few other places where precise region relationships are not required.

pub fn anonymize_late_bound_regions<T>(self, sig: Binder<T>) -> Binder<T> where
    T: TypeFoldable<'tcx>, 
[src]

Rewrite any late-bound regions so that they are anonymous. Region numbers are assigned starting at 0 and increasing monotonically in the order traversed by the fold operation.

The chief purpose of this function is to canonicalize regions so that two FnSigs or TraitRefs which are equivalent up to region naming will become structurally identical. For example, for<'a, 'b> fn(&'a isize, &'b isize) and for<'a, 'b> fn(&'b isize, &'a isize) will become identical after anonymization.

impl<'tcx> TyCtxt<'tcx>[src]

pub fn is_ty_uninhabited_from(
    self,
    module: DefId,
    ty: Ty<'tcx>,
    param_env: ParamEnv<'tcx>
) -> bool
[src]

Checks whether a type is visibly uninhabited from a particular module.

Example

enum Void {}
mod a {
    pub mod b {
        pub struct SecretlyUninhabited {
            _priv: !,
        }
    }
}

mod c {
    pub struct AlsoSecretlyUninhabited {
        _priv: Void,
    }
    mod d {
    }
}

struct Foo {
    x: a::b::SecretlyUninhabited,
    y: c::AlsoSecretlyUninhabited,
}

In this code, the type Foo will only be visibly uninhabited inside the modules b, c and d. This effects pattern-matching on Foo or types that contain Foo.

Example

let foo_result: Result<T, Foo> = ... ;
let Ok(t) = foo_result;

This code should only compile in modules where the uninhabitedness of Foo is visible.

impl<'tcx> TyCtxt<'tcx>[src]

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

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

impl<'tcx> TyCtxt<'tcx>[src]

pub fn normalize_erasing_regions<T>(
    self,
    param_env: ParamEnv<'tcx>,
    value: T
) -> T where
    T: TypeFoldable<'tcx>, 
[src]

Erase the regions in value and then fully normalize all the types found within. The result will also have regions erased.

This is appropriate to use only after type-check: it assumes that normalization will succeed, for example.

pub fn normalize_erasing_late_bound_regions<T>(
    self,
    param_env: ParamEnv<'tcx>,
    value: Binder<T>
) -> T where
    T: TypeFoldable<'tcx>, 
[src]

If you have a Binder<T>, you can do this to strip out the late-bound regions and then normalize the result, yielding up a T (with regions erased). This is appropriate when the binder is being instantiated at the call site.

N.B., currently, higher-ranked type bounds inhibit normalization. Therefore, each time we erase them in codegen, we need to normalize the contents.

pub fn subst_and_normalize_erasing_regions<T>(
    self,
    param_substs: SubstsRef<'tcx>,
    param_env: ParamEnv<'tcx>,
    value: T
) -> T where
    T: TypeFoldable<'tcx>, 
[src]

Monomorphizes a type from the AST by first applying the in-scope substitutions and then normalizing any associated types.

impl<'tcx> TyCtxt<'tcx>[src]

pub fn push_outlives_components(
    self,
    ty0: Ty<'tcx>,
    out: &mut SmallVec<[Component<'tcx>; 4]>
)
[src]

Push onto out all the things that must outlive 'a for the condition ty0: 'a to hold. Note that ty0 must be a fully resolved type.

impl<'t> TyCtxt<'t>[src]

pub fn def_path_str(self, def_id: DefId) -> String[src]

Returns a string identifying this DefId. This string is suitable for user output.

pub fn def_path_str_with_substs(
    self,
    def_id: DefId,
    substs: &'t [GenericArg<'t>]
) -> String
[src]

impl<'tcx> TyCtxt<'tcx>[src]

pub(super) fn report_cycle(
    self,
    CycleError { usage, cycle: stack }: CycleError<Query<'tcx>>
) -> DiagnosticBuilder<'tcx>
[src]

pub fn try_print_query_stack(handler: &Handler, num_frames: Option<usize>)[src]

impl<'tcx> TyCtxt<'tcx>[src]

pub fn ensure(self) -> TyCtxtEnsure<'tcx>[src]

Returns a transparent wrapper for TyCtxt, which ensures queries are executed instead of just returning their results.

pub fn at(self, span: Span) -> TyCtxtAt<'tcx>[src]

Returns a transparent wrapper for TyCtxt which uses span as the location of queries performed through it.

#[must_use]pub fn trigger_delay_span_bug(self, key: impl IntoQueryParam<DefId>)[src]

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

#[must_use]pub fn hir_crate(self, key: CrateNum) -> &'tcx Crate<'tcx>[src]

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

#[must_use]pub fn index_hir(self, key: CrateNum) -> &'tcx IndexedHir<'tcx>[src]

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

#[must_use]pub fn hir_module_items(self, key: LocalDefId) -> &'tcx ModuleItems[src]

The items in a module.

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

#[must_use]pub fn hir_owner(self, key: LocalDefId) -> Option<&'tcx Owner<'tcx>>[src]

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.

#[must_use]pub fn hir_owner_nodes(self, key: LocalDefId) -> Option<&'tcx OwnerNodes<'tcx>>[src]

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.

#[must_use]pub fn opt_const_param_of(self, key: LocalDefId) -> Option<DefId>[src]

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

#[must_use]pub fn type_of(self, key: impl IntoQueryParam<DefId>) -> &'tcx TyS<'tcx>[src]

Records the type of every item.

#[must_use]pub fn analysis(self, key: CrateNum) -> Result<(), ErrorReported>[src]

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

#[must_use]pub fn generics_of(self, key: impl IntoQueryParam<DefId>) -> &'tcx Generics[src]

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

#[must_use]pub fn predicates_of(
    self,
    key: impl IntoQueryParam<DefId>
) -> GenericPredicates<'tcx>
[src]

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

#[must_use]pub fn explicit_item_bounds(
    self,
    key: impl IntoQueryParam<DefId>
) -> &'tcx [(Predicate<'tcx>, Span)]ⓘ

Notable traits for &'_ [u8]

impl<'_> Read for &'_ [u8]impl<'_> Write for &'_ mut [u8]
[src]

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.

#[must_use]pub fn item_bounds(
    self,
    key: impl IntoQueryParam<DefId>
) -> &'tcx List<Predicate<'tcx>>
[src]

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.

#[must_use]pub fn projection_ty_from_predicates(
    self,
    key: (DefId, DefId)
) -> Option<ProjectionTy<'tcx>>
[src]

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

#[must_use]pub fn native_libraries(self, key: CrateNum) -> Rc<Vec<NativeLib, Global>>[src]

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

#[must_use]pub fn lint_levels(self, key: CrateNum) -> &'tcx LintLevelMap[src]

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

#[must_use]pub fn parent_module_from_def_id(self, key: LocalDefId) -> LocalDefId[src]

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

#[must_use]pub fn expn_that_defined(self, key: impl IntoQueryParam<DefId>) -> ExpnId[src]

Internal helper query. Use tcx.expansion_that_defined instead

#[must_use]pub fn is_panic_runtime(self, key: CrateNum) -> bool[src]

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

#[must_use]pub fn mir_keys(
    self,
    key: CrateNum
) -> &'tcx HashSet<LocalDefId, BuildHasherDefault<FxHasher>>
[src]

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.

#[must_use]pub fn mir_const_qualif(self, key: impl IntoQueryParam<DefId>) -> ConstQualifs[src]

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.

#[must_use]pub fn mir_const_qualif_const_arg(
    self,
    key: (LocalDefId, DefId)
) -> ConstQualifs
[src]

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

#[must_use]pub fn mir_built(
    self,
    key: WithOptConstParam<LocalDefId>
) -> &'tcx Steal<Body<'tcx>>
[src]

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

#[must_use]pub fn mir_const(
    self,
    key: WithOptConstParam<LocalDefId>
) -> &'tcx Steal<Body<'tcx>>
[src]

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.

#[must_use]pub fn mir_abstract_const(
    self,
    key: impl IntoQueryParam<DefId>
) -> Result<Option<&'tcx [Node<'tcx>]>, ErrorReported>
[src]

Try to build an abstract representation of the given constant.

#[must_use]pub fn mir_abstract_const_of_const_arg(
    self,
    key: (LocalDefId, DefId)
) -> Result<Option<&'tcx [Node<'tcx>]>, ErrorReported>
[src]

Try to build an abstract representation of the given constant.

#[must_use]pub fn try_unify_abstract_consts(
    self,
    key: ((WithOptConstParam<DefId>, SubstsRef<'tcx>), (WithOptConstParam<DefId>, SubstsRef<'tcx>))
) -> bool
[src]

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

#[must_use]pub fn mir_drops_elaborated_and_const_checked(
    self,
    key: WithOptConstParam<LocalDefId>
) -> &'tcx Steal<Body<'tcx>>
[src]

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

#[must_use]pub fn mir_promoted(
    self,
    key: WithOptConstParam<LocalDefId>
) -> (&'tcx Steal<Body<'tcx>>, &'tcx Steal<IndexVec<Promoted, Body<'tcx>>>)
[src]

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

#[must_use]pub fn optimized_mir(self, key: impl IntoQueryParam<DefId>) -> &'tcx Body<'tcx>[src]

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.

#[must_use]pub fn optimized_mir_of_const_arg(
    self,
    key: (LocalDefId, DefId)
) -> &'tcx Body<'tcx>
[src]

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

#[must_use]pub fn coverageinfo(self, key: impl IntoQueryParam<DefId>) -> &'tcx CoverageInfo[src]

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

#[must_use]pub fn covered_file_name(
    self,
    key: impl IntoQueryParam<DefId>
) -> &'tcx Option<Symbol>
[src]

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

#[must_use]pub fn covered_code_regions(
    self,
    key: impl IntoQueryParam<DefId>
) -> &'tcx Vec<&'tcx CodeRegion, Global>
[src]

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.

#[must_use]pub fn promoted_mir(
    self,
    key: impl IntoQueryParam<DefId>
) -> &'tcx IndexVec<Promoted, Body<'tcx>>
[src]

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.

#[must_use]pub fn promoted_mir_of_const_arg(
    self,
    key: (LocalDefId, DefId)
) -> &'tcx IndexVec<Promoted, Body<'tcx>>
[src]

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

#[must_use]pub fn erase_regions_ty(self, key: Ty<'tcx>) -> &'tcx TyS<'tcx>[src]

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.

#[must_use]pub fn wasm_import_module_map(
    self,
    key: CrateNum
) -> &'tcx HashMap<DefId, String, BuildHasherDefault<FxHasher>>
[src]

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

#[must_use]pub fn predicates_defined_on(
    self,
    key: impl IntoQueryParam<DefId>
) -> GenericPredicates<'tcx>
[src]

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.

#[must_use]pub fn trait_explicit_predicates_and_bounds(
    self,
    key: LocalDefId
) -> GenericPredicates<'tcx>
[src]

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.

#[must_use]pub fn explicit_predicates_of(
    self,
    key: impl IntoQueryParam<DefId>
) -> GenericPredicates<'tcx>
[src]

Returns the predicates written explicitly by the user.

#[must_use]pub fn inferred_outlives_of(
    self,
    key: impl IntoQueryParam<DefId>
) -> &'tcx [(Predicate<'tcx>, Span)]ⓘ

Notable traits for &'_ [u8]

impl<'_> Read for &'_ [u8]impl<'_> Write for &'_ mut [u8]
[src]

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

#[must_use]pub fn super_predicates_of(
    self,
    key: impl IntoQueryParam<DefId>
) -> GenericPredicates<'tcx>
[src]

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

#[must_use]pub fn type_param_predicates(
    self,
    key: (DefId, LocalDefId)
) -> GenericPredicates<'tcx>
[src]

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

#[must_use]pub fn trait_def(self, key: impl IntoQueryParam<DefId>) -> &'tcx TraitDef[src]

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

#[must_use]pub fn adt_def(self, key: impl IntoQueryParam<DefId>) -> &'tcx AdtDef[src]

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

#[must_use]pub fn adt_destructor(
    self,
    key: impl IntoQueryParam<DefId>
) -> Option<Destructor>
[src]

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

#[must_use]pub fn adt_sized_constraint(
    self,
    key: impl IntoQueryParam<DefId>
) -> AdtSizedConstraint<'tcx>
[src]

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

#[must_use]pub fn adt_dtorck_constraint(
    self,
    key: impl IntoQueryParam<DefId>
) -> Result<DtorckConstraint<'tcx>, NoSolution>
[src]

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

#[must_use]pub fn is_const_fn_raw(self, key: impl IntoQueryParam<DefId>) -> bool[src]

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.

#[must_use]pub fn is_const_impl_raw(self, key: impl IntoQueryParam<DefId>) -> bool[src]

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

#[must_use]pub fn asyncness(self, key: impl IntoQueryParam<DefId>) -> IsAsync[src]

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

#[must_use]pub fn is_promotable_const_fn(self, key: impl IntoQueryParam<DefId>) -> bool[src]

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

#[must_use]pub fn is_foreign_item(self, key: impl IntoQueryParam<DefId>) -> bool[src]

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

#[must_use]pub fn static_mutability(
    self,
    key: impl IntoQueryParam<DefId>
) -> Option<Mutability>
[src]

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

#[must_use]pub fn generator_kind(
    self,
    key: impl IntoQueryParam<DefId>
) -> Option<GeneratorKind>
[src]

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

#[must_use]pub fn crate_variances(self, key: CrateNum) -> &'tcx CrateVariancesMap<'tcx>[src]

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

#[must_use]pub fn variances_of(self, key: impl IntoQueryParam<DefId>) -> &'tcx [Variance]ⓘ

Notable traits for &'_ [u8]

impl<'_> Read for &'_ [u8]impl<'_> Write for &'_ mut [u8]
[src]

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

#[must_use]pub fn inferred_outlives_crate(
    self,
    key: CrateNum
) -> &'tcx CratePredicatesMap<'tcx>
[src]

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

#[must_use]pub fn associated_item_def_ids(
    self,
    key: impl IntoQueryParam<DefId>
) -> &'tcx [DefId]ⓘ

Notable traits for &'_ [u8]

impl<'_> Read for &'_ [u8]impl<'_> Write for &'_ mut [u8]
[src]

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

#[must_use]pub fn associated_item(self, key: impl IntoQueryParam<DefId>) -> &'tcx AssocItem[src]

Maps from a trait item to the trait item "descriptor".

#[must_use]pub fn associated_items(
    self,
    key: impl IntoQueryParam<DefId>
) -> &'tcx AssociatedItems<'tcx>
[src]

Collects the associated items defined on a trait or impl.

#[must_use]pub fn impl_trait_ref(
    self,
    key: impl IntoQueryParam<DefId>
) -> Option<TraitRef<'tcx>>
[src]

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

#[must_use]pub fn impl_polarity(self, key: impl IntoQueryParam<DefId>) -> ImplPolarity[src]

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

#[must_use]pub fn issue33140_self_ty(
    self,
    key: impl IntoQueryParam<DefId>
) -> Option<&'tcx TyS<'tcx>>
[src]

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

#[must_use]pub fn inherent_impls(self, key: impl IntoQueryParam<DefId>) -> &'tcx [DefId]ⓘ

Notable traits for &'_ [u8]

impl<'_> Read for &'_ [u8]impl<'_> Write for &'_ mut [u8]
[src]

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.

#[must_use]pub fn unsafety_check_result(self, key: LocalDefId) -> &'tcx UnsafetyCheckResult[src]

The result of unsafety-checking this LocalDefId.

#[must_use]pub fn unsafety_check_result_for_const_arg(
    self,
    key: (LocalDefId, DefId)
) -> &'tcx UnsafetyCheckResult
[src]

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

#[must_use]pub fn unsafe_derive_on_repr_packed(self, key: LocalDefId)[src]

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.

#[must_use]pub fn fn_sig(self, key: impl IntoQueryParam<DefId>) -> Binder<FnSig<'tcx>>[src]

The signature of functions.

#[must_use]pub fn lint_mod(self, key: LocalDefId)[src]

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

#[must_use]pub fn check_mod_attrs(self, key: LocalDefId)[src]

Checks the attributes in the module.

#[must_use]pub fn check_mod_unstable_api_usage(self, key: LocalDefId)[src]

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

#[must_use]pub fn check_mod_const_bodies(self, key: LocalDefId)[src]

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

#[must_use]pub fn check_mod_loops(self, key: LocalDefId)[src]

Checks the loops in the module.

#[must_use]pub fn check_mod_naked_functions(self, key: LocalDefId)[src]

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

#[must_use]pub fn check_mod_item_types(self, key: LocalDefId)[src]

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

#[must_use]pub fn check_mod_privacy(self, key: LocalDefId)[src]

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

#[must_use]pub fn check_mod_intrinsics(self, key: LocalDefId)[src]

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

#[must_use]pub fn check_mod_liveness(self, key: LocalDefId)[src]

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

#[must_use]pub fn check_mod_impl_wf(self, key: LocalDefId)[src]

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

#[must_use]pub fn collect_mod_item_types(self, key: LocalDefId)[src]

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

#[must_use]pub fn coerce_unsized_info(
    self,
    key: impl IntoQueryParam<DefId>
) -> CoerceUnsizedInfo
[src]

Caches CoerceUnsized kinds for impls on custom types.

#[must_use]pub fn typeck_item_bodies(self, key: CrateNum)[src]

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

#[must_use]pub fn typeck(self, key: LocalDefId) -> &'tcx TypeckResults<'tcx>[src]

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

#[must_use]pub fn typeck_const_arg(
    self,
    key: (LocalDefId, DefId)
) -> &'tcx TypeckResults<'tcx>
[src]

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

#[must_use]pub fn diagnostic_only_typeck(
    self,
    key: LocalDefId
) -> &'tcx TypeckResults<'tcx>
[src]

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

#[must_use]pub fn used_trait_imports(
    self,
    key: LocalDefId
) -> &'tcx HashSet<LocalDefId, BuildHasherDefault<FxHasher>>
[src]

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

#[must_use]pub fn has_typeck_results(self, key: impl IntoQueryParam<DefId>) -> bool[src]

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

#[must_use]pub fn coherent_trait(self, key: impl IntoQueryParam<DefId>)[src]

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

#[must_use]pub fn mir_borrowck(self, key: LocalDefId) -> &'tcx BorrowCheckResult<'tcx>[src]

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

#[must_use]pub fn mir_borrowck_const_arg(
    self,
    key: (LocalDefId, DefId)
) -> &'tcx BorrowCheckResult<'tcx>
[src]

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

#[must_use]pub fn crate_inherent_impls(self, key: CrateNum) -> &'tcx CrateInherentImpls[src]

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

#[must_use]pub fn crate_inherent_impls_overlap_check(self, key: CrateNum)[src]

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

#[must_use]pub fn eval_to_allocation_raw(
    self,
    key: ParamEnvAnd<'tcx, GlobalId<'tcx>>
) -> Result<ConstAlloc<'tcx>, ErrorHandled>
[src]

Evaluates a constant and returns the computed allocation.

Do not use this directly, use the tcx.eval_static_initializer wrapper.

#[must_use]pub fn eval_to_const_value_raw(
    self,
    key: ParamEnvAnd<'tcx, GlobalId<'tcx>>
) -> Result<ConstValue<'tcx>, ErrorHandled>
[src]

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.

#[must_use]pub fn destructure_const(
    self,
    key: ParamEnvAnd<'tcx, &'tcx Const<'tcx>>
) -> DestructuredConst<'tcx>
[src]

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

#[must_use]pub fn deref_const(
    self,
    key: ParamEnvAnd<'tcx, &'tcx Const<'tcx>>
) -> &'tcx Const<'tcx>
[src]

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

#[must_use]pub fn const_caller_location(self, key: (Symbol, u32, u32)) -> ConstValue<'tcx>[src]

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

#[must_use]pub fn lit_to_const(
    self,
    key: LitToConstInput<'tcx>
) -> Result<&'tcx Const<'tcx>, LitToConstError>
[src]

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

#[must_use]pub fn check_match(self, key: impl IntoQueryParam<DefId>)[src]

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

#[must_use]pub fn privacy_access_levels(self, key: CrateNum) -> &'tcx AccessLevels<HirId>[src]

Performs part of the privacy check and computes "access levels".

#[must_use]pub fn check_private_in_public(self, key: CrateNum)[src]

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

#[must_use]pub fn reachable_set(
    self,
    key: CrateNum
) -> &'tcx HashSet<LocalDefId, BuildHasherDefault<FxHasher>>
[src]

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

#[must_use]pub fn region_scope_tree(
    self,
    key: impl IntoQueryParam<DefId>
) -> &'tcx ScopeTree
[src]

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.

#[must_use]pub fn mir_shims(self, key: InstanceDef<'tcx>) -> &'tcx Body<'tcx>[src]

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

#[must_use]pub fn symbol_name(self, key: Instance<'tcx>) -> SymbolName<'tcx>[src]

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.

#[must_use]pub fn def_kind(self, key: impl IntoQueryParam<DefId>) -> DefKind[src]

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

#[must_use]pub fn def_span(self, key: impl IntoQueryParam<DefId>) -> Span[src]

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

#[must_use]pub fn lookup_stability(
    self,
    key: impl IntoQueryParam<DefId>
) -> Option<&'tcx Stability>
[src]

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

#[must_use]pub fn lookup_const_stability(
    self,
    key: impl IntoQueryParam<DefId>
) -> Option<&'tcx ConstStability>
[src]

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

#[must_use]pub fn lookup_deprecation_entry(
    self,
    key: impl IntoQueryParam<DefId>
) -> Option<DeprecationEntry>
[src]

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

#[must_use]pub fn item_attrs(self, key: impl IntoQueryParam<DefId>) -> &'tcx [Attribute]ⓘ

Notable traits for &'_ [u8]

impl<'_> Read for &'_ [u8]impl<'_> Write for &'_ mut [u8]
[src]

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

#[must_use]pub fn codegen_fn_attrs(
    self,
    key: impl IntoQueryParam<DefId>
) -> &'tcx CodegenFnAttrs
[src]

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

#[must_use]pub fn fn_arg_names(self, key: impl IntoQueryParam<DefId>) -> &'tcx [Ident]ⓘ

Notable traits for &'_ [u8]

impl<'_> Read for &'_ [u8]impl<'_> Write for &'_ mut [u8]
[src]

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

#[must_use]pub fn rendered_const(self, key: impl IntoQueryParam<DefId>) -> String[src]

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

#[must_use]pub fn impl_parent(self, key: impl IntoQueryParam<DefId>) -> Option<DefId>[src]

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

#[must_use]pub fn trait_of_item(self, key: impl IntoQueryParam<DefId>) -> Option<DefId>[src]

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

#[must_use]pub fn is_mir_available(self, key: impl IntoQueryParam<DefId>) -> bool[src]

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

#[must_use]pub fn vtable_methods(
    self,
    key: PolyTraitRef<'tcx>
) -> &'tcx [Option<(DefId, &'tcx List<GenericArg<'tcx>>)>]ⓘ

Notable traits for &'_ [u8]

impl<'_> Read for &'_ [u8]impl<'_> Write for &'_ mut [u8]
[src]

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

#[must_use]pub fn codegen_fulfill_obligation(
    self,
    key: (ParamEnv<'tcx>, PolyTraitRef<'tcx>)
) -> Result<ImplSource<'tcx, ()>, ErrorReported>
[src]

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

#[must_use]pub fn all_local_trait_impls(
    self,
    key: CrateNum
) -> &'tcx BTreeMap<DefId, Vec<HirId, Global>>
[src]

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.

#[must_use]pub fn trait_impls_of(self, key: impl IntoQueryParam<DefId>) -> &'tcx TraitImpls[src]

Given a trait trait_id, return all known impl blocks.

#[must_use]pub fn specialization_graph_of(
    self,
    key: impl IntoQueryParam<DefId>
) -> &'tcx Graph
[src]

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

#[must_use]pub fn object_safety_violations(
    self,
    key: impl IntoQueryParam<DefId>
) -> &'tcx [ObjectSafetyViolation]ⓘ

Notable traits for &'_ [u8]

impl<'_> Read for &'_ [u8]impl<'_> Write for &'_ mut [u8]
[src]

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

#[must_use]pub fn param_env(self, key: impl IntoQueryParam<DefId>) -> ParamEnv<'tcx>[src]

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.

#[must_use]pub fn param_env_reveal_all_normalized(
    self,
    key: impl IntoQueryParam<DefId>
) -> ParamEnv<'tcx>
[src]

Like param_env, but returns the ParamEnv in Reveal::Allmode. Prefer this overtcx.param_env(def_id).with_reveal_all_normalized(tcx)`, as this method is more efficient.

#[must_use]pub fn is_copy_raw(self, key: ParamEnvAnd<'tcx, Ty<'tcx>>) -> bool[src]

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.

#[must_use]pub fn is_sized_raw(self, key: ParamEnvAnd<'tcx, Ty<'tcx>>) -> bool[src]

Query backing TyS::is_sized.

#[must_use]pub fn is_freeze_raw(self, key: ParamEnvAnd<'tcx, Ty<'tcx>>) -> bool[src]

Query backing TyS::is_freeze.

#[must_use]pub fn needs_drop_raw(self, key: ParamEnvAnd<'tcx, Ty<'tcx>>) -> bool[src]

Query backing TyS::needs_drop.

#[must_use]pub fn has_structural_eq_impls(self, key: Ty<'tcx>) -> bool[src]

Query backing TyS::is_structural_eq_shallow.

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

#[must_use]pub fn adt_drop_tys(
    self,
    key: impl IntoQueryParam<DefId>
) -> Result<&'tcx List<&'tcx TyS<'tcx>>, AlwaysRequiresDrop>
[src]

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.

#[must_use]pub fn layout_raw(
    self,
    key: ParamEnvAnd<'tcx, Ty<'tcx>>
) -> Result<&'tcx Layout, LayoutError<'tcx>>
[src]

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

#[must_use]pub fn dylib_dependency_formats(
    self,
    key: CrateNum
) -> &'tcx [(CrateNum, LinkagePreference)]ⓘ

Notable traits for &'_ [u8]

impl<'_> Read for &'_ [u8]impl<'_> Write for &'_ mut [u8]
[src]

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

#[must_use]pub fn dependency_formats(
    self,
    key: CrateNum
) -> Rc<Vec<(CrateType, Vec<Linkage, Global>), Global>>
[src]

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

#[must_use]pub fn is_compiler_builtins(self, key: CrateNum) -> bool[src]

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

#[must_use]pub fn has_global_allocator(self, key: CrateNum) -> bool[src]

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

#[must_use]pub fn has_panic_handler(self, key: CrateNum) -> bool[src]

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

#[must_use]pub fn is_profiler_runtime(self, key: CrateNum) -> bool[src]

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

#[must_use]pub fn panic_strategy(self, key: CrateNum) -> PanicStrategy[src]

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

#[must_use]pub fn is_no_builtins(self, key: CrateNum) -> bool[src]

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

#[must_use]pub fn symbol_mangling_version(self, key: CrateNum) -> SymbolManglingVersion[src]

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

#[must_use]pub fn extern_crate(
    self,
    key: impl IntoQueryParam<DefId>
) -> Option<&'tcx ExternCrate>
[src]

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

#[must_use]pub fn specializes(self, key: (DefId, DefId)) -> bool[src]

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

#[must_use]pub fn in_scope_traits_map(
    self,
    key: LocalDefId
) -> Option<&'tcx HashMap<ItemLocalId, StableVec<TraitCandidate>, BuildHasherDefault<FxHasher>>>
[src]

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

#[must_use]pub fn module_exports(
    self,
    key: LocalDefId
) -> Option<&'tcx [Export<LocalDefId>]>
[src]

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

#[must_use]pub fn impl_defaultness(self, key: impl IntoQueryParam<DefId>) -> Defaultness[src]

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

#[must_use]pub fn check_item_well_formed(self, key: LocalDefId)[src]

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

#[must_use]pub fn check_trait_item_well_formed(self, key: LocalDefId)[src]

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

#[must_use]pub fn check_impl_item_well_formed(self, key: LocalDefId)[src]

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

#[must_use]pub fn reachable_non_generics(
    self,
    key: CrateNum
) -> &'tcx HashMap<DefId, SymbolExportLevel, BuildHasherDefault<FxHasher>>
[src]

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

#[must_use]pub fn is_reachable_non_generic(self, key: impl IntoQueryParam<DefId>) -> bool[src]

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

#[must_use]pub fn is_unreachable_local_definition(
    self,
    key: impl IntoQueryParam<DefId>
) -> bool
[src]

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

#[must_use]pub fn upstream_monomorphizations(
    self,
    key: CrateNum
) -> &'tcx HashMap<DefId, HashMap<&'tcx List<GenericArg<'tcx>>, CrateNum, BuildHasherDefault<FxHasher>>, BuildHasherDefault<FxHasher>>
[src]

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

#[must_use]pub fn upstream_monomorphizations_for(
    self,
    key: impl IntoQueryParam<DefId>
) -> Option<&'tcx HashMap<&'tcx List<GenericArg<'tcx>>, CrateNum, BuildHasherDefault<FxHasher>>>
[src]

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.

#[must_use]pub fn upstream_drop_glue_for(self, key: SubstsRef<'tcx>) -> Option<CrateNum>[src]

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

#[must_use]pub fn foreign_modules(
    self,
    key: CrateNum
) -> Rc<HashMap<DefId, ForeignModule, BuildHasherDefault<FxHasher>>>
[src]

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

#[must_use]pub fn entry_fn(self, key: CrateNum) -> Option<(LocalDefId, EntryFnType)>[src]

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

#[must_use]pub fn plugin_registrar_fn(self, key: CrateNum) -> Option<DefId>[src]

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

#[must_use]pub fn proc_macro_decls_static(self, key: CrateNum) -> Option<DefId>[src]

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

#[must_use]pub fn crate_disambiguator(self, key: CrateNum) -> CrateDisambiguator[src]

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

#[must_use]pub fn crate_hash(self, key: CrateNum) -> Svh[src]

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

#[must_use]pub fn crate_host_hash(self, key: CrateNum) -> Option<Svh>[src]

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

#[must_use]pub fn original_crate_name(self, key: CrateNum) -> Symbol[src]

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

#[must_use]pub fn extra_filename(self, key: CrateNum) -> String[src]

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

#[must_use]pub fn crate_extern_paths(self, key: CrateNum) -> Vec<PathBuf, Global>[src]

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

#[must_use]pub fn implementations_of_trait(
    self,
    key: (CrateNum, DefId)
) -> &'tcx [(DefId, Option<SimplifiedTypeGen<DefId>>)]ⓘ

Notable traits for &'_ [u8]

impl<'_> Read for &'_ [u8]impl<'_> Write for &'_ mut [u8]
[src]

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

#[must_use]pub fn all_trait_implementations(
    self,
    key: CrateNum
) -> &'tcx [(DefId, Option<SimplifiedTypeGen<DefId>>)]ⓘ

Notable traits for &'_ [u8]

impl<'_> Read for &'_ [u8]impl<'_> Write for &'_ mut [u8]
[src]

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

#[must_use]pub fn dllimport_foreign_items(
    self,
    key: CrateNum
) -> &'tcx HashSet<DefId, BuildHasherDefault<FxHasher>>
[src]

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

#[must_use]pub fn is_dllimport_foreign_item(self, key: impl IntoQueryParam<DefId>) -> bool[src]

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

#[must_use]pub fn is_statically_included_foreign_item(
    self,
    key: impl IntoQueryParam<DefId>
) -> bool
[src]

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

#[must_use]pub fn native_library_kind(
    self,
    key: impl IntoQueryParam<DefId>
) -> Option<NativeLibKind>
[src]

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

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

#[must_use]pub fn resolve_lifetimes(self, key: CrateNum) -> &'tcx ResolveLifetimes[src]

Lifetime resolution. See middle::resolve_lifetimes.

#[must_use]pub fn named_region_map(
    self,
    key: LocalDefId
) -> Option<&'tcx HashMap<ItemLocalId, Region, BuildHasherDefault<FxHasher>>>
[src]

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

#[must_use]pub fn is_late_bound_map(
    self,
    key: LocalDefId
) -> Option<&'tcx HashSet<ItemLocalId, BuildHasherDefault<FxHasher>>>
[src]

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

#[must_use]pub fn object_lifetime_defaults_map(
    self,
    key: LocalDefId
) -> Option<&'tcx HashMap<ItemLocalId, Vec<Set1<Region>, Global>, BuildHasherDefault<FxHasher>>>
[src]

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

#[must_use]pub fn visibility(self, key: impl IntoQueryParam<DefId>) -> Visibility[src]

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

#[must_use]pub fn dep_kind(self, key: CrateNum) -> CrateDepKind[src]

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

#[must_use]pub fn crate_name(self, key: CrateNum) -> Symbol[src]

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

#[must_use]pub fn item_children(
    self,
    key: impl IntoQueryParam<DefId>
) -> &'tcx [Export<HirId>]ⓘ

Notable traits for &'_ [u8]

impl<'_> Read for &'_ [u8]impl<'_> Write for &'_ mut [u8]
[src]

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

#[must_use]pub fn extern_mod_stmt_cnum(self, key: LocalDefId) -> Option<CrateNum>[src]

[query description - consider adding a doc-comment!] computing crate imported by tcx.def_path_str(def_id.to_def_id())

#[must_use]pub fn get_lib_features(self, key: CrateNum) -> &'tcx LibFeatures[src]

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

#[must_use]pub fn defined_lib_features(
    self,
    key: CrateNum
) -> &'tcx [(Symbol, Option<Symbol>)]ⓘ

Notable traits for &'_ [u8]

impl<'_> Read for &'_ [u8]impl<'_> Write for &'_ mut [u8]
[src]

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

#[must_use]pub fn get_lang_items(self, key: CrateNum) -> &'tcx LanguageItems[src]

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

#[must_use]pub fn all_diagnostic_items(
    self,
    key: CrateNum
) -> &'tcx HashMap<Symbol, DefId, BuildHasherDefault<FxHasher>>
[src]

Returns all diagnostic items defined in all crates.

#[must_use]pub fn defined_lang_items(self, key: CrateNum) -> &'tcx [(DefId, usize)]ⓘ

Notable traits for &'_ [u8]

impl<'_> Read for &'_ [u8]impl<'_> Write for &'_ mut [u8]
[src]

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

#[must_use]pub fn diagnostic_items(
    self,
    key: CrateNum
) -> &'tcx HashMap<Symbol, DefId, BuildHasherDefault<FxHasher>>
[src]

Returns the diagnostic items defined in a crate.

#[must_use]pub fn missing_lang_items(self, key: CrateNum) -> &'tcx [LangItem]ⓘ

Notable traits for &'_ [u8]

impl<'_> Read for &'_ [u8]impl<'_> Write for &'_ mut [u8]
[src]

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

#[must_use]pub fn visible_parent_map(
    self,
    key: CrateNum
) -> &'tcx HashMap<DefId, DefId, BuildHasherDefault<FxHasher>>
[src]

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

#[must_use]pub fn trimmed_def_paths(
    self,
    key: CrateNum
) -> &'tcx HashMap<DefId, Symbol, BuildHasherDefault<FxHasher>>
[src]

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

#[must_use]pub fn missing_extern_crate_item(self, key: CrateNum) -> bool[src]

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

#[must_use]pub fn used_crate_source(self, key: CrateNum) -> Rc<CrateSource>[src]

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

#[must_use]pub fn postorder_cnums(self, key: CrateNum) -> &'tcx [CrateNum]ⓘ

Notable traits for &'_ [u8]

impl<'_> Read for &'_ [u8]impl<'_> Write for &'_ mut [u8]
[src]

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

#[must_use]pub fn upvars_mentioned(
    self,
    key: impl IntoQueryParam<DefId>
) -> Option<&'tcx IndexMap<HirId, Upvar, BuildHasherDefault<FxHasher>>>
[src]

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

#[must_use]pub fn maybe_unused_trait_import(self, key: LocalDefId) -> bool[src]

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

#[must_use]pub fn maybe_unused_extern_crates(
    self,
    key: CrateNum
) -> &'tcx [(LocalDefId, Span)]ⓘ

Notable traits for &'_ [u8]

impl<'_> Read for &'_ [u8]impl<'_> Write for &'_ mut [u8]
[src]

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

#[must_use]pub fn names_imported_by_glob_use(
    self,
    key: LocalDefId
) -> &'tcx HashSet<Symbol, BuildHasherDefault<FxHasher>>
[src]

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

#[must_use]pub fn stability_index(self, key: CrateNum) -> &'tcx Index<'tcx>[src]

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

#[must_use]pub fn all_crate_nums(self, key: CrateNum) -> &'tcx [CrateNum]ⓘ

Notable traits for &'_ [u8]

impl<'_> Read for &'_ [u8]impl<'_> Write for &'_ mut [u8]
[src]

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

#[must_use]pub fn all_traits(self, key: CrateNum) -> &'tcx [DefId]ⓘ

Notable traits for &'_ [u8]

impl<'_> Read for &'_ [u8]impl<'_> Write for &'_ mut [u8]
[src]

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

#[must_use]pub fn exported_symbols(
    self,
    key: CrateNum
) -> &'tcx [(ExportedSymbol<'tcx>, SymbolExportLevel)]ⓘ

Notable traits for &'_ [u8]

impl<'_> Read for &'_ [u8]impl<'_> Write for &'_ mut [u8]
[src]

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.

#[must_use]pub fn collect_and_partition_mono_items(
    self,
    key: CrateNum
) -> (&'tcx HashSet<DefId, BuildHasherDefault<FxHasher>>, &'tcx [CodegenUnit<'tcx>])
[src]

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

#[must_use]pub fn is_codegened_item(self, key: impl IntoQueryParam<DefId>) -> bool[src]

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

#[must_use]pub fn codegen_unit(self, key: Symbol) -> &'tcx CodegenUnit<'tcx>[src]

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

#[must_use]pub fn unused_generic_params(
    self,
    key: impl IntoQueryParam<DefId>
) -> FiniteBitSet<u32>
[src]

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

#[must_use]pub fn backend_optimization_level(self, key: CrateNum) -> OptLevel[src]

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

#[must_use]pub fn output_filenames(self, key: CrateNum) -> Arc<OutputFilenames>[src]

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

#[must_use]pub fn normalize_projection_ty(
    self,
    key: CanonicalProjectionGoal<'tcx>
) -> Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, NormalizationResult<'tcx>>>, NoSolution>
[src]

Do not call this query directly: invoke normalize instead.

#[must_use]pub fn normalize_generic_arg_after_erasing_regions(
    self,
    key: ParamEnvAnd<'tcx, GenericArg<'tcx>>
) -> GenericArg<'tcx>
[src]

Do not call this query directly: invoke normalize_erasing_regions instead.

#[must_use]pub fn implied_outlives_bounds(
    self,
    key: CanonicalTyGoal<'tcx>
) -> Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, Vec<OutlivesBound<'tcx>, Global>>>, NoSolution>
[src]

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

#[must_use]pub fn dropck_outlives(
    self,
    key: CanonicalTyGoal<'tcx>
) -> Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, DropckOutlivesResult<'tcx>>>, NoSolution>
[src]

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

#[must_use]pub fn evaluate_obligation(
    self,
    key: CanonicalPredicateGoal<'tcx>
) -> Result<EvaluationResult, OverflowError>
[src]

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

#[must_use]pub fn evaluate_goal(
    self,
    key: CanonicalChalkEnvironmentAndGoal<'tcx>
) -> Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, ()>>, NoSolution>
[src]

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

#[must_use]pub fn type_implements_trait(
    self,
    key: (DefId, Ty<'tcx>, SubstsRef<'tcx>, ParamEnv<'tcx>)
) -> bool
[src]

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

#[must_use]pub fn type_op_ascribe_user_type(
    self,
    key: CanonicalTypeOpAscribeUserTypeGoal<'tcx>
) -> Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, ()>>, NoSolution>
[src]

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

#[must_use]pub fn type_op_eq(
    self,
    key: CanonicalTypeOpEqGoal<'tcx>
) -> Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, ()>>, NoSolution>
[src]

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

#[must_use]pub fn type_op_subtype(
    self,
    key: CanonicalTypeOpSubtypeGoal<'tcx>
) -> Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, ()>>, NoSolution>
[src]

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

#[must_use]pub fn type_op_prove_predicate(
    self,
    key: CanonicalTypeOpProvePredicateGoal<'tcx>
) -> Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, ()>>, NoSolution>
[src]

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

#[must_use]pub fn type_op_normalize_ty(
    self,
    key: CanonicalTypeOpNormalizeGoal<'tcx, Ty<'tcx>>
) -> Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, &'tcx TyS<'tcx>>>, NoSolution>
[src]

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

#[must_use]pub fn type_op_normalize_predicate(
    self,
    key: CanonicalTypeOpNormalizeGoal<'tcx, Predicate<'tcx>>
) -> Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, Predicate<'tcx>>>, NoSolution>
[src]

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

#[must_use]pub fn type_op_normalize_poly_fn_sig(
    self,
    key: CanonicalTypeOpNormalizeGoal<'tcx, PolyFnSig<'tcx>>
) -> Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, Binder<FnSig<'tcx>>>>, NoSolution>
[src]

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

#[must_use]pub fn type_op_normalize_fn_sig(
    self,
    key: CanonicalTypeOpNormalizeGoal<'tcx, FnSig<'tcx>>
) -> Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, FnSig<'tcx>>>, NoSolution>
[src]

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

#[must_use]pub fn subst_and_check_impossible_predicates(
    self,
    key: (DefId, SubstsRef<'tcx>)
) -> bool
[src]

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

#[must_use]pub fn method_autoderef_steps(
    self,
    key: CanonicalTyGoal<'tcx>
) -> MethodAutoderefStepsResult<'tcx>
[src]

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

#[must_use]pub fn supported_target_features(
    self,
    key: CrateNum
) -> &'tcx HashMap<String, Option<Symbol>, BuildHasherDefault<FxHasher>>
[src]

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

#[must_use]pub fn instance_def_size_estimate(self, key: InstanceDef<'tcx>) -> usize[src]

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

#[must_use]pub fn features_query(self, key: CrateNum) -> &'tcx Features[src]

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

#[must_use]pub fn resolve_instance(
    self,
    key: ParamEnvAnd<'tcx, (DefId, SubstsRef<'tcx>)>
) -> Result<Option<Instance<'tcx>>, ErrorReported>
[src]

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

#[must_use]pub fn resolve_instance_of_const_arg(
    self,
    key: ParamEnvAnd<'tcx, (LocalDefId, DefId, SubstsRef<'tcx>)>
) -> Result<Option<Instance<'tcx>>, ErrorReported>
[src]

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

#[must_use]pub fn normalize_opaque_types(
    self,
    key: &'tcx List<Predicate<'tcx>>
) -> &'tcx List<Predicate<'tcx>>
[src]

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

pub fn alloc_self_profile_query_strings(self)[src]

All self-profiling events generated by the query engine use virtual StringIds for their event_id. This method makes all those virtual StringIds point to actual strings.

If we are recording only summary data, the ids will point to just the query names. If we are recording query keys too, we allocate the corresponding strings here.

impl<'tcx> TyCtxt<'tcx>[src]

pub fn for_each_impl<F: FnMut(DefId)>(self, def_id: DefId, mut f: F)[src]

pub fn for_each_relevant_impl<F: FnMut(DefId)>(
    self,
    def_id: DefId,
    self_ty: Ty<'tcx>,
    mut f: F
)
[src]

Iterate over every impl that could possibly match the self type self_ty.

pub fn find_map_relevant_impl<T, F: FnMut(DefId) -> Option<T>>(
    self,
    def_id: DefId,
    self_ty: Ty<'tcx>,
    mut f: F
) -> Option<T>
[src]

Applies function to every impl that could possibly match the self type self_ty and returns the first non-none value.

pub fn all_impls(self, def_id: DefId) -> impl Iterator<Item = DefId> + 'tcx[src]

Returns an iterator containing all impls

impl<'tcx> TyCtxt<'tcx>[src]

pub fn type_id_hash(self, ty: Ty<'tcx>) -> u64[src]

Creates a hash of the type Ty which will be the same no matter what crate context it's calculated within. This is used by the type_id intrinsic.

pub fn has_error_field(self, ty: Ty<'tcx>) -> bool[src]

pub fn struct_tail_without_normalization(self, ty: Ty<'tcx>) -> Ty<'tcx>[src]

Attempts to returns the deeply last field of nested structures, but does not apply any normalization in its search. Returns the same type if input ty is not a structure at all.

pub fn struct_tail_erasing_lifetimes(
    self,
    ty: Ty<'tcx>,
    param_env: ParamEnv<'tcx>
) -> Ty<'tcx>
[src]

Returns the deeply last field of nested structures, or the same type if not a structure at all. Corresponds to the only possible unsized field, and its type can be used to determine unsizing strategy.

Should only be called if ty has no inference variables and does not need its lifetimes preserved (e.g. as part of codegen); otherwise normalization attempt may cause compiler bugs.

pub fn struct_tail_with_normalize(
    self,
    mut ty: Ty<'tcx>,
    normalize: impl Fn(Ty<'tcx>) -> Ty<'tcx>
) -> Ty<'tcx>
[src]

Returns the deeply last field of nested structures, or the same type if not a structure at all. Corresponds to the only possible unsized field, and its type can be used to determine unsizing strategy.

This is parameterized over the normalization strategy (i.e. how to handle <T as Trait>::Assoc and impl Trait); pass the identity function to indicate no normalization should take place.

See also struct_tail_erasing_lifetimes, which is suitable for use during codegen.

pub fn struct_lockstep_tails_erasing_lifetimes(
    self,
    source: Ty<'tcx>,
    target: Ty<'tcx>,
    param_env: ParamEnv<'tcx>
) -> (Ty<'tcx>, Ty<'tcx>)
[src]

Same as applying struct_tail on source and target, but only keeps going as long as the two types are instances of the same structure definitions. For (Foo<Foo<T>>, Foo<dyn Trait>), the result will be (Foo<T>, Trait), whereas struct_tail produces T, and Trait, respectively.

Should only be called if the types have no inference variables and do not need their lifetimes preserved (e.g., as part of codegen); otherwise, normalization attempt may cause compiler bugs.

pub fn struct_lockstep_tails_with_normalize(
    self,
    source: Ty<'tcx>,
    target: Ty<'tcx>,
    normalize: impl Fn(Ty<'tcx>) -> Ty<'tcx>
) -> (Ty<'tcx>, Ty<'tcx>)
[src]

Same as applying struct_tail on source and target, but only keeps going as long as the two types are instances of the same structure definitions. For (Foo<Foo<T>>, Foo<dyn Trait>), the result will be (Foo<T>, Trait), whereas struct_tail produces T, and Trait, respectively.

See also struct_lockstep_tails_erasing_lifetimes, which is suitable for use during codegen.

pub fn calculate_dtor(
    self,
    adt_did: DefId,
    validate: impl Fn(Self, DefId) -> Result<(), ErrorReported>
) -> Option<Destructor>
[src]

Calculate the destructor of a given type.

pub fn destructor_constraints(self, def: &'tcx AdtDef) -> Vec<GenericArg<'tcx>>[src]

Returns the set of types that are required to be alive in order to run the destructor of def (see RFCs 769 and 1238).

Note that this returns only the constraints for the destructor of def itself. For the destructors of the contents, you need adt_dtorck_constraint.

pub fn is_closure(self, def_id: DefId) -> bool[src]

Returns true if def_id refers to a closure (e.g., |x| x * 2). Note that closures have a DefId, but the closure expression also has a HirId that is located within the context where the closure appears (and, sadly, a corresponding NodeId, since those are not yet phased out). The parent of the closure's DefId will also be the context where it appears.

pub fn is_trait(self, def_id: DefId) -> bool[src]

Returns true if def_id refers to a trait (i.e., trait Foo { ... }).

pub fn is_trait_alias(self, def_id: DefId) -> bool[src]

Returns true if def_id refers to a trait alias (i.e., trait Foo = ...;), and false otherwise.

pub fn is_constructor(self, def_id: DefId) -> bool[src]

Returns true if this DefId refers to the implicit constructor for a tuple struct like struct Foo(u32), and false otherwise.

pub fn closure_base_def_id(self, def_id: DefId) -> DefId[src]

Given the def-ID of a fn or closure, returns the def-ID of the innermost fn item that the closure is contained within. This is a significant DefId because, when we do type-checking, we type-check this fn item and all of its (transitive) closures together. Therefore, when we fetch the typeck the closure, for example, we really wind up fetching the typeck the enclosing fn item.

pub fn closure_env_ty(
    self,
    closure_def_id: DefId,
    closure_substs: SubstsRef<'tcx>
) -> Option<Binder<Ty<'tcx>>>
[src]

Given the DefId and substs a closure, creates the type of self argument that the closure expects. For example, for a Fn closure, this would return a reference type &T where T = closure_ty.

Returns None if this closure's kind has not yet been inferred. This should only be possible during type checking.

Note that the return value is a late-bound region and hence wrapped in a binder.

pub fn is_static(self, def_id: DefId) -> bool[src]

Returns true if the node pointed to by def_id is a static item.

pub fn is_thread_local_static(self, def_id: DefId) -> bool[src]

Returns true if this is a static item with the #[thread_local] attribute.

pub fn is_mutable_static(self, def_id: DefId) -> bool[src]

Returns true if the node pointed to by def_id is a mutable static item.

pub fn static_ptr_ty(self, def_id: DefId) -> Ty<'tcx>[src]

Get the type of the pointer to the static that we use in MIR.

pub fn try_expand_impl_trait_type(
    self,
    def_id: DefId,
    substs: SubstsRef<'tcx>
) -> Result<Ty<'tcx>, Ty<'tcx>>
[src]

Expands the given impl trait type, stopping if the type is recursive.

impl<'tcx> TyCtxt<'tcx>[src]

pub fn typeck_opt_const_arg(
    self,
    def: WithOptConstParam<LocalDefId>
) -> &'tcx TypeckResults<'tcx>
[src]

pub fn alloc_steal_mir(self, mir: Body<'tcx>) -> &'tcx Steal<Body<'tcx>>[src]

pub fn alloc_steal_promoted(
    self,
    promoted: IndexVec<Promoted, Body<'tcx>>
) -> &'tcx Steal<IndexVec<Promoted, Body<'tcx>>>
[src]

pub fn alloc_adt_def(
    self,
    did: DefId,
    kind: AdtKind,
    variants: IndexVec<VariantIdx, VariantDef>,
    repr: ReprOptions
) -> &'tcx AdtDef
[src]

pub fn intern_const_alloc(self, alloc: Allocation) -> &'tcx Allocation[src]

pub fn allocate_bytes(self, bytes: &[u8]) -> AllocId[src]

Allocates a read-only byte or string literal for mir::interpret.

pub fn intern_stability(self, stab: Stability) -> &'tcx Stability[src]

pub fn intern_const_stability(
    self,
    stab: ConstStability
) -> &'tcx ConstStability
[src]

pub fn intern_layout(self, layout: Layout) -> &'tcx Layout[src]

pub fn layout_scalar_valid_range(
    self,
    def_id: DefId
) -> (Bound<u128>, Bound<u128>)
[src]

Returns a range of the start/end indices specified with the rustc_layout_scalar_valid_range attribute.

pub fn lift<T: Lift<'tcx>>(self, value: T) -> Option<T::Lifted>[src]

pub fn create_global_ctxt(
    s: &'tcx Session,
    lint_store: Lrc<dyn Any + Send + Sync>,
    local_providers: Providers,
    extern_providers: Providers,
    arena: &'tcx WorkerLocal<Arena<'tcx>>,
    resolutions: ResolverOutputs,
    krate: &'tcx Crate<'tcx>,
    definitions: &'tcx Definitions,
    dep_graph: DepGraph,
    on_disk_query_result_cache: Option<OnDiskCache<'tcx>>,
    crate_name: &str,
    output_filenames: &OutputFilenames
) -> GlobalCtxt<'tcx>
[src]

Creates a type context and call the closure with a TyCtxt reference to the context. The closure enforces that the type context and any interned value (types, substs, etc.) can only be used while ty::tls has a valid reference to the context, to allow formatting values that need it.

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

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

pub fn ty_error_with_message<S: Into<MultiSpan>>(
    self,
    span: S,
    msg: &str
) -> Ty<'tcx>
[src]

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

pub fn const_error(self, ty: Ty<'tcx>) -> &'tcx Const<'tcx>[src]

Like err but for constants.

pub fn consider_optimizing<T: Fn() -> String>(self, msg: T) -> bool[src]

pub fn lib_features(self) -> &'tcx LibFeatures[src]

pub fn lang_items(self) -> &'tcx LanguageItems[src]

Obtain all lang items of this crate and all dependencies (recursively)

pub fn get_diagnostic_item(self, name: Symbol) -> Option<DefId>[src]

Obtain the given diagnostic item's DefId. Use is_diagnostic_item if you just want to compare against another DefId, since is_diagnostic_item is cheaper.

pub fn is_diagnostic_item(self, name: Symbol, did: DefId) -> bool[src]

Check whether the diagnostic item with the given name has the given DefId.

pub fn stability(self) -> &'tcx Index<'tcx>[src]

pub fn crates(self) -> &'tcx [CrateNum]ⓘ

Notable traits for &'_ [u8]

impl<'_> Read for &'_ [u8]impl<'_> Write for &'_ mut [u8]
[src]

pub fn allocator_kind(self) -> Option<AllocatorKind>[src]

pub fn features(self) -> &'tcx Features[src]

pub fn def_key(self, id: DefId) -> DefKey[src]

pub fn def_path(self, id: DefId) -> DefPath[src]

Converts a DefId into its fully expanded DefPath (every DefId is really just an interned DefPath).

Note that if id is not local to this crate, the result will be a non-local DefPath.

pub fn is_private_dep(self, cnum: CrateNum) -> bool[src]

Returns whether or not the crate with CrateNum 'cnum' is marked as a private dependency

pub fn def_path_hash(self, def_id: DefId) -> DefPathHash[src]

pub fn def_path_debug_str(self, def_id: DefId) -> String[src]

pub fn metadata_encoding_version(self) -> Vec<u8>[src]

pub fn encode_metadata(self) -> EncodedMetadata[src]

pub fn cstore_as_any(self) -> &'tcx dyn Any[src]

pub fn create_stable_hashing_context(self) -> StableHashingContext<'tcx>[src]

pub fn create_no_span_stable_hashing_context(self) -> StableHashingContext<'tcx>[src]

pub fn allocate_metadata_dep_nodes(self)[src]

pub fn serialize_query_result_cache<E>(
    self,
    encoder: &mut E
) -> Result<(), E::Error> where
    E: OpaqueEncoder, 
[src]

pub fn migrate_borrowck(self) -> bool[src]

If true, we should use the MIR-based borrowck, but also fall back on the AST borrowck if the MIR-based one errors.

pub fn borrowck_mode(self) -> BorrowckMode[src]

What mode(s) of borrowck should we run? AST? MIR? both? (Also considers the #![feature(nll)] setting.)

pub fn lazy_normalization(self) -> bool[src]

If true, we should use lazy normalization for constants, otherwise we still evaluate them eagerly.

pub fn local_crate_exports_generics(self) -> bool[src]

pub fn is_suitable_region(self, region: Region<'tcx>) -> Option<FreeRegionInfo>[src]

pub fn return_type_impl_or_dyn_traits(
    self,
    scope_def_id: LocalDefId
) -> Vec<&'tcx Ty<'tcx>>
[src]

Given a DefId for an fn, return all the dyn and impl traits in its return type.

pub fn return_type_impl_trait(
    self,
    scope_def_id: LocalDefId
) -> Option<(Ty<'tcx>, Span)>
[src]

pub fn is_bound_region_in_impl_item(
    self,
    suitable_region_binding_scope: LocalDefId
) -> bool
[src]

pub fn has_strict_asm_symbol_naming(self) -> bool[src]

Determines whether identifiers in the assembly have strict naming rules. Currently, only NVPTX* targets need it.

pub fn caller_location_ty(self) -> Ty<'tcx>[src]

Returns &'static core::panic::Location<'static>.

pub fn article_and_description(
    self,
    def_id: DefId
) -> (&'static str, &'static str)
[src]

Returns a displayable description and article for the given def_id (e.g. ("a", "struct")).

impl<'tcx> TyCtxt<'tcx>[src]

pub fn debug_stats(self) -> impl Debug + 'tcx[src]

impl<'tcx> TyCtxt<'tcx>[src]

pub fn mk_region(self, v: RegionKind) -> &'tcx RegionKind[src]

impl<'tcx> TyCtxt<'tcx>[src]

pub fn mk_const(self, v: Const<'tcx>) -> &'tcx Const<'tcx>[src]

impl<'tcx> TyCtxt<'tcx>[src]

pub fn _intern_type_list(self, v: &[Ty<'tcx>]) -> &'tcx List<Ty<'tcx>>[src]

pub fn _intern_substs(
    self,
    v: &[GenericArg<'tcx>]
) -> &'tcx List<GenericArg<'tcx>>
[src]

pub fn _intern_canonical_var_infos(
    self,
    v: &[CanonicalVarInfo<'tcx>]
) -> &'tcx List<CanonicalVarInfo<'tcx>>
[src]

pub fn _intern_poly_existential_predicates(
    self,
    v: &[Binder<ExistentialPredicate<'tcx>>]
) -> &'tcx List<Binder<ExistentialPredicate<'tcx>>>
[src]

pub fn _intern_predicates(
    self,
    v: &[Predicate<'tcx>]
) -> &'tcx List<Predicate<'tcx>>
[src]

pub fn _intern_projs(self, v: &[ProjectionKind]) -> &'tcx List<ProjectionKind>[src]

pub fn _intern_place_elems(
    self,
    v: &[PlaceElem<'tcx>]
) -> &'tcx List<PlaceElem<'tcx>>
[src]

impl<'tcx> TyCtxt<'tcx>[src]

pub fn safe_to_unsafe_fn_ty(self, sig: PolyFnSig<'tcx>) -> Ty<'tcx>[src]

Given a fn type, returns an equivalent unsafe fn type; that is, a fn type that is equivalent in every way for being unsafe.

pub fn signature_unclosure(
    self,
    sig: PolyFnSig<'tcx>,
    unsafety: Unsafety
) -> PolyFnSig<'tcx>
[src]

Given a closure signature, returns an equivalent fn signature. Detuples and so forth -- so e.g., if we have a sig with Fn<(u32, i32)> then you would get a fn(u32, i32). unsafety determines the unsafety of the fn signature. If you pass hir::Unsafety::Unsafe in the previous example, then you would get an unsafe fn (u32, i32). It cannot convert a closure that requires unsafe.

pub fn reuse_or_mk_region(
    self,
    r: Region<'tcx>,
    kind: RegionKind
) -> Region<'tcx>
[src]

Same a self.mk_region(kind), but avoids accessing the interners if *r == kind.

pub fn mk_ty(self, st: TyKind<'tcx>) -> Ty<'tcx>[src]

pub fn mk_predicate(self, kind: PredicateKind<'tcx>) -> Predicate<'tcx>[src]

pub fn reuse_or_mk_predicate(
    self,
    pred: Predicate<'tcx>,
    kind: PredicateKind<'tcx>
) -> Predicate<'tcx>
[src]

pub fn mk_mach_int(self, tm: IntTy) -> Ty<'tcx>[src]

pub fn mk_mach_uint(self, tm: UintTy) -> Ty<'tcx>[src]

pub fn mk_mach_float(self, tm: FloatTy) -> Ty<'tcx>[src]

pub fn mk_static_str(self) -> Ty<'tcx>[src]

pub fn mk_adt(self, def: &'tcx AdtDef, substs: SubstsRef<'tcx>) -> Ty<'tcx>[src]

pub fn mk_foreign(self, def_id: DefId) -> Ty<'tcx>[src]

fn mk_generic_adt(self, wrapper_def_id: DefId, ty_param: Ty<'tcx>) -> Ty<'tcx>[src]

pub fn mk_box(self, ty: Ty<'tcx>) -> Ty<'tcx>[src]

pub fn mk_lang_item(self, ty: Ty<'tcx>, item: LangItem) -> Option<Ty<'tcx>>[src]

pub fn mk_diagnostic_item(self, ty: Ty<'tcx>, name: Symbol) -> Option<Ty<'tcx>>[src]

pub fn mk_maybe_uninit(self, ty: Ty<'tcx>) -> Ty<'tcx>[src]

pub fn mk_ptr(self, tm: TypeAndMut<'tcx>) -> Ty<'tcx>[src]

pub fn mk_ref(self, r: Region<'tcx>, tm: TypeAndMut<'tcx>) -> Ty<'tcx>[src]

pub fn mk_mut_ref(self, r: Region<'tcx>, ty: Ty<'tcx>) -> Ty<'tcx>[src]

pub fn mk_imm_ref(self, r: Region<'tcx>, ty: Ty<'tcx>) -> Ty<'tcx>[src]

pub fn mk_mut_ptr(self, ty: Ty<'tcx>) -> Ty<'tcx>[src]

pub fn mk_imm_ptr(self, ty: Ty<'tcx>) -> Ty<'tcx>[src]

pub fn mk_nil_ptr(self) -> Ty<'tcx>[src]

pub fn mk_array(self, ty: Ty<'tcx>, n: u64) -> Ty<'tcx>[src]

pub fn mk_slice(self, ty: Ty<'tcx>) -> Ty<'tcx>[src]

pub fn intern_tup(self, ts: &[Ty<'tcx>]) -> Ty<'tcx>[src]

pub fn mk_tup<I: InternAs<[Ty<'tcx>], Ty<'tcx>>>(self, iter: I) -> I::Output[src]

pub fn mk_unit(self) -> Ty<'tcx>[src]

pub fn mk_diverging_default(self) -> Ty<'tcx>[src]

pub fn mk_fn_def(self, def_id: DefId, substs: SubstsRef<'tcx>) -> Ty<'tcx>[src]

pub fn mk_fn_ptr(self, fty: PolyFnSig<'tcx>) -> Ty<'tcx>[src]

pub fn mk_dynamic(
    self,
    obj: &'tcx List<Binder<ExistentialPredicate<'tcx>>>,
    reg: Region<'tcx>
) -> Ty<'tcx>
[src]

pub fn mk_projection(
    self,
    item_def_id: DefId,
    substs: SubstsRef<'tcx>
) -> Ty<'tcx>
[src]

pub fn mk_closure(
    self,
    closure_id: DefId,
    closure_substs: SubstsRef<'tcx>
) -> Ty<'tcx>
[src]

pub fn mk_generator(
    self,
    id: DefId,
    generator_substs: SubstsRef<'tcx>,
    movability: Movability
) -> Ty<'tcx>
[src]

pub fn mk_generator_witness(
    self,
    types: Binder<&'tcx List<Ty<'tcx>>>
) -> Ty<'tcx>
[src]

pub fn mk_ty_var(self, v: TyVid) -> Ty<'tcx>[src]

pub fn mk_const_var(self, v: ConstVid<'tcx>, ty: Ty<'tcx>) -> &'tcx Const<'tcx>[src]

pub fn mk_int_var(self, v: IntVid) -> Ty<'tcx>[src]

pub fn mk_float_var(self, v: FloatVid) -> Ty<'tcx>[src]

pub fn mk_ty_infer(self, it: InferTy) -> Ty<'tcx>[src]

pub fn mk_const_infer(
    self,
    ic: InferConst<'tcx>,
    ty: Ty<'tcx>
) -> &'tcx Const<'tcx>
[src]

pub fn mk_ty_param(self, index: u32, name: Symbol) -> Ty<'tcx>[src]

pub fn mk_const_param(
    self,
    index: u32,
    name: Symbol,
    ty: Ty<'tcx>
) -> &'tcx Const<'tcx>
[src]

pub fn mk_param_from_def(self, param: &GenericParamDef) -> GenericArg<'tcx>[src]

pub fn mk_opaque(self, def_id: DefId, substs: SubstsRef<'tcx>) -> Ty<'tcx>[src]

pub fn mk_place_field(
    self,
    place: Place<'tcx>,
    f: Field,
    ty: Ty<'tcx>
) -> Place<'tcx>
[src]

pub fn mk_place_deref(self, place: Place<'tcx>) -> Place<'tcx>[src]

pub fn mk_place_downcast(
    self,
    place: Place<'tcx>,
    adt_def: &'tcx AdtDef,
    variant_index: VariantIdx
) -> Place<'tcx>
[src]

pub fn mk_place_downcast_unnamed(
    self,
    place: Place<'tcx>,
    variant_index: VariantIdx
) -> Place<'tcx>
[src]

pub fn mk_place_index(self, place: Place<'tcx>, index: Local) -> Place<'tcx>[src]

pub fn mk_place_elem(
    self,
    place: Place<'tcx>,
    elem: PlaceElem<'tcx>
) -> Place<'tcx>
[src]

This method copies Place's projection, add an element and reintern it. Should not be used to build a full Place it's just a convenient way to grab a projection and modify it in flight.

pub fn intern_poly_existential_predicates(
    self,
    eps: &[Binder<ExistentialPredicate<'tcx>>]
) -> &'tcx List<Binder<ExistentialPredicate<'tcx>>>
[src]

pub fn intern_predicates(
    self,
    preds: &[Predicate<'tcx>]
) -> &'tcx List<Predicate<'tcx>>
[src]

pub fn intern_type_list(self, ts: &[Ty<'tcx>]) -> &'tcx List<Ty<'tcx>>[src]

pub fn intern_substs(
    self,
    ts: &[GenericArg<'tcx>]
) -> &'tcx List<GenericArg<'tcx>>
[src]

pub fn intern_projs(self, ps: &[ProjectionKind]) -> &'tcx List<ProjectionKind>[src]

pub fn intern_place_elems(
    self,
    ts: &[PlaceElem<'tcx>]
) -> &'tcx List<PlaceElem<'tcx>>
[src]

pub fn intern_canonical_var_infos(
    self,
    ts: &[CanonicalVarInfo<'tcx>]
) -> CanonicalVarInfos<'tcx>
[src]

pub fn mk_fn_sig<I>(
    self,
    inputs: I,
    output: I::Item,
    c_variadic: bool,
    unsafety: Unsafety,
    abi: Abi
) -> <<I as Iterator>::Item as InternIteratorElement<&'tcx TyS<'tcx>, FnSig<'tcx>>>::Output where
    I: Iterator<Item: InternIteratorElement<Ty<'tcx>, FnSig<'tcx>>>, 
[src]

pub fn mk_poly_existential_predicates<I: InternAs<[Binder<ExistentialPredicate<'tcx>>], &'tcx List<Binder<ExistentialPredicate<'tcx>>>>>(
    self,
    iter: I
) -> I::Output
[src]

pub fn mk_predicates<I: InternAs<[Predicate<'tcx>], &'tcx List<Predicate<'tcx>>>>(
    self,
    iter: I
) -> I::Output
[src]

pub fn mk_type_list<I: InternAs<[Ty<'tcx>], &'tcx List<Ty<'tcx>>>>(
    self,
    iter: I
) -> I::Output
[src]

pub fn mk_substs<I: InternAs<[GenericArg<'tcx>], &'tcx List<GenericArg<'tcx>>>>(
    self,
    iter: I
) -> I::Output
[src]

pub fn mk_place_elems<I: InternAs<[PlaceElem<'tcx>], &'tcx List<PlaceElem<'tcx>>>>(
    self,
    iter: I
) -> I::Output
[src]

pub fn mk_substs_trait(
    self,
    self_ty: Ty<'tcx>,
    rest: &[GenericArg<'tcx>]
) -> SubstsRef<'tcx>
[src]

pub fn maybe_lint_level_root_bounded(self, mut id: HirId, bound: HirId) -> HirId[src]

Walks upwards from id to find a node which might change lint levels with attributes. It stops at bound and just returns it if reached.

pub fn lint_level_at_node(
    self,
    lint: &'static Lint,
    mut id: HirId
) -> (Level, LintLevelSource)
[src]

pub fn struct_span_lint_hir(
    self,
    lint: &'static Lint,
    hir_id: HirId,
    span: impl Into<MultiSpan>,
    decorate: impl for<'a> FnOnce(LintDiagnosticBuilder<'a>)
)
[src]

pub fn struct_lint_node(
    self,
    lint: &'static Lint,
    id: HirId,
    decorate: impl for<'a> FnOnce(LintDiagnosticBuilder<'a>)
)
[src]

pub fn in_scope_traits(
    self,
    id: HirId
) -> Option<&'tcx StableVec<TraitCandidate>>
[src]

pub fn named_region(self, id: HirId) -> Option<Region>[src]

pub fn is_late_bound(self, id: HirId) -> bool[src]

pub fn object_lifetime_defaults(
    self,
    id: HirId
) -> Option<&'tcx [ObjectLifetimeDefault]>
[src]

impl<'tcx> TyCtxt<'tcx>[src]

pub fn typeck_body(self, body: BodyId) -> &'tcx TypeckResults<'tcx>[src]

pub fn body_owners(
    self
) -> impl Iterator<Item = LocalDefId> + Captures<'tcx> + 'tcx
[src]

Returns an iterator of the DefIds for all body-owners in this crate. If you would prefer to iterate over the bodies themselves, you can do self.hir().krate().body_ids.iter().

pub fn par_body_owners<F: Fn(LocalDefId) + Sync + Send>(self, f: F)[src]

pub fn provided_trait_methods(
    self,
    id: DefId
) -> impl 'tcx + Iterator<Item = &'tcx AssocItem>
[src]

fn item_name_from_hir(self, def_id: DefId) -> Option<Ident>[src]

fn item_name_from_def_id(self, def_id: DefId) -> Option<Symbol>[src]

pub fn item_name(self, id: DefId) -> Symbol[src]

Look up the name of an item across crates. This does not look at HIR.

When possible, this function should be used for cross-crate lookups over opt_item_name to avoid invalidating the incremental cache. If you need to handle items without a name, or HIR items that will not be serialized cross-crate, or if you need the span of the item, use opt_item_name instead.

pub fn opt_item_name(self, def_id: DefId) -> Option<Ident>[src]

Look up the name and span of an item or Node.

See item_name for more information.

pub fn opt_associated_item(self, def_id: DefId) -> Option<&'tcx AssocItem>[src]

pub fn field_index(
    self,
    hir_id: HirId,
    typeck_results: &TypeckResults<'_>
) -> usize
[src]

pub fn find_field_index(
    self,
    ident: Ident,
    variant: &VariantDef
) -> Option<usize>
[src]

pub fn impls_are_allowed_to_overlap(
    self,
    def_id1: DefId,
    def_id2: DefId
) -> Option<ImplOverlapKind>
[src]

Returns true if the impls are the same polarity and the trait either has no items or is annotated #[marker] and prevents item overrides.

pub fn expect_variant_res(self, res: Res) -> &'tcx VariantDef[src]

Returns ty::VariantDef if res refers to a struct, or variant or their constructors, panics otherwise.

pub fn instance_mir(self, instance: InstanceDef<'tcx>) -> &'tcx Body<'tcx>[src]

Returns the possibly-auto-generated MIR of a (DefId, Subst) pair.

pub fn get_attrs(self, did: DefId) -> Attributes<'tcx>[src]

Gets the attributes of a definition.

pub fn has_attr(self, did: DefId, attr: Symbol) -> bool[src]

Determines whether an item is annotated with an attribute.

pub fn trait_is_auto(self, trait_def_id: DefId) -> bool[src]

Returns true if this is an auto trait.

pub fn generator_layout(self, def_id: DefId) -> &'tcx GeneratorLayout<'tcx>[src]

pub fn trait_id_of_impl(self, def_id: DefId) -> Option<DefId>[src]

Given the DefId of an impl, returns the DefId of the trait it implements. If it implements no trait, returns None.

pub fn impl_of_method(self, def_id: DefId) -> Option<DefId>[src]

If the given defid describes a method belonging to an impl, returns the DefId of the impl that the method belongs to; otherwise, returns None.

pub fn span_of_impl(self, impl_did: DefId) -> Result<Span, Symbol>[src]

Looks up the span of impl_did if the impl is local; otherwise returns Err with the name of the crate containing the impl.

pub fn hygienic_eq(
    self,
    use_name: Ident,
    def_name: Ident,
    def_parent_def_id: DefId
) -> bool
[src]

Hygienically compares a use-site name (use_name) for a field or an associated item with its supposed definition name (def_name). The method also needs DefId of the supposed definition's parent/scope to perform comparison.

pub fn expansion_that_defined(self, scope: DefId) -> ExpnId[src]

pub fn adjust_ident(self, mut ident: Ident, scope: DefId) -> Ident[src]

pub fn adjust_ident_and_get_scope(
    self,
    mut ident: Ident,
    scope: DefId,
    block: HirId
) -> (Ident, DefId)
[src]

pub fn is_object_safe(self, key: DefId) -> bool[src]

Trait Implementations

impl<'tcx> Clone for TyCtxt<'tcx>[src]

impl<'tcx> Copy for TyCtxt<'tcx>[src]

impl<'tcx> DefIdTree for TyCtxt<'tcx>[src]

impl<'tcx> DepContext for TyCtxt<'tcx>[src]

type DepKind = DepKind

type StableHashingContext = StableHashingContext<'tcx>

impl<'tcx> DepNodeParams<TyCtxt<'tcx>> for ()[src]

impl<'tcx> DepNodeParams<TyCtxt<'tcx>> for DefId[src]

impl<'tcx> DepNodeParams<TyCtxt<'tcx>> for LocalDefId[src]

impl<'tcx> DepNodeParams<TyCtxt<'tcx>> for CrateNum[src]

impl<'tcx> DepNodeParams<TyCtxt<'tcx>> for (DefId, DefId)[src]

impl<'tcx> DepNodeParams<TyCtxt<'tcx>> for HirId[src]

impl<'tcx> Deref for TyCtxt<'tcx>[src]

type Target = &'tcx GlobalCtxt<'tcx>

The resulting type after dereferencing.

impl<'tcx> HasDataLayout for TyCtxt<'tcx>[src]

impl<'tcx> HasTyCtxt<'tcx> for TyCtxt<'tcx>[src]

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for trigger_delay_span_bug<'tcx>[src]

type Cache = DefaultCache<DefId, ()>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for hir_crate<'tcx>[src]

type Cache = DefaultCache<CrateNum, &'tcx Crate<'tcx>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for predicates_of<'tcx>[src]

type Cache = DefaultCache<DefId, GenericPredicates<'tcx>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for check_match<'tcx>[src]

type Cache = DefaultCache<DefId, ()>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for privacy_access_levels<'tcx>[src]

type Cache = DefaultCache<CrateNum, &'tcx AccessLevels<HirId>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for check_private_in_public<'tcx>[src]

type Cache = DefaultCache<CrateNum, ()>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for reachable_set<'tcx>[src]

type Cache = ArenaCache<'tcx, CrateNum, HashSet<LocalDefId, BuildHasherDefault<FxHasher>>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for region_scope_tree<'tcx>[src]

type Cache = DefaultCache<DefId, &'tcx ScopeTree>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for mir_shims<'tcx>[src]

type Cache = ArenaCache<'tcx, InstanceDef<'tcx>, Body<'tcx>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for symbol_name<'tcx>[src]

type Cache = DefaultCache<Instance<'tcx>, SymbolName<'tcx>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for def_kind<'tcx>[src]

type Cache = DefaultCache<DefId, DefKind>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for def_span<'tcx>[src]

type Cache = DefaultCache<DefId, Span>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for lookup_stability<'tcx>[src]

type Cache = DefaultCache<DefId, Option<&'tcx Stability>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for explicit_item_bounds<'tcx>[src]

type Cache = DefaultCache<DefId, &'tcx [(Predicate<'tcx>, Span)]>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for lookup_const_stability<'tcx>[src]

type Cache = DefaultCache<DefId, Option<&'tcx ConstStability>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for lookup_deprecation_entry<'tcx>[src]

type Cache = DefaultCache<DefId, Option<DeprecationEntry>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for item_attrs<'tcx>[src]

type Cache = DefaultCache<DefId, &'tcx [Attribute]>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for codegen_fn_attrs<'tcx>[src]

type Cache = ArenaCache<'tcx, DefId, CodegenFnAttrs>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for fn_arg_names<'tcx>[src]

type Cache = DefaultCache<DefId, &'tcx [Ident]>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for rendered_const<'tcx>[src]

type Cache = DefaultCache<DefId, String>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for impl_parent<'tcx>[src]

type Cache = DefaultCache<DefId, Option<DefId>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for trait_of_item<'tcx>[src]

type Cache = DefaultCache<DefId, Option<DefId>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for is_mir_available<'tcx>[src]

type Cache = DefaultCache<DefId, bool>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for vtable_methods<'tcx>[src]

type Cache = DefaultCache<Binder<TraitRef<'tcx>>, &'tcx [Option<(DefId, &'tcx List<GenericArg<'tcx>>)>]>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for item_bounds<'tcx>[src]

type Cache = DefaultCache<DefId, &'tcx List<Predicate<'tcx>>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for codegen_fulfill_obligation<'tcx>[src]

type Cache = DefaultCache<(ParamEnv<'tcx>, Binder<TraitRef<'tcx>>), Result<ImplSource<'tcx, ()>, ErrorReported>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for all_local_trait_impls<'tcx>[src]

type Cache = DefaultCache<CrateNum, &'tcx BTreeMap<DefId, Vec<HirId, Global>>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for trait_impls_of<'tcx>[src]

type Cache = ArenaCache<'tcx, DefId, TraitImpls>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for specialization_graph_of<'tcx>[src]

type Cache = ArenaCache<'tcx, DefId, Graph>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for object_safety_violations<'tcx>[src]

type Cache = DefaultCache<DefId, &'tcx [ObjectSafetyViolation]>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for param_env<'tcx>[src]

type Cache = DefaultCache<DefId, ParamEnv<'tcx>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for param_env_reveal_all_normalized<'tcx>[src]

type Cache = DefaultCache<DefId, ParamEnv<'tcx>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for is_copy_raw<'tcx>[src]

type Cache = DefaultCache<ParamEnvAnd<'tcx, &'tcx TyS<'tcx>>, bool>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for is_sized_raw<'tcx>[src]

type Cache = DefaultCache<ParamEnvAnd<'tcx, &'tcx TyS<'tcx>>, bool>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for is_freeze_raw<'tcx>[src]

type Cache = DefaultCache<ParamEnvAnd<'tcx, &'tcx TyS<'tcx>>, bool>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for projection_ty_from_predicates<'tcx>[src]

type Cache = DefaultCache<(DefId, DefId), Option<ProjectionTy<'tcx>>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for needs_drop_raw<'tcx>[src]

type Cache = DefaultCache<ParamEnvAnd<'tcx, &'tcx TyS<'tcx>>, bool>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for has_structural_eq_impls<'tcx>[src]

type Cache = DefaultCache<&'tcx TyS<'tcx>, bool>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for adt_drop_tys<'tcx>[src]

type Cache = DefaultCache<DefId, Result<&'tcx List<&'tcx TyS<'tcx>>, AlwaysRequiresDrop>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for layout_raw<'tcx>[src]

type Cache = DefaultCache<ParamEnvAnd<'tcx, &'tcx TyS<'tcx>>, Result<&'tcx Layout, LayoutError<'tcx>>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for dylib_dependency_formats<'tcx>[src]

type Cache = DefaultCache<CrateNum, &'tcx [(CrateNum, LinkagePreference)]>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for dependency_formats<'tcx>[src]

type Cache = DefaultCache<CrateNum, Rc<Vec<(CrateType, Vec<Linkage, Global>), Global>>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for is_compiler_builtins<'tcx>[src]

type Cache = DefaultCache<CrateNum, bool>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for has_global_allocator<'tcx>[src]

type Cache = DefaultCache<CrateNum, bool>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for has_panic_handler<'tcx>[src]

type Cache = DefaultCache<CrateNum, bool>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for is_profiler_runtime<'tcx>[src]

type Cache = DefaultCache<CrateNum, bool>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for native_libraries<'tcx>[src]

type Cache = DefaultCache<CrateNum, Rc<Vec<NativeLib, Global>>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for panic_strategy<'tcx>[src]

type Cache = DefaultCache<CrateNum, PanicStrategy>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for is_no_builtins<'tcx>[src]

type Cache = DefaultCache<CrateNum, bool>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for symbol_mangling_version<'tcx>[src]

type Cache = DefaultCache<CrateNum, SymbolManglingVersion>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for extern_crate<'tcx>[src]

type Cache = DefaultCache<DefId, Option<&'tcx ExternCrate>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for specializes<'tcx>[src]

type Cache = DefaultCache<(DefId, DefId), bool>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for in_scope_traits_map<'tcx>[src]

type Cache = DefaultCache<LocalDefId, Option<&'tcx HashMap<ItemLocalId, StableVec<TraitCandidate>, BuildHasherDefault<FxHasher>>>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for module_exports<'tcx>[src]

type Cache = DefaultCache<LocalDefId, Option<&'tcx [Export<LocalDefId>]>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for impl_defaultness<'tcx>[src]

type Cache = DefaultCache<DefId, Defaultness>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for check_item_well_formed<'tcx>[src]

type Cache = DefaultCache<LocalDefId, ()>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for check_trait_item_well_formed<'tcx>[src]

type Cache = DefaultCache<LocalDefId, ()>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for lint_levels<'tcx>[src]

type Cache = ArenaCache<'tcx, CrateNum, LintLevelMap>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for check_impl_item_well_formed<'tcx>[src]

type Cache = DefaultCache<LocalDefId, ()>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for reachable_non_generics<'tcx>[src]

type Cache = ArenaCache<'tcx, CrateNum, HashMap<DefId, SymbolExportLevel, BuildHasherDefault<FxHasher>>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for is_reachable_non_generic<'tcx>[src]

type Cache = DefaultCache<DefId, bool>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for is_unreachable_local_definition<'tcx>[src]

type Cache = DefaultCache<DefId, bool>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for upstream_monomorphizations<'tcx>[src]

type Cache = ArenaCache<'tcx, CrateNum, HashMap<DefId, HashMap<&'tcx List<GenericArg<'tcx>>, CrateNum, BuildHasherDefault<FxHasher>>, BuildHasherDefault<FxHasher>>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for upstream_monomorphizations_for<'tcx>[src]

type Cache = DefaultCache<DefId, Option<&'tcx HashMap<&'tcx List<GenericArg<'tcx>>, CrateNum, BuildHasherDefault<FxHasher>>>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for upstream_drop_glue_for<'tcx>[src]

type Cache = DefaultCache<&'tcx List<GenericArg<'tcx>>, Option<CrateNum>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for foreign_modules<'tcx>[src]

type Cache = DefaultCache<CrateNum, Rc<HashMap<DefId, ForeignModule, BuildHasherDefault<FxHasher>>>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for entry_fn<'tcx>[src]

type Cache = DefaultCache<CrateNum, Option<(LocalDefId, EntryFnType)>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for plugin_registrar_fn<'tcx>[src]

type Cache = DefaultCache<CrateNum, Option<DefId>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for parent_module_from_def_id<'tcx>[src]

type Cache = DefaultCache<LocalDefId, LocalDefId>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for proc_macro_decls_static<'tcx>[src]

type Cache = DefaultCache<CrateNum, Option<DefId>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for crate_disambiguator<'tcx>[src]

type Cache = DefaultCache<CrateNum, CrateDisambiguator>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for crate_hash<'tcx>[src]

type Cache = DefaultCache<CrateNum, Svh>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for crate_host_hash<'tcx>[src]

type Cache = DefaultCache<CrateNum, Option<Svh>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for original_crate_name<'tcx>[src]

type Cache = DefaultCache<CrateNum, Symbol>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for extra_filename<'tcx>[src]

type Cache = DefaultCache<CrateNum, String>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for crate_extern_paths<'tcx>[src]

type Cache = DefaultCache<CrateNum, Vec<PathBuf, Global>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for implementations_of_trait<'tcx>[src]

type Cache = DefaultCache<(CrateNum, DefId), &'tcx [(DefId, Option<SimplifiedTypeGen<DefId>>)]>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for all_trait_implementations<'tcx>[src]

type Cache = DefaultCache<CrateNum, &'tcx [(DefId, Option<SimplifiedTypeGen<DefId>>)]>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for dllimport_foreign_items<'tcx>[src]

type Cache = ArenaCache<'tcx, CrateNum, HashSet<DefId, BuildHasherDefault<FxHasher>>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for expn_that_defined<'tcx>[src]

type Cache = DefaultCache<DefId, ExpnId>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for is_dllimport_foreign_item<'tcx>[src]

type Cache = DefaultCache<DefId, bool>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for is_statically_included_foreign_item<'tcx>[src]

type Cache = DefaultCache<DefId, bool>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for native_library_kind<'tcx>[src]

type Cache = DefaultCache<DefId, Option<NativeLibKind>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for link_args<'tcx>[src]

type Cache = DefaultCache<CrateNum, Rc<Vec<String, Global>>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for resolve_lifetimes<'tcx>[src]

type Cache = ArenaCache<'tcx, CrateNum, ResolveLifetimes>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for named_region_map<'tcx>[src]

type Cache = DefaultCache<LocalDefId, Option<&'tcx HashMap<ItemLocalId, Region, BuildHasherDefault<FxHasher>>>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for is_late_bound_map<'tcx>[src]

type Cache = DefaultCache<LocalDefId, Option<&'tcx HashSet<ItemLocalId, BuildHasherDefault<FxHasher>>>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for object_lifetime_defaults_map<'tcx>[src]

type Cache = DefaultCache<LocalDefId, Option<&'tcx HashMap<ItemLocalId, Vec<Set1<Region>, Global>, BuildHasherDefault<FxHasher>>>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for visibility<'tcx>[src]

type Cache = DefaultCache<DefId, Visibility>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for dep_kind<'tcx>[src]

type Cache = DefaultCache<CrateNum, CrateDepKind>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for is_panic_runtime<'tcx>[src]

type Cache = DefaultCache<CrateNum, bool>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for crate_name<'tcx>[src]

type Cache = DefaultCache<CrateNum, Symbol>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for item_children<'tcx>[src]

type Cache = DefaultCache<DefId, &'tcx [Export<HirId>]>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for extern_mod_stmt_cnum<'tcx>[src]

type Cache = DefaultCache<LocalDefId, Option<CrateNum>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for get_lib_features<'tcx>[src]

type Cache = ArenaCache<'tcx, CrateNum, LibFeatures>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for defined_lib_features<'tcx>[src]

type Cache = DefaultCache<CrateNum, &'tcx [(Symbol, Option<Symbol>)]>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for get_lang_items<'tcx>[src]

type Cache = ArenaCache<'tcx, CrateNum, LanguageItems>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for all_diagnostic_items<'tcx>[src]

type Cache = ArenaCache<'tcx, CrateNum, HashMap<Symbol, DefId, BuildHasherDefault<FxHasher>>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for defined_lang_items<'tcx>[src]

type Cache = DefaultCache<CrateNum, &'tcx [(DefId, usize)]>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for diagnostic_items<'tcx>[src]

type Cache = ArenaCache<'tcx, CrateNum, HashMap<Symbol, DefId, BuildHasherDefault<FxHasher>>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for missing_lang_items<'tcx>[src]

type Cache = DefaultCache<CrateNum, &'tcx [LangItem]>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for mir_keys<'tcx>[src]

type Cache = ArenaCache<'tcx, CrateNum, HashSet<LocalDefId, BuildHasherDefault<FxHasher>>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for visible_parent_map<'tcx>[src]

type Cache = ArenaCache<'tcx, CrateNum, HashMap<DefId, DefId, BuildHasherDefault<FxHasher>>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for trimmed_def_paths<'tcx>[src]

type Cache = ArenaCache<'tcx, CrateNum, HashMap<DefId, Symbol, BuildHasherDefault<FxHasher>>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for missing_extern_crate_item<'tcx>[src]

type Cache = DefaultCache<CrateNum, bool>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for used_crate_source<'tcx>[src]

type Cache = DefaultCache<CrateNum, Rc<CrateSource>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for postorder_cnums<'tcx>[src]

type Cache = DefaultCache<CrateNum, &'tcx [CrateNum]>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for upvars_mentioned<'tcx>[src]

type Cache = DefaultCache<DefId, Option<&'tcx IndexMap<HirId, Upvar, BuildHasherDefault<FxHasher>>>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for maybe_unused_trait_import<'tcx>[src]

type Cache = DefaultCache<LocalDefId, bool>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for maybe_unused_extern_crates<'tcx>[src]

type Cache = DefaultCache<CrateNum, &'tcx [(LocalDefId, Span)]>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for names_imported_by_glob_use<'tcx>[src]

type Cache = DefaultCache<LocalDefId, &'tcx HashSet<Symbol, BuildHasherDefault<FxHasher>>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for stability_index<'tcx>[src]

type Cache = ArenaCache<'tcx, CrateNum, Index<'tcx>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for index_hir<'tcx>[src]

type Cache = DefaultCache<CrateNum, &'tcx IndexedHir<'tcx>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for mir_const_qualif<'tcx>[src]

type Cache = DefaultCache<DefId, ConstQualifs>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for all_crate_nums<'tcx>[src]

type Cache = DefaultCache<CrateNum, &'tcx [CrateNum]>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for all_traits<'tcx>[src]

type Cache = DefaultCache<CrateNum, &'tcx [DefId]>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for exported_symbols<'tcx>[src]

type Cache = DefaultCache<CrateNum, &'tcx [(ExportedSymbol<'tcx>, SymbolExportLevel)]>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for collect_and_partition_mono_items<'tcx>[src]

type Cache = DefaultCache<CrateNum, (&'tcx HashSet<DefId, BuildHasherDefault<FxHasher>>, &'tcx [CodegenUnit<'tcx>])>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for is_codegened_item<'tcx>[src]

type Cache = DefaultCache<DefId, bool>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for codegen_unit<'tcx>[src]

type Cache = DefaultCache<Symbol, &'tcx CodegenUnit<'tcx>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for unused_generic_params<'tcx>[src]

type Cache = DefaultCache<DefId, FiniteBitSet<u32>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for backend_optimization_level<'tcx>[src]

type Cache = DefaultCache<CrateNum, OptLevel>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for output_filenames<'tcx>[src]

type Cache = DefaultCache<CrateNum, Arc<OutputFilenames>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for normalize_projection_ty<'tcx>[src]

type Cache = DefaultCache<Canonical<'tcx, ParamEnvAnd<'tcx, ProjectionTy<'tcx>>>, Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, NormalizationResult<'tcx>>>, NoSolution>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for mir_const_qualif_const_arg<'tcx>[src]

type Cache = DefaultCache<(LocalDefId, DefId), ConstQualifs>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for normalize_generic_arg_after_erasing_regions<'tcx>[src]

type Cache = DefaultCache<ParamEnvAnd<'tcx, GenericArg<'tcx>>, GenericArg<'tcx>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for implied_outlives_bounds<'tcx>[src]

type Cache = DefaultCache<Canonical<'tcx, ParamEnvAnd<'tcx, &'tcx TyS<'tcx>>>, Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, Vec<OutlivesBound<'tcx>, Global>>>, NoSolution>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for dropck_outlives<'tcx>[src]

type Cache = DefaultCache<Canonical<'tcx, ParamEnvAnd<'tcx, &'tcx TyS<'tcx>>>, Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, DropckOutlivesResult<'tcx>>>, NoSolution>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for evaluate_obligation<'tcx>[src]

type Cache = DefaultCache<Canonical<'tcx, ParamEnvAnd<'tcx, Predicate<'tcx>>>, Result<EvaluationResult, OverflowError>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for evaluate_goal<'tcx>[src]

type Cache = DefaultCache<Canonical<'tcx, ChalkEnvironmentAndGoal<'tcx>>, Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, ()>>, NoSolution>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for type_implements_trait<'tcx>[src]

type Cache = DefaultCache<(DefId, &'tcx TyS<'tcx>, &'tcx List<GenericArg<'tcx>>, ParamEnv<'tcx>), bool>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for type_op_ascribe_user_type<'tcx>[src]

type Cache = DefaultCache<Canonical<'tcx, ParamEnvAnd<'tcx, AscribeUserType<'tcx>>>, Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, ()>>, NoSolution>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for type_op_eq<'tcx>[src]

type Cache = DefaultCache<Canonical<'tcx, ParamEnvAnd<'tcx, Eq<'tcx>>>, Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, ()>>, NoSolution>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for type_op_subtype<'tcx>[src]

type Cache = DefaultCache<Canonical<'tcx, ParamEnvAnd<'tcx, Subtype<'tcx>>>, Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, ()>>, NoSolution>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for type_op_prove_predicate<'tcx>[src]

type Cache = DefaultCache<Canonical<'tcx, ParamEnvAnd<'tcx, ProvePredicate<'tcx>>>, Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, ()>>, NoSolution>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for mir_built<'tcx>[src]

type Cache = DefaultCache<WithOptConstParam<LocalDefId>, &'tcx Steal<Body<'tcx>>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for type_op_normalize_ty<'tcx>[src]

type Cache = DefaultCache<Canonical<'tcx, ParamEnvAnd<'tcx, Normalize<&'tcx TyS<'tcx>>>>, Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, &'tcx TyS<'tcx>>>, NoSolution>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for type_op_normalize_predicate<'tcx>[src]

type Cache = DefaultCache<Canonical<'tcx, ParamEnvAnd<'tcx, Normalize<Predicate<'tcx>>>>, Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, Predicate<'tcx>>>, NoSolution>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for type_op_normalize_poly_fn_sig<'tcx>[src]

type Cache = DefaultCache<Canonical<'tcx, ParamEnvAnd<'tcx, Normalize<Binder<FnSig<'tcx>>>>>, Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, Binder<FnSig<'tcx>>>>, NoSolution>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for type_op_normalize_fn_sig<'tcx>[src]

type Cache = DefaultCache<Canonical<'tcx, ParamEnvAnd<'tcx, Normalize<FnSig<'tcx>>>>, Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, FnSig<'tcx>>>, NoSolution>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for subst_and_check_impossible_predicates<'tcx>[src]

type Cache = DefaultCache<(DefId, &'tcx List<GenericArg<'tcx>>), bool>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for method_autoderef_steps<'tcx>[src]

type Cache = DefaultCache<Canonical<'tcx, ParamEnvAnd<'tcx, &'tcx TyS<'tcx>>>, MethodAutoderefStepsResult<'tcx>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for supported_target_features<'tcx>[src]

type Cache = ArenaCache<'tcx, CrateNum, HashMap<String, Option<Symbol>, BuildHasherDefault<FxHasher>>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for instance_def_size_estimate<'tcx>[src]

type Cache = DefaultCache<InstanceDef<'tcx>, usize>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for features_query<'tcx>[src]

type Cache = DefaultCache<CrateNum, &'tcx Features>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for resolve_instance<'tcx>[src]

type Cache = DefaultCache<ParamEnvAnd<'tcx, (DefId, &'tcx List<GenericArg<'tcx>>)>, Result<Option<Instance<'tcx>>, ErrorReported>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for mir_const<'tcx>[src]

type Cache = DefaultCache<WithOptConstParam<LocalDefId>, &'tcx Steal<Body<'tcx>>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for resolve_instance_of_const_arg<'tcx>[src]

type Cache = DefaultCache<ParamEnvAnd<'tcx, (LocalDefId, DefId, &'tcx List<GenericArg<'tcx>>)>, Result<Option<Instance<'tcx>>, ErrorReported>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for normalize_opaque_types<'tcx>[src]

type Cache = DefaultCache<&'tcx List<Predicate<'tcx>>, &'tcx List<Predicate<'tcx>>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for mir_abstract_const<'tcx>[src]

type Cache = DefaultCache<DefId, Result<Option<&'tcx [Node<'tcx>]>, ErrorReported>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for mir_abstract_const_of_const_arg<'tcx>[src]

type Cache = DefaultCache<(LocalDefId, DefId), Result<Option<&'tcx [Node<'tcx>]>, ErrorReported>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for try_unify_abstract_consts<'tcx>[src]

type Cache = DefaultCache<((WithOptConstParam<DefId>, &'tcx List<GenericArg<'tcx>>), (WithOptConstParam<DefId>, &'tcx List<GenericArg<'tcx>>)), bool>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for mir_drops_elaborated_and_const_checked<'tcx>[src]

type Cache = DefaultCache<WithOptConstParam<LocalDefId>, &'tcx Steal<Body<'tcx>>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for mir_promoted<'tcx>[src]

type Cache = DefaultCache<WithOptConstParam<LocalDefId>, (&'tcx Steal<Body<'tcx>>, &'tcx Steal<IndexVec<Promoted, Body<'tcx>>>)>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for optimized_mir<'tcx>[src]

type Cache = DefaultCache<DefId, &'tcx Body<'tcx>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for hir_module_items<'tcx>[src]

type Cache = DefaultCache<LocalDefId, &'tcx ModuleItems>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for optimized_mir_of_const_arg<'tcx>[src]

type Cache = DefaultCache<(LocalDefId, DefId), &'tcx Body<'tcx>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for coverageinfo<'tcx>[src]

type Cache = ArenaCache<'tcx, DefId, CoverageInfo>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for covered_file_name<'tcx>[src]

type Cache = ArenaCache<'tcx, DefId, Option<Symbol>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for covered_code_regions<'tcx>[src]

type Cache = ArenaCache<'tcx, DefId, Vec<&'tcx CodeRegion, Global>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for promoted_mir<'tcx>[src]

type Cache = DefaultCache<DefId, &'tcx IndexVec<Promoted, Body<'tcx>>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for promoted_mir_of_const_arg<'tcx>[src]

type Cache = DefaultCache<(LocalDefId, DefId), &'tcx IndexVec<Promoted, Body<'tcx>>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for erase_regions_ty<'tcx>[src]

type Cache = DefaultCache<&'tcx TyS<'tcx>, &'tcx TyS<'tcx>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for wasm_import_module_map<'tcx>[src]

type Cache = ArenaCache<'tcx, CrateNum, HashMap<DefId, String, BuildHasherDefault<FxHasher>>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for predicates_defined_on<'tcx>[src]

type Cache = DefaultCache<DefId, GenericPredicates<'tcx>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for trait_explicit_predicates_and_bounds<'tcx>[src]

type Cache = DefaultCache<LocalDefId, GenericPredicates<'tcx>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for hir_owner<'tcx>[src]

type Cache = DefaultCache<LocalDefId, Option<&'tcx Owner<'tcx>>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for explicit_predicates_of<'tcx>[src]

type Cache = DefaultCache<DefId, GenericPredicates<'tcx>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for inferred_outlives_of<'tcx>[src]

type Cache = DefaultCache<DefId, &'tcx [(Predicate<'tcx>, Span)]>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for super_predicates_of<'tcx>[src]

type Cache = DefaultCache<DefId, GenericPredicates<'tcx>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for type_param_predicates<'tcx>[src]

type Cache = DefaultCache<(DefId, LocalDefId), GenericPredicates<'tcx>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for trait_def<'tcx>[src]

type Cache = ArenaCache<'tcx, DefId, TraitDef>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for adt_def<'tcx>[src]

type Cache = DefaultCache<DefId, &'tcx AdtDef>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for adt_destructor<'tcx>[src]

type Cache = DefaultCache<DefId, Option<Destructor>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for adt_sized_constraint<'tcx>[src]

type Cache = DefaultCache<DefId, AdtSizedConstraint<'tcx>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for adt_dtorck_constraint<'tcx>[src]

type Cache = DefaultCache<DefId, Result<DtorckConstraint<'tcx>, NoSolution>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for is_const_fn_raw<'tcx>[src]

type Cache = DefaultCache<DefId, bool>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for hir_owner_nodes<'tcx>[src]

type Cache = DefaultCache<LocalDefId, Option<&'tcx OwnerNodes<'tcx>>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for is_const_impl_raw<'tcx>[src]

type Cache = DefaultCache<DefId, bool>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for asyncness<'tcx>[src]

type Cache = DefaultCache<DefId, IsAsync>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for is_promotable_const_fn<'tcx>[src]

type Cache = DefaultCache<DefId, bool>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for is_foreign_item<'tcx>[src]

type Cache = DefaultCache<DefId, bool>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for static_mutability<'tcx>[src]

type Cache = DefaultCache<DefId, Option<Mutability>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for generator_kind<'tcx>[src]

type Cache = DefaultCache<DefId, Option<GeneratorKind>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for crate_variances<'tcx>[src]

type Cache = ArenaCache<'tcx, CrateNum, CrateVariancesMap<'tcx>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for variances_of<'tcx>[src]

type Cache = DefaultCache<DefId, &'tcx [Variance]>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for inferred_outlives_crate<'tcx>[src]

type Cache = ArenaCache<'tcx, CrateNum, CratePredicatesMap<'tcx>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for associated_item_def_ids<'tcx>[src]

type Cache = DefaultCache<DefId, &'tcx [DefId]>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for opt_const_param_of<'tcx>[src]

type Cache = DefaultCache<LocalDefId, Option<DefId>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for associated_item<'tcx>[src]

type Cache = ArenaCache<'tcx, DefId, AssocItem>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for associated_items<'tcx>[src]

type Cache = ArenaCache<'tcx, DefId, AssociatedItems<'tcx>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for impl_trait_ref<'tcx>[src]

type Cache = DefaultCache<DefId, Option<TraitRef<'tcx>>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for impl_polarity<'tcx>[src]

type Cache = DefaultCache<DefId, ImplPolarity>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for issue33140_self_ty<'tcx>[src]

type Cache = DefaultCache<DefId, Option<&'tcx TyS<'tcx>>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for inherent_impls<'tcx>[src]

type Cache = DefaultCache<DefId, &'tcx [DefId]>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for unsafety_check_result<'tcx>[src]

type Cache = DefaultCache<LocalDefId, &'tcx UnsafetyCheckResult>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for unsafety_check_result_for_const_arg<'tcx>[src]

type Cache = DefaultCache<(LocalDefId, DefId), &'tcx UnsafetyCheckResult>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for unsafe_derive_on_repr_packed<'tcx>[src]

type Cache = DefaultCache<LocalDefId, ()>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for fn_sig<'tcx>[src]

type Cache = DefaultCache<DefId, Binder<FnSig<'tcx>>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for type_of<'tcx>[src]

type Cache = DefaultCache<DefId, &'tcx TyS<'tcx>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for lint_mod<'tcx>[src]

type Cache = DefaultCache<LocalDefId, ()>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for check_mod_attrs<'tcx>[src]

type Cache = DefaultCache<LocalDefId, ()>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for check_mod_unstable_api_usage<'tcx>[src]

type Cache = DefaultCache<LocalDefId, ()>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for check_mod_const_bodies<'tcx>[src]

type Cache = DefaultCache<LocalDefId, ()>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for check_mod_loops<'tcx>[src]

type Cache = DefaultCache<LocalDefId, ()>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for check_mod_naked_functions<'tcx>[src]

type Cache = DefaultCache<LocalDefId, ()>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for check_mod_item_types<'tcx>[src]

type Cache = DefaultCache<LocalDefId, ()>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for check_mod_privacy<'tcx>[src]

type Cache = DefaultCache<LocalDefId, ()>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for check_mod_intrinsics<'tcx>[src]

type Cache = DefaultCache<LocalDefId, ()>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for check_mod_liveness<'tcx>[src]

type Cache = DefaultCache<LocalDefId, ()>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for analysis<'tcx>[src]

type Cache = DefaultCache<CrateNum, Result<(), ErrorReported>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for check_mod_impl_wf<'tcx>[src]

type Cache = DefaultCache<LocalDefId, ()>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for collect_mod_item_types<'tcx>[src]

type Cache = DefaultCache<LocalDefId, ()>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for coerce_unsized_info<'tcx>[src]

type Cache = DefaultCache<DefId, CoerceUnsizedInfo>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for typeck_item_bodies<'tcx>[src]

type Cache = DefaultCache<CrateNum, ()>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for typeck<'tcx>[src]

type Cache = DefaultCache<LocalDefId, &'tcx TypeckResults<'tcx>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for typeck_const_arg<'tcx>[src]

type Cache = DefaultCache<(LocalDefId, DefId), &'tcx TypeckResults<'tcx>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for diagnostic_only_typeck<'tcx>[src]

type Cache = DefaultCache<LocalDefId, &'tcx TypeckResults<'tcx>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for used_trait_imports<'tcx>[src]

type Cache = DefaultCache<LocalDefId, &'tcx HashSet<LocalDefId, BuildHasherDefault<FxHasher>>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for has_typeck_results<'tcx>[src]

type Cache = DefaultCache<DefId, bool>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for coherent_trait<'tcx>[src]

type Cache = DefaultCache<DefId, ()>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for generics_of<'tcx>[src]

type Cache = ArenaCache<'tcx, DefId, Generics>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for mir_borrowck<'tcx>[src]

type Cache = DefaultCache<LocalDefId, &'tcx BorrowCheckResult<'tcx>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for mir_borrowck_const_arg<'tcx>[src]

type Cache = DefaultCache<(LocalDefId, DefId), &'tcx BorrowCheckResult<'tcx>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for crate_inherent_impls<'tcx>[src]

type Cache = ArenaCache<'tcx, CrateNum, CrateInherentImpls>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for crate_inherent_impls_overlap_check<'tcx>[src]

type Cache = DefaultCache<CrateNum, ()>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for eval_to_allocation_raw<'tcx>[src]

type Cache = DefaultCache<ParamEnvAnd<'tcx, GlobalId<'tcx>>, Result<ConstAlloc<'tcx>, ErrorHandled>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for eval_to_const_value_raw<'tcx>[src]

type Cache = DefaultCache<ParamEnvAnd<'tcx, GlobalId<'tcx>>, Result<ConstValue<'tcx>, ErrorHandled>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for destructure_const<'tcx>[src]

type Cache = DefaultCache<ParamEnvAnd<'tcx, &'tcx Const<'tcx>>, DestructuredConst<'tcx>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for deref_const<'tcx>[src]

type Cache = DefaultCache<ParamEnvAnd<'tcx, &'tcx Const<'tcx>>, &'tcx Const<'tcx>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for const_caller_location<'tcx>[src]

type Cache = DefaultCache<(Symbol, u32, u32), ConstValue<'tcx>>

impl<'tcx> QueryAccessors<TyCtxt<'tcx>> for lit_to_const<'tcx>[src]

type Cache = DefaultCache<LitToConstInput<'tcx>, Result<&'tcx Const<'tcx>, LitToConstError>>

impl<'tcx> QueryContext for TyCtxt<'tcx>[src]

type Query = Query<'tcx>

pub fn start_query<R>(
    &self,
    token: QueryJobId<Self::DepKind>,
    diagnostics: Option<&Lock<ThinVec<Diagnostic>>>,
    compute: impl FnOnce(Self) -> R
) -> R
[src]

Executes a job by changing the ImplicitCtxt to point to the new query job while it executes. It returns the diagnostics captured during execution and the actual result.

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for trigger_delay_span_bug<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for hir_crate<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for predicates_of<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for check_match<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for privacy_access_levels<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for check_private_in_public<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for reachable_set<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for region_scope_tree<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for mir_shims<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for symbol_name<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for def_kind<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for def_span<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for lookup_stability<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for explicit_item_bounds<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for lookup_const_stability<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for lookup_deprecation_entry<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for item_attrs<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for codegen_fn_attrs<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for fn_arg_names<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for rendered_const<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for impl_parent<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for trait_of_item<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for is_mir_available<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for vtable_methods<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for item_bounds<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for codegen_fulfill_obligation<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for all_local_trait_impls<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for trait_impls_of<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for specialization_graph_of<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for object_safety_violations<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for param_env<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for param_env_reveal_all_normalized<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for is_copy_raw<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for is_sized_raw<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for is_freeze_raw<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for projection_ty_from_predicates<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for needs_drop_raw<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for has_structural_eq_impls<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for adt_drop_tys<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for layout_raw<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for dylib_dependency_formats<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for dependency_formats<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for is_compiler_builtins<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for has_global_allocator<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for has_panic_handler<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for is_profiler_runtime<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for native_libraries<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for panic_strategy<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for is_no_builtins<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for symbol_mangling_version<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for extern_crate<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for specializes<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for in_scope_traits_map<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for module_exports<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for impl_defaultness<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for check_item_well_formed<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for check_trait_item_well_formed<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for lint_levels<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for check_impl_item_well_formed<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for reachable_non_generics<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for is_reachable_non_generic<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for is_unreachable_local_definition<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for upstream_monomorphizations<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for upstream_monomorphizations_for<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for upstream_drop_glue_for<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for foreign_modules<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for entry_fn<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for plugin_registrar_fn<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for parent_module_from_def_id<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for proc_macro_decls_static<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for crate_disambiguator<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for crate_hash<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for crate_host_hash<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for original_crate_name<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for extra_filename<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for crate_extern_paths<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for implementations_of_trait<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for all_trait_implementations<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for dllimport_foreign_items<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for expn_that_defined<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for is_dllimport_foreign_item<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for is_statically_included_foreign_item<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for native_library_kind<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for link_args<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for resolve_lifetimes<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for named_region_map<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for is_late_bound_map<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for object_lifetime_defaults_map<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for visibility<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for dep_kind<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for is_panic_runtime<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for crate_name<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for item_children<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for extern_mod_stmt_cnum<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for get_lib_features<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for defined_lib_features<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for get_lang_items<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for all_diagnostic_items<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for defined_lang_items<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for diagnostic_items<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for missing_lang_items<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for mir_keys<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for visible_parent_map<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for trimmed_def_paths<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for missing_extern_crate_item<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for used_crate_source<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for postorder_cnums<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for upvars_mentioned<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for maybe_unused_trait_import<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for maybe_unused_extern_crates<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for names_imported_by_glob_use<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for stability_index<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for index_hir<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for mir_const_qualif<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for all_crate_nums<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for all_traits<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for exported_symbols<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for collect_and_partition_mono_items<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for is_codegened_item<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for codegen_unit<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for unused_generic_params<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for backend_optimization_level<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for output_filenames<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for normalize_projection_ty<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for mir_const_qualif_const_arg<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for normalize_generic_arg_after_erasing_regions<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for implied_outlives_bounds<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for dropck_outlives<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for evaluate_obligation<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for evaluate_goal<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for type_implements_trait<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for type_op_ascribe_user_type<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for type_op_eq<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for type_op_subtype<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for type_op_prove_predicate<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for mir_built<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for type_op_normalize_ty<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for type_op_normalize_predicate<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for type_op_normalize_poly_fn_sig<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for type_op_normalize_fn_sig<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for subst_and_check_impossible_predicates<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for method_autoderef_steps<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for supported_target_features<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for instance_def_size_estimate<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for features_query<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for resolve_instance<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for mir_const<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for resolve_instance_of_const_arg<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for normalize_opaque_types<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for mir_abstract_const<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for mir_abstract_const_of_const_arg<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for try_unify_abstract_consts<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for mir_drops_elaborated_and_const_checked<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for mir_promoted<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for optimized_mir<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for hir_module_items<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for optimized_mir_of_const_arg<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for coverageinfo<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for covered_file_name<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for covered_code_regions<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for promoted_mir<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for promoted_mir_of_const_arg<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for erase_regions_ty<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for wasm_import_module_map<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for predicates_defined_on<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for trait_explicit_predicates_and_bounds<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for hir_owner<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for explicit_predicates_of<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for inferred_outlives_of<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for super_predicates_of<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for type_param_predicates<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for trait_def<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for adt_def<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for adt_destructor<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for adt_sized_constraint<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for adt_dtorck_constraint<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for is_const_fn_raw<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for hir_owner_nodes<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for is_const_impl_raw<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for asyncness<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for is_promotable_const_fn<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for is_foreign_item<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for static_mutability<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for generator_kind<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for crate_variances<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for variances_of<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for inferred_outlives_crate<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for associated_item_def_ids<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for opt_const_param_of<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for associated_item<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for associated_items<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for impl_trait_ref<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for impl_polarity<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for issue33140_self_ty<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for inherent_impls<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for unsafety_check_result<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for unsafety_check_result_for_const_arg<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for unsafe_derive_on_repr_packed<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for fn_sig<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for type_of<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for lint_mod<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for check_mod_attrs<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for check_mod_unstable_api_usage<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for check_mod_const_bodies<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for check_mod_loops<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for check_mod_naked_functions<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for check_mod_item_types<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for check_mod_privacy<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for check_mod_intrinsics<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for check_mod_liveness<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for analysis<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for check_mod_impl_wf<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for collect_mod_item_types<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for coerce_unsized_info<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for typeck_item_bodies<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for typeck<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for typeck_const_arg<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for diagnostic_only_typeck<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for used_trait_imports<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for has_typeck_results<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for coherent_trait<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for generics_of<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for mir_borrowck<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for mir_borrowck_const_arg<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for crate_inherent_impls<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for crate_inherent_impls_overlap_check<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for eval_to_allocation_raw<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for eval_to_const_value_raw<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for destructure_const<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for deref_const<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for const_caller_location<'tcx>[src]

impl<'tcx> QueryDescription<TyCtxt<'tcx>> for lit_to_const<'tcx>[src]

impl<'tcx> StableHashingContextProvider<'tcx> for TyCtxt<'tcx>[src]

Auto Trait Implementations

impl<'tcx> !RefUnwindSafe for TyCtxt<'tcx>[src]

impl<'tcx> !Send for TyCtxt<'tcx>[src]

impl<'tcx> !Sync for TyCtxt<'tcx>[src]

impl<'tcx> Unpin for TyCtxt<'tcx>[src]

impl<'tcx> !UnwindSafe for TyCtxt<'tcx>[src]

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized, 
[src]

impl<'tcx, T> ArenaAllocatable<'tcx, ()> for T where
    T: Copy, 
[src]

impl<T> Borrow<T> for T where
    T: ?Sized, 
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized, 
[src]

impl<'a, T> Captures<'a> for T where
    T: ?Sized, 
[src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T> MaybeResult<T> for T[src]

type Error = !

impl<T> ToOwned for T where
    T: Clone, 
[src]

type Owned = T

The resulting type after obtaining ownership.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

impl<T> WithConstness for T[src]