Crate rustc_hir_typeck
source ·Modules
- _match 🔒
- 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
. - 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 🔒
- Categorization
- 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 🔒
- upvar 🔒Inferring borrow kinds for upvars
Macros
Structs
- The
FnCtxt
stores type-checking context needed to type-check bodies of functions, closures, andconst
s, including performing type inference withInferCtxt
. - When
check_fn
is invoked on a generator (i.e., a body that includes yield), it returns back some information about the yield points. - Closures defined within the function. For example:
Enums
- 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
- 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. - If this
DefId
is a “primary tables entry”, returnsSome((body_id, body_ty, fn_sig))
. Otherwise, returnsNone
. - typeck 🔒