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