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