rustc_
middle
1.85.0-nightly
(d49be02cf 2024-12-02)
Module queries
Module Items
Modules
In rustc_
middle::
query
rustc_middle
::
query
Module
queries
Copy item path
Source
Modules
ยง
adt_
async_
destructor
adt_def
adt_
destructor
adt_
drop_
tys
adt_
dtorck_
constraint
adt_
significant_
drop_
tys
adt_
sized_
constraint
all_
diagnostic_
items
all_
local_
trait_
impls
alloc_
error_
handler_
kind
allocator_
kind
analysis
asm_
target_
features
associated_
item
associated_
item_
def_
ids
associated_
items
associated_
type_
for_
impl_
trait_
in_
trait
associated_
types_
for_
impl_
traits_
in_
associated_
fn
assumed_
wf_
types
assumed_
wf_
types_
for_
rpitit
asyncness
backend_
optimization_
level
check_
coroutine_
obligations
check_
expectations
check_
liveness
check_
match
check_
mod_
attrs
check_
mod_
const_
bodies
check_
mod_
deathness
check_
mod_
loops
check_
mod_
naked_
functions
check_
mod_
privacy
check_
mod_
type_
wf
check_
mod_
unstable_
api_
usage
check_
mono_
item
check_
private_
in_
public
check_
unsafety
check_
unused_
traits
check_
validity_
requirement
check_
well_
formed
clashing_
extern_
declarations
closure_
saved_
names_
of_
captured_
variables
closure_
typeinfo
codegen_
fn_
attrs
codegen_
select_
candidate
codegen_
unit
coerce_
unsized_
info
coherent_
trait
collect_
and_
partition_
mono_
items
collect_
return_
position_
impl_
trait_
in_
trait_
tys
compare_
impl_
item
const_
conditions
const_
param_
default
constness
coroutine_
by_
move_
body_
def_
id
coroutine_
for_
closure
coroutine_
kind
coverage_
attr_
on
coverage_
ids_
info
crate_
extern_
paths
crate_
for_
resolver
crate_
hash
crate_
host_
hash
crate_
incoherent_
impls
crate_
inherent_
impls
crate_
inherent_
impls_
overlap_
check
crate_
inherent_
impls_
validity_
check
crate_
name
crate_
variances
crates
cross_
crate_
inlinable
debugger_
visualizers
deduced_
param_
attrs
def_
ident_
span
def_
kind
def_
span
defaultness
defined_
lang_
items
dep_
kind
dependency_
formats
destructure_
const
diagnostic_
hir_
wf_
check
diagnostic_
items
diagnostic_
only_
typeck
doc_
link_
resolutions
doc_
link_
traits_
in_
scope
dropck_
outlives
dylib_
dependency_
formats
dyn_
compatibility_
violations
early_
lint_
checks
effective_
visibilities
entry_
fn
erase_
regions_
ty
eval_
static_
initializer
eval_
to_
allocation_
raw
eval_
to_
const_
value_
raw
eval_
to_
valtree
evaluate_
obligation
explicit_
implied_
const_
bounds
explicit_
implied_
predicates_
of
explicit_
item_
bounds
explicit_
item_
super_
predicates
explicit_
predicates_
of
explicit_
super_
predicates_
of
explicit_
supertraits_
containing_
assoc_
item
expn_
that_
defined
exported_
symbols
extern_
crate
extern_
mod_
stmt_
cnum
extra_
filename
features_
query
first_
method_
vtable_
slot
fn_
abi_
of_
fn_
ptr
fn_
abi_
of_
instance
fn_
arg_
names
fn_sig
foreign_
modules
generics_
of
generics_
require_
sized_
self
get_
lang_
items
global_
backend_
features
has_
alloc_
error_
handler
has_
ffi_
unwind_
calls
has_
global_
allocator
has_
panic_
handler
has_
significant_
drop_
raw
has_
structural_
eq_
impl
hir_
attrs
hir_
crate
hir_
crate_
items
hir_
module_
items
hir_
owner_
parent
impl_
item_
implementor_
ids
impl_
parent
impl_
super_
outlives
impl_
trait_
header
implementations_
of_
trait
implied_
outlives_
bounds
implied_
outlives_
bounds_
compat
implied_
target_
features
in_
scope_
traits_
map
incoherent_
impls
inferred_
outlives_
crate
inferred_
outlives_
of
inhabited_
predicate_
adt
inhabited_
predicate_
type
inherent_
impls
inherit_
sig_
for_
delegation_
item
instantiate_
and_
check_
impossible_
predicates
intrinsic_
raw
is_
codegened_
item
is_
compiler_
builtins
is_
copy_
raw
is_
ctfe_
mir_
available
is_
doc_
hidden
is_
doc_
notable_
trait
is_
dyn_
compatible
is_
freeze_
raw
is_
impossible_
associated_
item
is_
late_
bound_
map
is_
mir_
available
is_
no_
builtins
is_
panic_
runtime
is_
private_
dep
is_
profiler_
runtime
is_
promotable_
const_
fn
is_
reachable_
non_
generic
is_
sized_
raw
is_
unpin_
raw
is_
unreachable_
local_
definition
item_
attrs
item_
bounds
item_
non_
self_
assumptions
item_
super_
predicates
items_
of_
instance
late_
bound_
vars_
map
layout_
of
lib_
features
limits
lint_
expectations
lint_
mod
lints_
that_
dont_
need_
to_
run
list_
significant_
drop_
tys
lit_
to_
const
live_
symbols_
and_
ignored_
derived_
traits
local_
def_
id_
to_
hir_
id
lookup_
const_
stability
lookup_
default_
body_
stability
lookup_
deprecation_
entry
lookup_
stability
maybe_
unused_
trait_
imports
method_
autoderef_
steps
mir_
borrowck
mir_
built
mir_
callgraph_
reachable
mir_
const_
qualif
mir_
coroutine_
witnesses
mir_
drops_
elaborated_
and_
const_
checked
mir_
for_
ctfe
mir_
inliner_
callees
mir_
keys
mir_
promoted
mir_
shims
missing_
extern_
crate_
item
missing_
lang_
items
module_
children
named_
variable_
map
names_
imported_
by_
glob_
use
native_
libraries
native_
library
needs_
async_
drop_
raw
needs_
drop_
raw
normalize_
canonicalized_
inherent_
projection_
ty
normalize_
canonicalized_
projection_
ty
normalize_
canonicalized_
weak_
ty
num_
extern_
def_
ids
object_
lifetime_
default
opaque_
captured_
lifetimes
opaque_
ty_
origin
opaque_
types_
defined_
by
opt_
hir_
owner_
nodes
optimized_
mir
orphan_
check_
impl
output_
filenames
own_
existential_
vtable_
entries
panic_
in_
drop_
strategy
param_
env
param_
env_
normalized_
for_
post_
analysis
params_
in_
repr
postorder_
cnums
predicates_
of
proc_
macro_
decls_
static
promoted_
mir
reachable_
non_
generics
reachable_
set
region_
scope_
tree
registered_
tools
rendered_
const
rendered_
precise_
capturing_
args
representability
representability_
adt_
ty
required_
panic_
strategy
resolutions
resolve_
bound_
vars
resolve_
instance_
raw
resolver_
for_
lowering_
raw
reveal_
opaque_
types_
in_
bounds
rust_
target_
features
self_
ty_
of_
trait_
impl_
enabling_
order_
dep_
trait_
object_
hack
shallow_
lint_
levels_
on
should_
inherit_
track_
caller
size_
estimate
skip_
move_
check_
fns
source_
span
specialization_
enabled_
in
specialization_
graph_
of
specializes
stability_
implications
stability_
index
stripped_
cfg_
items
supertrait_
vtable_
slot
symbol_
mangling_
version
symbol_
name
tag_
for_
variant
thir_
abstract_
const
thir_
body
trait_
def
trait_
explicit_
predicates_
and_
bounds
trait_
impls_
in_
crate
trait_
impls_
of
traits
trigger_
delayed_
bug
trimmed_
def_
paths
try_
normalize_
generic_
arg_
after_
erasing_
regions
type_
alias_
is_
lazy
type_of
type_
of_
opaque
type_
op_
ascribe_
user_
type
type_
op_
normalize_
clause
type_
op_
normalize_
fn_
sig
type_
op_
normalize_
poly_
fn_
sig
type_
op_
normalize_
ty
type_
op_
prove_
predicate
type_
param_
predicates
typeck
unsizing_
params_
for_
adt
unused_
generic_
params
upstream_
async_
drop_
glue_
for
upstream_
drop_
glue_
for
upstream_
monomorphizations
upstream_
monomorphizations_
for
upvars_
mentioned
used_
crate_
source
used_
crates
used_
trait_
imports
valtree_
to_
const_
val
variances_
of
visibility
visible_
parent_
map
vtable_
allocation
vtable_
entries
wasm_
import_
module_
map