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
30
31
32
33
34
35
36
37
|
// compile-flags: -O -C debuginfo=0 -Zmir-opt-level=2
// only-64bit
// Track the status of MIR optimizations simplifying `Ok(res?)` for both the old and new desugarings
// of that syntax.
use std::ops::ControlFlow;
// EMIT_MIR try_identity.new.PreCodegen.after.mir
fn new<T, E>(x: Result<T, E>) -> Result<T, E> {
Ok(
match {
match x {
Ok(v) => ControlFlow::Continue(v),
Err(e) => ControlFlow::Break(e),
}
} {
ControlFlow::Continue(v) => v,
ControlFlow::Break(e) => return Err(e),
}
)
}
// EMIT_MIR try_identity.old.PreCodegen.after.mir
fn old<T, E>(x: Result<T, E>) -> Result<T, E> {
Ok(
match x {
Ok(v) => v,
Err(e) => return Err(e),
}
)
}
fn main() {
let _ = new::<(), ()>(Ok(()));
let _ = old::<(), ()>(Ok(()));
}
|
