Module rustc_mir_build::thir::pattern::check_match
source · Structs
Enums
Functions
Point at the definition of non-covered
enum
variants.Check that there are no borrow or move conflicts in
binding @ subpat
patterns.A path pattern was interpreted as a constant, not a new variable.
This caused an irrefutable match failure in e.g.
let
.Check if a by-value binding is by-value. That is, check if the binding’s type is not
Copy
.Report that a match is not exhaustive.
Checks for common cases of “catchall” patterns that may not be intended as such.
Report unreachable arms, if any.