summaryrefslogtreecommitdiffstats
path: root/src/test/ui/type/type-check/issue-67273-assignment-match-prior-arm-bool-expected-unit.stderr
blob: a431fe89c237c5a6439486c1a98c066ae1a19c4c (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 previous error

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