[−][src]Enum rustc_middle::ty::query::Query

pub enum Query<'tcx> {
    trigger_delay_span_bug(DefId),
    hir_crate(CrateNum),
    index_hir(CrateNum),
    hir_module_items(LocalDefId),
    hir_owner(LocalDefId),
    hir_owner_nodes(LocalDefId),
    opt_const_param_of(LocalDefId),
    type_of(DefId),
    analysis(CrateNum),
    generics_of(DefId),
    predicates_of(DefId),
    projection_predicates(DefId),
    native_libraries(CrateNum),
    lint_levels(CrateNum),
    parent_module_from_def_id(LocalDefId),
    is_panic_runtime(CrateNum),
    mir_keys(CrateNum),
    mir_const_qualif(DefId),
    mir_const_qualif_const_arg((LocalDefId, DefId)),
    mir_built(WithOptConstParam<LocalDefId>),
    mir_const(WithOptConstParam<LocalDefId>),
    mir_drops_elaborated_and_const_checked(WithOptConstParam<LocalDefId>),
    mir_promoted(WithOptConstParam<LocalDefId>),
    optimized_mir(DefId),
    optimized_mir_of_const_arg((LocalDefId, DefId)),
    coverageinfo(DefId),
    promoted_mir(DefId),
    promoted_mir_of_const_arg((LocalDefId, DefId)),
    erase_regions_ty(Ty<'tcx>),
    wasm_import_module_map(CrateNum),
    predicates_defined_on(DefId),
    explicit_predicates_of(DefId),
    inferred_outlives_of(DefId),
    super_predicates_of(DefId),
    type_param_predicates((DefId, LocalDefId)),
    trait_def(DefId),
    adt_def(DefId),
    adt_destructor(DefId),
    adt_sized_constraint(DefId),
    adt_dtorck_constraint(DefId),
    is_const_fn_raw(DefId),
    is_const_impl_raw(DefId),
    asyncness(DefId),
    is_promotable_const_fn(DefId),
    const_fn_is_allowed_fn_ptr(DefId),
    is_foreign_item(DefId),
    static_mutability(DefId),
    generator_kind(DefId),
    crate_variances(CrateNum),
    variances_of(DefId),
    inferred_outlives_crate(CrateNum),
    associated_item_def_ids(DefId),
    associated_item(DefId),
    associated_items(DefId),
    impl_trait_ref(DefId),
    impl_polarity(DefId),
    issue33140_self_ty(DefId),
    inherent_impls(DefId),
    unsafety_check_result(LocalDefId),
    unsafety_check_result_for_const_arg((LocalDefId, DefId)),
    unsafe_derive_on_repr_packed(LocalDefId),
    fn_sig(DefId),
    lint_mod(LocalDefId),
    check_mod_attrs(LocalDefId),
    check_mod_unstable_api_usage(LocalDefId),
    check_mod_const_bodies(LocalDefId),
    check_mod_loops(LocalDefId),
    check_mod_item_types(LocalDefId),
    check_mod_privacy(LocalDefId),
    check_mod_intrinsics(LocalDefId),
    check_mod_liveness(LocalDefId),
    check_mod_impl_wf(LocalDefId),
    collect_mod_item_types(LocalDefId),
    coerce_unsized_info(DefId),
    typeck_item_bodies(CrateNum),
    typeck(LocalDefId),
    typeck_const_arg((LocalDefId, DefId)),
    diagnostic_only_typeck(LocalDefId),
    used_trait_imports(LocalDefId),
    has_typeck_results(DefId),
    coherent_trait(DefId),
    mir_borrowck(LocalDefId),
    mir_borrowck_const_arg((LocalDefId, DefId)),
    crate_inherent_impls(CrateNum),
    crate_inherent_impls_overlap_check(CrateNum),
    const_eval_raw(ParamEnvAnd<'tcx, GlobalId<'tcx>>),
    const_eval_validated(ParamEnvAnd<'tcx, GlobalId<'tcx>>),
    destructure_const(ParamEnvAnd<'tcx, &'tcx Const<'tcx>>),
    const_caller_location((Symbol, u32, u32)),
    lit_to_const(LitToConstInput<'tcx>),
    check_match(DefId),
    privacy_access_levels(CrateNum),
    check_private_in_public(CrateNum),
    reachable_set(CrateNum),
    region_scope_tree(DefId),
    mir_shims(InstanceDef<'tcx>),
    symbol_name(Instance<'tcx>),
    def_kind(DefId),
    def_span(DefId),
    lookup_stability(DefId),
    lookup_const_stability(DefId),
    lookup_deprecation_entry(DefId),
    item_attrs(DefId),
    codegen_fn_attrs(DefId),
    fn_arg_names(DefId),
    rendered_const(DefId),
    impl_parent(DefId),
    trait_of_item(DefId),
    is_mir_available(DefId),
    vtable_methods(PolyTraitRef<'tcx>),
    codegen_fulfill_obligation((ParamEnv<'tcx>, PolyTraitRef<'tcx>)),
    all_local_trait_impls(CrateNum),
    trait_impls_of(DefId),
    specialization_graph_of(DefId),
    object_safety_violations(DefId),
    param_env(DefId),
    param_env_reveal_all_normalized(DefId),
    is_copy_raw(ParamEnvAnd<'tcx, Ty<'tcx>>),
    is_sized_raw(ParamEnvAnd<'tcx, Ty<'tcx>>),
    is_freeze_raw(ParamEnvAnd<'tcx, Ty<'tcx>>),
    needs_drop_raw(ParamEnvAnd<'tcx, Ty<'tcx>>),
    has_structural_eq_impls(Ty<'tcx>),
    adt_drop_tys(DefId),
    layout_raw(ParamEnvAnd<'tcx, Ty<'tcx>>),
    dylib_dependency_formats(CrateNum),
    dependency_formats(CrateNum),
    is_compiler_builtins(CrateNum),
    has_global_allocator(CrateNum),
    has_panic_handler(CrateNum),
    is_profiler_runtime(CrateNum),
    panic_strategy(CrateNum),
    is_no_builtins(CrateNum),
    symbol_mangling_version(CrateNum),
    extern_crate(DefId),
    specializes((DefId, DefId)),
    in_scope_traits_map(LocalDefId),
    module_exports(LocalDefId),
    impl_defaultness(DefId),
    check_item_well_formed(LocalDefId),
    check_trait_item_well_formed(LocalDefId),
    check_impl_item_well_formed(LocalDefId),
    reachable_non_generics(CrateNum),
    is_reachable_non_generic(DefId),
    is_unreachable_local_definition(DefId),
    upstream_monomorphizations(CrateNum),
    upstream_monomorphizations_for(DefId),
    upstream_drop_glue_for(SubstsRef<'tcx>),
    foreign_modules(CrateNum),
    entry_fn(CrateNum),
    plugin_registrar_fn(CrateNum),
    proc_macro_decls_static(CrateNum),
    crate_disambiguator(CrateNum),
    crate_hash(CrateNum),
    crate_host_hash(CrateNum),
    original_crate_name(CrateNum),
    extra_filename(CrateNum),
    crate_extern_paths(CrateNum),
    implementations_of_trait((CrateNum, DefId)),
    all_trait_implementations(CrateNum),
    dllimport_foreign_items(CrateNum),
    is_dllimport_foreign_item(DefId),
    is_statically_included_foreign_item(DefId),
    native_library_kind(DefId),
    link_args(CrateNum),
    resolve_lifetimes(CrateNum),
    named_region_map(LocalDefId),
    is_late_bound_map(LocalDefId),
    object_lifetime_defaults_map(LocalDefId),
    visibility(DefId),
    dep_kind(CrateNum),
    crate_name(CrateNum),
    item_children(DefId),
    extern_mod_stmt_cnum(LocalDefId),
    get_lib_features(CrateNum),
    defined_lib_features(CrateNum),
    get_lang_items(CrateNum),
    all_diagnostic_items(CrateNum),
    defined_lang_items(CrateNum),
    diagnostic_items(CrateNum),
    missing_lang_items(CrateNum),
    visible_parent_map(CrateNum),
    missing_extern_crate_item(CrateNum),
    used_crate_source(CrateNum),
    postorder_cnums(CrateNum),
    upvars_mentioned(DefId),
    maybe_unused_trait_import(LocalDefId),
    maybe_unused_extern_crates(CrateNum),
    names_imported_by_glob_use(LocalDefId),
    stability_index(CrateNum),
    all_crate_nums(CrateNum),
    all_traits(CrateNum),
    exported_symbols(CrateNum),
    collect_and_partition_mono_items(CrateNum),
    is_codegened_item(DefId),
    codegen_unit(Symbol),
    unused_generic_params(DefId),
    backend_optimization_level(CrateNum),
    output_filenames(CrateNum),
    normalize_projection_ty(CanonicalProjectionGoal<'tcx>),
    normalize_generic_arg_after_erasing_regions(ParamEnvAnd<'tcx, GenericArg<'tcx>>),
    implied_outlives_bounds(CanonicalTyGoal<'tcx>),
    dropck_outlives(CanonicalTyGoal<'tcx>),
    evaluate_obligation(CanonicalPredicateGoal<'tcx>),
    evaluate_goal(ChalkCanonicalGoal<'tcx>),
    type_implements_trait((DefId, Ty<'tcx>, SubstsRef<'tcx>, ParamEnv<'tcx>)),
    type_op_ascribe_user_type(CanonicalTypeOpAscribeUserTypeGoal<'tcx>),
    type_op_eq(CanonicalTypeOpEqGoal<'tcx>),
    type_op_subtype(CanonicalTypeOpSubtypeGoal<'tcx>),
    type_op_prove_predicate(CanonicalTypeOpProvePredicateGoal<'tcx>),
    type_op_normalize_ty(CanonicalTypeOpNormalizeGoal<'tcx, Ty<'tcx>>),
    type_op_normalize_predicate(CanonicalTypeOpNormalizeGoal<'tcx, Predicate<'tcx>>),
    type_op_normalize_poly_fn_sig(CanonicalTypeOpNormalizeGoal<'tcx, PolyFnSig<'tcx>>),
    type_op_normalize_fn_sig(CanonicalTypeOpNormalizeGoal<'tcx, FnSig<'tcx>>),
    subst_and_check_impossible_predicates((DefId, SubstsRef<'tcx>)),
    method_autoderef_steps(CanonicalTyGoal<'tcx>),
    supported_target_features(CrateNum),
    instance_def_size_estimate(InstanceDef<'tcx>),
    features_query(CrateNum),
    resolve_instance(ParamEnvAnd<'tcx, (DefId, SubstsRef<'tcx>)>),
    resolve_instance_of_const_arg(ParamEnvAnd<'tcx, (LocalDefId, DefId, SubstsRef<'tcx>)>),
    normalize_opaque_types(&'tcx List<Predicate<'tcx>>),
}

Variants

trigger_delay_span_bug(DefId)
hir_crate(CrateNum)
index_hir(CrateNum)
hir_module_items(LocalDefId)
hir_owner(LocalDefId)
hir_owner_nodes(LocalDefId)
opt_const_param_of(LocalDefId)
type_of(DefId)
analysis(CrateNum)
generics_of(DefId)
predicates_of(DefId)
projection_predicates(DefId)
native_libraries(CrateNum)
lint_levels(CrateNum)
parent_module_from_def_id(LocalDefId)
is_panic_runtime(CrateNum)
mir_keys(CrateNum)
mir_const_qualif(DefId)
mir_const_qualif_const_arg((LocalDefId, DefId))
mir_built(WithOptConstParam<LocalDefId>)
mir_const(WithOptConstParam<LocalDefId>)
mir_drops_elaborated_and_const_checked(WithOptConstParam<LocalDefId>)
mir_promoted(WithOptConstParam<LocalDefId>)
optimized_mir(DefId)
optimized_mir_of_const_arg((LocalDefId, DefId))
coverageinfo(DefId)
promoted_mir(DefId)
promoted_mir_of_const_arg((LocalDefId, DefId))
erase_regions_ty(Ty<'tcx>)
wasm_import_module_map(CrateNum)
predicates_defined_on(DefId)
explicit_predicates_of(DefId)
inferred_outlives_of(DefId)
super_predicates_of(DefId)
type_param_predicates((DefId, LocalDefId))
trait_def(DefId)
adt_def(DefId)
adt_destructor(DefId)
adt_sized_constraint(DefId)
adt_dtorck_constraint(DefId)
is_const_fn_raw(DefId)
is_const_impl_raw(DefId)
asyncness(DefId)
is_promotable_const_fn(DefId)
const_fn_is_allowed_fn_ptr(DefId)
is_foreign_item(DefId)
static_mutability(DefId)
generator_kind(DefId)
crate_variances(CrateNum)
variances_of(DefId)
inferred_outlives_crate(CrateNum)
associated_item_def_ids(DefId)
associated_item(DefId)
associated_items(DefId)
impl_trait_ref(DefId)
impl_polarity(DefId)
issue33140_self_ty(DefId)
inherent_impls(DefId)
unsafety_check_result(LocalDefId)
unsafety_check_result_for_const_arg((LocalDefId, DefId))
unsafe_derive_on_repr_packed(LocalDefId)
fn_sig(DefId)
lint_mod(LocalDefId)
check_mod_attrs(LocalDefId)
check_mod_unstable_api_usage(LocalDefId)
check_mod_const_bodies(LocalDefId)
check_mod_loops(LocalDefId)
check_mod_item_types(LocalDefId)
check_mod_privacy(LocalDefId)
check_mod_intrinsics(LocalDefId)
check_mod_liveness(LocalDefId)
check_mod_impl_wf(LocalDefId)
collect_mod_item_types(LocalDefId)
coerce_unsized_info(DefId)
typeck_item_bodies(CrateNum)
typeck(LocalDefId)
typeck_const_arg((LocalDefId, DefId))
diagnostic_only_typeck(LocalDefId)
used_trait_imports(LocalDefId)
has_typeck_results(DefId)
coherent_trait(DefId)
mir_borrowck(LocalDefId)
mir_borrowck_const_arg((LocalDefId, DefId))
crate_inherent_impls(CrateNum)
crate_inherent_impls_overlap_check(CrateNum)
const_eval_raw(ParamEnvAnd<'tcx, GlobalId<'tcx>>)
const_eval_validated(ParamEnvAnd<'tcx, GlobalId<'tcx>>)
destructure_const(ParamEnvAnd<'tcx, &'tcx Const<'tcx>>)
const_caller_location((Symbol, u32, u32))
lit_to_const(LitToConstInput<'tcx>)
check_match(DefId)
privacy_access_levels(CrateNum)
check_private_in_public(CrateNum)
reachable_set(CrateNum)
region_scope_tree(DefId)
mir_shims(InstanceDef<'tcx>)
symbol_name(Instance<'tcx>)
def_kind(DefId)
def_span(DefId)
lookup_stability(DefId)
lookup_const_stability(DefId)
lookup_deprecation_entry(DefId)
item_attrs(DefId)
codegen_fn_attrs(DefId)
fn_arg_names(DefId)
rendered_const(DefId)
impl_parent(DefId)
trait_of_item(DefId)
is_mir_available(DefId)
vtable_methods(PolyTraitRef<'tcx>)
codegen_fulfill_obligation((ParamEnv<'tcx>, PolyTraitRef<'tcx>))
all_local_trait_impls(CrateNum)
trait_impls_of(DefId)
specialization_graph_of(DefId)
object_safety_violations(DefId)
param_env(DefId)
param_env_reveal_all_normalized(DefId)
is_copy_raw(ParamEnvAnd<'tcx, Ty<'tcx>>)
is_sized_raw(ParamEnvAnd<'tcx, Ty<'tcx>>)
is_freeze_raw(ParamEnvAnd<'tcx, Ty<'tcx>>)
needs_drop_raw(ParamEnvAnd<'tcx, Ty<'tcx>>)
has_structural_eq_impls(Ty<'tcx>)
adt_drop_tys(DefId)
layout_raw(ParamEnvAnd<'tcx, Ty<'tcx>>)
dylib_dependency_formats(CrateNum)
dependency_formats(CrateNum)
is_compiler_builtins(CrateNum)
has_global_allocator(CrateNum)
has_panic_handler(CrateNum)
is_profiler_runtime(CrateNum)
panic_strategy(CrateNum)
is_no_builtins(CrateNum)
symbol_mangling_version(CrateNum)
extern_crate(DefId)
specializes((DefId, DefId))
in_scope_traits_map(LocalDefId)
module_exports(LocalDefId)
impl_defaultness(DefId)
check_item_well_formed(LocalDefId)
check_trait_item_well_formed(LocalDefId)
check_impl_item_well_formed(LocalDefId)
reachable_non_generics(CrateNum)
is_reachable_non_generic(DefId)
is_unreachable_local_definition(DefId)
upstream_monomorphizations(CrateNum)
upstream_monomorphizations_for(DefId)
upstream_drop_glue_for(SubstsRef<'tcx>)
foreign_modules(CrateNum)
entry_fn(CrateNum)
plugin_registrar_fn(CrateNum)
proc_macro_decls_static(CrateNum)
crate_disambiguator(CrateNum)
crate_hash(CrateNum)
crate_host_hash(CrateNum)
original_crate_name(CrateNum)
extra_filename(CrateNum)
crate_extern_paths(CrateNum)
implementations_of_trait((CrateNum, DefId))
all_trait_implementations(CrateNum)
dllimport_foreign_items(CrateNum)
is_dllimport_foreign_item(DefId)
is_statically_included_foreign_item(DefId)
native_library_kind(DefId)
resolve_lifetimes(CrateNum)
named_region_map(LocalDefId)
is_late_bound_map(LocalDefId)
object_lifetime_defaults_map(LocalDefId)
visibility(DefId)
dep_kind(CrateNum)
crate_name(CrateNum)
item_children(DefId)
extern_mod_stmt_cnum(LocalDefId)
get_lib_features(CrateNum)
defined_lib_features(CrateNum)
get_lang_items(CrateNum)
all_diagnostic_items(CrateNum)
defined_lang_items(CrateNum)
diagnostic_items(CrateNum)
missing_lang_items(CrateNum)
visible_parent_map(CrateNum)
missing_extern_crate_item(CrateNum)
used_crate_source(CrateNum)
postorder_cnums(CrateNum)
upvars_mentioned(DefId)
maybe_unused_trait_import(LocalDefId)
maybe_unused_extern_crates(CrateNum)
names_imported_by_glob_use(LocalDefId)
stability_index(CrateNum)
all_crate_nums(CrateNum)
all_traits(CrateNum)
exported_symbols(CrateNum)
collect_and_partition_mono_items(CrateNum)
is_codegened_item(DefId)
codegen_unit(Symbol)
unused_generic_params(DefId)
backend_optimization_level(CrateNum)
output_filenames(CrateNum)
normalize_projection_ty(CanonicalProjectionGoal<'tcx>)
normalize_generic_arg_after_erasing_regions(ParamEnvAnd<'tcx, GenericArg<'tcx>>)
implied_outlives_bounds(CanonicalTyGoal<'tcx>)
dropck_outlives(CanonicalTyGoal<'tcx>)
evaluate_obligation(CanonicalPredicateGoal<'tcx>)
evaluate_goal(ChalkCanonicalGoal<'tcx>)
type_implements_trait((DefId, Ty<'tcx>, SubstsRef<'tcx>, ParamEnv<'tcx>))
type_op_ascribe_user_type(CanonicalTypeOpAscribeUserTypeGoal<'tcx>)
type_op_eq(CanonicalTypeOpEqGoal<'tcx>)
type_op_subtype(CanonicalTypeOpSubtypeGoal<'tcx>)
type_op_prove_predicate(CanonicalTypeOpProvePredicateGoal<'tcx>)
type_op_normalize_ty(CanonicalTypeOpNormalizeGoal<'tcx, Ty<'tcx>>)
type_op_normalize_predicate(CanonicalTypeOpNormalizeGoal<'tcx, Predicate<'tcx>>)
type_op_normalize_poly_fn_sig(CanonicalTypeOpNormalizeGoal<'tcx, PolyFnSig<'tcx>>)
type_op_normalize_fn_sig(CanonicalTypeOpNormalizeGoal<'tcx, FnSig<'tcx>>)
subst_and_check_impossible_predicates((DefId, SubstsRef<'tcx>))
method_autoderef_steps(CanonicalTyGoal<'tcx>)
supported_target_features(CrateNum)
instance_def_size_estimate(InstanceDef<'tcx>)
features_query(CrateNum)
resolve_instance(ParamEnvAnd<'tcx, (DefId, SubstsRef<'tcx>)>)
resolve_instance_of_const_arg(ParamEnvAnd<'tcx, (LocalDefId, DefId, SubstsRef<'tcx>)>)
normalize_opaque_types(&'tcx List<Predicate<'tcx>>)

Implementations

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

pub fn name(&self) -> &'static str[src]

pub fn describe(&self, tcx: TyCtxt<'tcx>) -> Cow<'static, str>[src]

pub fn default_span(&self, tcx: TyCtxt<'tcx>, span: Span) -> Span[src]

Trait Implementations

impl<'tcx> Clone for Query<'tcx>[src]

impl<'tcx> Debug for Query<'tcx>[src]

impl<'a, 'tcx> HashStable<StableHashingContext<'a>> for Query<'tcx>[src]

Auto Trait Implementations

impl<'tcx> !RefUnwindSafe for Query<'tcx>

impl<'tcx> !Send for Query<'tcx>

impl<'tcx> !Sync for Query<'tcx>

impl<'tcx> Unpin for Query<'tcx>

impl<'tcx> !UnwindSafe for Query<'tcx>

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized, [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<Ctxt, T> DepNodeParams<Ctxt> for T where
    Ctxt: DepContext,
    T: HashStable<<Ctxt as DepContext>::StableHashingContext> + Debug, [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]