Module rustc_mir_build::build::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.

This also includes code for pattern bindings in let statements and function parameters.

Modules

• match_pair 🔒
• simplify 🔒
  Simplifying Candidates
• test 🔒
• util 🔒

Structs

• ArmHasGuard 🔒
  ArmHasGuard is a wrapper around a boolean flag. It indicates whether a match arm has a guard expression attached to it.
• Ascription 🔒
  Indicates that the type of source must be a subtype of the user-given type user_ty; this is basically a no-op but can influence region inference.
• Binding 🔒
• Candidate 🔒
• FlatPat 🔒
  A pattern in a form suitable for generating code.
• MatchPairTree 🔒
  Node in a tree of “match pairs”, where each pair consists of a place to be tested, and a test to perform on that place.
• PatternExtraData 🔒
  Data extracted from a pattern that doesn’t affect which branch is taken. Collected during pattern simplification and not mutated later.
• Test 🔒
  A test to perform to determine which Candidate matches a value.
• ThenElseArgs 🔒
  Arguments to Builder::then_else_break_inner that are usually forwarded to recursive invocations.

Enums

• DeclareLetBindings 🔒
  Should lowering a let expression also declare its bindings?
• EmitStorageLive 🔒
  Used by Builder::bind_matched_candidate_for_arm_body to determine whether or not to call Builder::storage_live_binding to emit StatementKind::StorageLive.
• ScheduleDrops 🔒
  Used by Builder::storage_live_binding and Builder::bind_matched_candidate_for_arm_body to decide whether to schedule drops.
• TestBranch 🔒
  The branch to be taken after a test.
• TestCase 🔒
• TestKind 🔒
  See Test for more.

Functions

• traverse_candidate 🔒
  A depth-first traversal of the Candidate and all of its recursive subcandidates.