]>
Commit | Line | Data |
---|---|---|
ba9703b0 XL |
1 | // MIR for `try_identity` after SimplifyLocals |
2 | ||
6a06907d | 3 | fn try_identity(_1: Result<u32, i32>) -> Result<u32, i32> { |
1b1a35ee XL |
4 | debug x => _1; // in scope 0 at $DIR/simplify_try.rs:7:17: 7:18 |
5 | let mut _0: std::result::Result<u32, i32>; // return place in scope 0 at $DIR/simplify_try.rs:7:41: 7:57 | |
ba9703b0 | 6 | scope 1 { |
1b1a35ee | 7 | debug y => ((_0 as Ok).0: u32); // in scope 1 at $DIR/simplify_try.rs:8:9: 8:10 |
ba9703b0 XL |
8 | } |
9 | scope 2 { | |
1b1a35ee | 10 | debug err => ((_0 as Err).0: i32); // in scope 2 at $DIR/simplify_try.rs:8:14: 8:15 |
ba9703b0 | 11 | scope 3 { |
29967ef6 XL |
12 | scope 7 (inlined <i32 as From<i32>>::from) { // at $DIR/simplify_try.rs:8:14: 8:15 |
13 | debug t => ((_0 as Err).0: i32); // in scope 7 at $DIR/simplify_try.rs:8:14: 8:15 | |
ba9703b0 | 14 | } |
6a06907d | 15 | scope 8 (inlined <Result<u32, i32> as Try>::from_error) { // at $DIR/simplify_try.rs:8:13: 8:15 |
29967ef6 | 16 | debug v => ((_0 as Err).0: i32); // in scope 8 at $DIR/simplify_try.rs:8:13: 8:15 |
ba9703b0 XL |
17 | } |
18 | } | |
19 | } | |
20 | scope 4 { | |
1b1a35ee | 21 | debug val => ((_0 as Ok).0: u32); // in scope 4 at $DIR/simplify_try.rs:8:13: 8:15 |
ba9703b0 XL |
22 | scope 5 { |
23 | } | |
24 | } | |
6a06907d | 25 | scope 6 (inlined <Result<u32, i32> as Try>::into_result) { // at $DIR/simplify_try.rs:8:13: 8:15 |
29967ef6 | 26 | debug self => _0; // in scope 6 at $DIR/simplify_try.rs:8:13: 8:15 |
ba9703b0 XL |
27 | } |
28 | ||
29 | bb0: { | |
1b1a35ee XL |
30 | _0 = _1; // scope 0 at $DIR/simplify_try.rs:8:13: 8:14 |
31 | return; // scope 0 at $DIR/simplify_try.rs:10:2: 10:2 | |
ba9703b0 XL |
32 | } |
33 | } |