]> git.proxmox.com Git - rustc.git/blame - src/test/ui/let-else/let-else-non-diverging.stderr
New upstream version 1.65.0+dfsg1
[rustc.git] / src / test / ui / let-else / let-else-non-diverging.stderr
CommitLineData
94222f64 1error[E0308]: `else` clause of `let...else` does not diverge
f2b60f7d 2 --> $DIR/let-else-non-diverging.rs:2:32
94222f64 3 |
064997fb
FG
4LL | let Some(x) = Some(1) else {
5 | ________________________________^
6LL | | Some(2)
7LL | | };
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
15error[E0308]: `else` clause of `let...else` does not diverge
f2b60f7d 16 --> $DIR/let-else-non-diverging.rs:5:32
94222f64
XL
17 |
18LL | let Some(x) = Some(1) else {
19 | ________________________________^
20LL | | if 1 == 1 {
21LL | | panic!();
22LL | | }
23LL | | };
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
31error[E0308]: `else` clause of `let...else` does not diverge
f2b60f7d 32 --> $DIR/let-else-non-diverging.rs:10:32
94222f64 33 |
064997fb
FG
34LL | 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
42error: aborting due to 3 previous errors
43
44For more information about this error, try `rustc --explain E0308`.