Enum rustc::ty::maps::Query

pub enum Query {
    ty(DefId),
    generics(DefId),
    predicates(DefId),
    super_predicates(DefId),
    type_param_predicates((DefId, DefId)),
    trait_def(DefId),
    adt_def(DefId),
    adt_destructor(DefId),
    adt_sized_constraint(DefId),
    variances(DefId),
    associated_item_def_ids(DefId),
    associated_item(DefId),
    impl_trait_ref(DefId),
    inherent_impls(DefId),
    mir(DefId),
    mir_const_qualif(DefId),
    closure_kind(DefId),
    closure_type(DefId),
    custom_coerce_unsized_kind(DefId),
    typeck_tables(DefId),
    coherent_trait((CrateNum, DefId)),
    coherent_inherent_impls(CrateNum),
    monomorphic_const_eval(DefId),
}

🔬 This is a nightly-only experimental API. (rustc_private)

Variants

ty(DefId)

🔬 This is a nightly-only experimental API. (rustc_private)

Records the type of every item.

generics(DefId)

🔬 This is a nightly-only experimental API. (rustc_private)

Maps from the def-id of an item (trait/struct/enum/fn) to its associated generics and predicates.

predicates(DefId)

🔬 This is a nightly-only experimental API. (rustc_private)

super_predicates(DefId)

🔬 This is a nightly-only experimental API. (rustc_private)

Maps from the def-id 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).

type_param_predicates((DefId, DefId))

🔬 This is a nightly-only experimental API. (rustc_private)

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

trait_def(DefId)

🔬 This is a nightly-only experimental API. (rustc_private)

adt_def(DefId)

🔬 This is a nightly-only experimental API. (rustc_private)

adt_destructor(DefId)

🔬 This is a nightly-only experimental API. (rustc_private)

adt_sized_constraint(DefId)

🔬 This is a nightly-only experimental API. (rustc_private)

variances(DefId)

🔬 This is a nightly-only experimental API. (rustc_private)

Maps from def-id of a type or region parameter to its (inferred) variance.

associated_item_def_ids(DefId)

🔬 This is a nightly-only experimental API. (rustc_private)

Maps from an impl/trait def-id to a list of the def-ids of its items

associated_item(DefId)

🔬 This is a nightly-only experimental API. (rustc_private)

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

impl_trait_ref(DefId)

🔬 This is a nightly-only experimental API. (rustc_private)

inherent_impls(DefId)

🔬 This is a nightly-only experimental API. (rustc_private)

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.

mir(DefId)

🔬 This is a nightly-only experimental API. (rustc_private)

Maps from the def-id of a function/method or const/static to its MIR. Mutation is done at an item granularity to allow MIR optimization passes to function and still access cross-crate MIR (e.g. inlining or const eval).

Note that cross-crate MIR appears to be always borrowed (in the RefCell sense) to prevent accidental mutation.

mir_const_qualif(DefId)

🔬 This is a nightly-only experimental API. (rustc_private)

Maps DefId's that have an associated Mir to the result of the MIR qualify_consts pass. The actual meaning of the value isn't known except to the pass itself.

closure_kind(DefId)

🔬 This is a nightly-only experimental API. (rustc_private)

Records the type of each closure. The def ID is the ID of the expression defining the closure.

closure_type(DefId)

🔬 This is a nightly-only experimental API. (rustc_private)

Records the type of each closure. The def ID is the ID of the expression defining the closure.

custom_coerce_unsized_kind(DefId)

🔬 This is a nightly-only experimental API. (rustc_private)

Caches CoerceUnsized kinds for impls on custom types.

typeck_tables(DefId)

🔬 This is a nightly-only experimental API. (rustc_private)

coherent_trait((CrateNum, DefId))

🔬 This is a nightly-only experimental API. (rustc_private)

coherent_inherent_impls(CrateNum)

🔬 This is a nightly-only experimental API. (rustc_private)

monomorphic_const_eval(DefId)

🔬 This is a nightly-only experimental API. (rustc_private)

Results of evaluating monomorphic constants embedded in other items, such as enum variant explicit discriminants.

Methods

impl Query

fn describe(&self, tcx: TyCtxt) -> String

🔬 This is a nightly-only experimental API. (rustc_private)

Trait Implementations

impl Copy for Query

impl Clone for Query

fn clone(&self) -> Query

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Query

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.

impl PartialEq for Query

fn eq(&self, __arg_0: &Query) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, __arg_0: &Query) -> bool

This method tests for !=.

impl Eq for Query