Crate rustc_hir_typeck
source ·Modules§
- _match π
- autoderef πSome helper functions for
AutoDeref
. - callee π
- Code for type-checking cast expressions.
- check π
- closure πCode for type-checking closure expressions.
- coercion πType Coercion
- demand π
- diverges π
- errors πErrors emitted by
rustc_hir_typeck
. - expectation π
- expr πType checking expressions.
- A different sort of visitor for walking fn bodies. Unlike the normal visitor, which just walks the entire body in one shot, the
ExprUseVisitor
determines how expressions are being used. - fallback π
- fn_ctxt π
- gather_
locals π - intrinsicck π
- method πMethod lookup: the secret sauce of Rust. See the rustc dev guide for more information.
- op πCode related to processing overloaded binary and unary operators.
- pat π
- place_
op π - rvalue_
scopes π - typeck_
root_ πctxt - upvar πInferring borrow kinds for upvars
- writeback π
Macros§
Structs§
- Coroutine
Types πWhencheck_fn
is invoked on a coroutine (i.e., a body that includes yield), it returns back some information about the yield points.
Enums§
- Tuple
Arguments πFlag Controls whether the arguments are tupled. This is used for the call operator.
Statics§
- Raw content of Fluent resource for this crate, generated by
fluent_messages
macro, imported byrustc_driver
to include all cratesβ resources in one bundle.
Functions§
- Check whether
ty
can be coerced tooutput_ty
. Used from clippy. - Used only to get
TypeckResults
for type inference during error recovery. Currently only used for type inference ofstatic
s andconst
s to avoid type cycle errors. - fatally_
break_ πrust - Same as
typeck
butinspect
is invoked on evaluation of each root obligation. Inspecting obligations only works with the new trait solver. This function is only to be used by external tools, it should not be called from within rustc. Note, this is not a query, and thus is not cached. - typeck π
- typeck_
with_ πfallback - used_
trait_ πimports