Module build

Modules

• block 🔒
• cfg 🔒
  Routines for manipulating the control-flow graph.
• coverageinfo 🔒
• custom 🔒
  Provides the implementation of the custom_mir attribute.
• expr 🔒
  Builds MIR from expressions. As a caller into this module, you have many options, but the first thing you have to decide is whether you are evaluating this expression for its value, its location, or as a constant.
• matches 🔒
  Code related to match expressions. These are sufficiently complex to warrant their own module and submodules. :) This main module includes the high-level algorithm, the submodules contain the details.
• misc 🔒
  Miscellaneous builder routines that are not specific to building any particular kind of thing.
• scope 🔒
  Managing the scope stack. The scopes are tied to lexical scopes, so as we descend the THIR, we push a scope on the stack, build its contents, and then pop it off. Every scope is named by a region::Scope.

Macros

• unpack 🔒
  Update a block pointer and return the value. Use it like let x = unpack!(block = self.foo(block, foo)).

Structs

• BlockAnd 🔒
  The BlockAnd “monad” packages up the new basic block along with a produced value (sometimes just unit, of course). The unpack! macro (and methods below) makes working with BlockAnd much more convenient.
• BlockContext 🔒
• Builder 🔒
• CFG 🔒
• Capture 🔒
• GuardFrame 🔒
• GuardFrameLocal 🔒
• ScopeId 🔒

Enums

• BlockFrame 🔒
• ForGuard 🔒
  ForGuard indicates whether we are talking about:
• LocalsForNode 🔒
• NeedsTemporary 🔒

Traits

• BlockAndExtension 🔒

Functions

• closure_saved_names_of_captured_variables 🔒
• construct_const 🔒
• construct_error 🔒
  Construct MIR for an item that has had errors in type checking.
• construct_fn 🔒
  the main entry point for building MIR for a function
• mir_build 🔒
  Construct the MIR for a given DefId.
• parse_float_into_constval 🔒
• parse_float_into_scalar 🔒

Type Aliases

• CaptureMap 🔒