1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
//@ check-pass
#![feature(never_patterns)]
#![allow(incomplete_features)]
#[derive(Copy, Clone)]
enum Void {}
fn main() {
let res_void: Result<bool, Void> = Ok(true);
let (Ok(x) | Err(!)) = res_void;
println!("{x}");
let (Ok(x) | Err(!)) = &res_void;
println!("{x}");
let (Err(!) | Ok(x)) = res_void;
println!("{x}");
match res_void {
Ok(x) | Err(!) => println!("{x}"),
}
match res_void {
Err(!) | Ok(x) => println!("{x}"),
}
let res_res_void: Result<Result<bool, Void>, Void> = Ok(Ok(true));
match res_res_void {
Ok(Ok(x) | Err(!)) | Err(!) => println!("{x}"),
}
}
|
