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_expected_num_generic_args 🔒
  expected here is the expected number of explicit generic arguments on the trait.
• has_typeck_results 🔒
• 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 🔒