]>
Commit | Line | Data |
---|---|---|
94222f64 | 1 | error[E0308]: `else` clause of `let...else` does not diverge |
f2b60f7d | 2 | --> $DIR/let-else-non-diverging.rs:2:32 |
94222f64 | 3 | | |
064997fb FG |
4 | LL | let Some(x) = Some(1) else { |
5 | | ________________________________^ | |
6 | LL | | Some(2) | |
7 | LL | | }; | |
8 | | |_____^ expected `!`, found enum `Option` | |
94222f64 XL |
9 | | |
10 | = note: expected type `!` | |
04454e1e | 11 | found enum `Option<{integer}>` |
94222f64 XL |
12 | = help: try adding a diverging expression, such as `return` or `panic!(..)` |
13 | = help: ...or use `match` instead of `let...else` | |
14 | ||
15 | error[E0308]: `else` clause of `let...else` does not diverge | |
f2b60f7d | 16 | --> $DIR/let-else-non-diverging.rs:5:32 |
94222f64 XL |
17 | | |
18 | LL | let Some(x) = Some(1) else { | |
19 | | ________________________________^ | |
20 | LL | | if 1 == 1 { | |
21 | LL | | panic!(); | |
22 | LL | | } | |
23 | LL | | }; | |
24 | | |_____^ expected `!`, found `()` | |
25 | | | |
04454e1e FG |
26 | = note: expected type `!` |
27 | found unit type `()` | |
94222f64 XL |
28 | = help: try adding a diverging expression, such as `return` or `panic!(..)` |
29 | = help: ...or use `match` instead of `let...else` | |
30 | ||
31 | error[E0308]: `else` clause of `let...else` does not diverge | |
f2b60f7d | 32 | --> $DIR/let-else-non-diverging.rs:10:32 |
94222f64 | 33 | | |
064997fb FG |
34 | LL | let Some(x) = Some(1) else { Some(2) }; |
35 | | ^^^^^^^^^^^ expected `!`, found enum `Option` | |
94222f64 XL |
36 | | |
37 | = note: expected type `!` | |
04454e1e | 38 | found enum `Option<{integer}>` |
94222f64 XL |
39 | = help: try adding a diverging expression, such as `return` or `panic!(..)` |
40 | = help: ...or use `match` instead of `let...else` | |
41 | ||
42 | error: aborting due to 3 previous errors | |
43 | ||
44 | For more information about this error, try `rustc --explain E0308`. |