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

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 🔒

MatchPair 🔒

Test 🔒

A test to perform to determine which Candidate matches a value.

Enums

TestKind 🔒

See Test for more.

Functions

traverse_candidate 🔒

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