summaryrefslogtreecommitdiffstats
path: root/tests/ui/type/type-check/issue-67273-assignment-match-prior-arm-bool-expected-unit.stderr
blob: 229729a9ba68de378540a687593e873320a3293a (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
error[E0308]: `match` arms have incompatible types
  --> $DIR/issue-67273-assignment-match-prior-arm-bool-expected-unit.rs:22:14
   |
LL | /     match i {
LL | |         // Add `bool` to the overall `coercion`.
LL | |         0 => true,
   | |              ---- this is found to be of type `bool`
LL | |
LL | |         // Necessary to cause the ICE:
LL | |         1 => true,
   | |              ---- this is found to be of type `bool`
...  |
LL | |         2 => i = 1,
   | |              ^^^^^ expected `bool`, found `()`
...  |
LL | |         _ => (),
LL | |     }
   | |_____- `match` arms have incompatible types

error: aborting due to 1 previous error

For more information about this error, try `rustc --explain E0308`.