]>
Commit | Line | Data |
---|---|---|
1 | // check-pass | |
2 | #![feature(or_patterns)] | |
3 | ||
4 | const fn foo((Ok(a) | Err(a)): Result<i32, i32>) { | |
5 | let x = Ok(3); | |
6 | let (Ok(y) | Err(y)) = x; | |
7 | } | |
8 | ||
9 | const X: () = { | |
10 | let x = Ok(3); | |
11 | let (Ok(y) | Err(y)) = x; | |
12 | }; | |
13 | ||
14 | static Y: () = { | |
15 | let x = Ok(3); | |
16 | let (Ok(y) | Err(y)) = x; | |
17 | }; | |
18 | ||
19 | static mut Z: () = { | |
20 | let x = Ok(3); | |
21 | let (Ok(y) | Err(y)) = x; | |
22 | }; | |
23 | ||
24 | fn main() { | |
25 | let _: [(); { | |
26 | let x = Ok(3); | |
27 | let (Ok(y) | Err(y)) = x; | |
28 | 2 | |
29 | }]; | |
30 | } |