2 Checks for unnested or-patterns, e.g., `Some(0) | Some(2)` and
3 suggests replacing the pattern with a nested one, `Some(0 | 2)`.
5 Another way to think of this is that it rewrites patterns in
6 *disjunctive normal form (DNF)* into *conjunctive normal form (CNF)*.
9 In the example above, `Some` is repeated, which unnecessarily complicates the pattern.
14 if let Some(0) | Some(2) = Some(0) {}
20 if let Some(0 | 2) = Some(0) {}