Crate rustc_hir_typeck

Modules

• _match 🔒
• autoderef 🔒
  Some helper functions for AutoDeref
• callee 🔒
• cast
  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.
• expr_use_visitor
  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 🔒
• inherited 🔒
• intrinsicck 🔒
• mem_categorization 🔒
  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 🔒
• rvalue_scopes 🔒
• upvar 🔒
  Inferring borrow kinds for upvars
• writeback 🔒

Macros

• type_error_struct

Structs

• BreakableCtxt
• CoroutineTypes 🔒
  When check_fn is invoked on a coroutine (i.e., a body that includes yield), it returns back some information about the yield points.
• EnclosingBreakables
• FnCtxt
  The FnCtxt stores type-checking context needed to type-check bodies of functions, closures, and consts, including performing type inference with InferCtxt.
• Inherited
  Closures defined within the function. For example:

Enums

• Needs
• PlaceOp
• TupleArgumentsFlag 🔒
  Controls whether the arguments are tupled. This is used for the call operator.

Statics

• DEFAULT_LOCALE_RESOURCE
  Raw content of Fluent resource for this crate, generated by fluent_messages macro, imported by rustc_driver to include all crates’ resources in one bundle.

Functions

• diagnostic_only_typeck 🔒
  Used only to get TypeckResults for type inference during error recovery. Currently only used for type inference of statics and consts to avoid type cycle errors.
• fatally_break_rust 🔒
• has_typeck_results 🔒
• inspect_typeck
  Same as typeck but inspect 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.
• primary_body_of 🔒
  If this DefId is a “primary tables entry”, returns Some((body_id, body_ty, fn_sig)). Otherwise, returns None.
• provide
• report_unexpected_variant_res 🔒
• typeck 🔒
• typeck_with_fallback 🔒
• used_trait_imports 🔒