|
71 | 71 | <body>
|
72 | 72 | <div class="code" style="counter-reset: line 72"><span class="line"><span><span class="code even" style="--layer: 1"><span class="annotation">@0⦊</span>fn main() <span class="annotation">⦉@0</span></span></span><span class="code" style="--layer: 0">{</span></span>
|
73 | 73 | <span class="line"><span class="code" style="--layer: 0"> if </span><span><span class="code even" style="--layer: 1" title="74:8-74:12: @0[1]: _1 = const true"><span class="annotation">@0⦊</span>true<span class="annotation">⦉@0</span></span></span><span class="code" style="--layer: 0"> {</span></span>
|
74 |
| -<span class="line"><span class="code" style="--layer: 0"> </span><span><span class="code odd" style="--layer: 1" title="75:9-75:26: @4[0]: _2 = const ()"><span class="annotation">@4⦊</span></span></span><span class="code even" style="--layer: 2" title="75:9-75:26: @3[5]: _75 = const main::promoted[3] |
75 |
| -75:9-75:26: @3[6]: _18 = &(*_75) |
76 |
| -75:9-75:26: @3[7]: _17 = &(*_18) |
77 |
| -75:9-75:26: @3[8]: _16 = move _17 as &[&str] (Pointer(Unsize)) |
78 |
| -75:9-75:26: @3[17]: _26 = &(*_8) |
79 |
| -75:9-75:26: @3[18]: _25 = &_26 |
80 |
| -75:9-75:26: @3[21]: _28 = &(*_9) |
81 |
| -75:9-75:26: @3[22]: _27 = &_28 |
82 |
| -75:9-75:26: @3[23]: _24 = (move _25, move _27) |
83 |
| -75:9-75:26: @3[26]: FakeRead(ForMatchedPlace, _24) |
84 |
| -75:9-75:26: @3[28]: _29 = (_24.0: &&i32) |
85 |
| -75:9-75:26: @3[30]: _30 = (_24.1: &&i32) |
86 |
| -75:9-75:26: @3[33]: _32 = &(*_29) |
87 |
| -75:9-75:26: @3[35]: _33 = <&i32 as std::fmt::Debug>::fmt as for<'r, 's, 't0> fn(&'r &i32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error> (Pointer(ReifyFnPointer)) |
88 |
| -75:9-75:26: @3.Call: _31 = std::fmt::ArgumentV1::new::<&i32>(move _32, move _33) -> [return: bb5, unwind: bb14] |
89 |
| -75:9-75:26: @5[4]: _35 = &(*_30) |
90 |
| -75:9-75:26: @5[6]: _36 = <&i32 as std::fmt::Debug>::fmt as for<'r, 's, 't0> fn(&'r &i32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error> (Pointer(ReifyFnPointer)) |
91 |
| -75:9-75:26: @5.Call: _34 = std::fmt::ArgumentV1::new::<&i32>(move _35, move _36) -> [return: bb6, unwind: bb14] |
92 |
| -75:9-75:26: @6[2]: _23 = [move _31, move _34] |
93 |
| -75:9-75:26: @6[7]: _22 = &_23 |
94 |
| -75:9-75:26: @6[8]: _21 = &(*_22) |
95 |
| -75:9-75:26: @6[9]: _20 = move _21 as &[std::fmt::ArgumentV1] (Pointer(Unsize)) |
96 |
| -75:9-75:26: @6.Call: _15 = std::fmt::Arguments::new_v1(move _16, move _20) -> [return: bb7, unwind: bb14] |
97 |
| -75:9-75:26: @7.Call: core::panicking::panic_fmt(move _15) -> bb14"><span class="annotation">@3,5,6,7⦊</span>assert_eq!(1, 1);<span class="annotation">⦉@3,5,6,7</span></span><span><span class="code odd" style="--layer: 1" title="75:9-75:26: @4[0]: _2 = const ()"><span class="annotation">⦉@4</span></span></span><span class="code" style="--layer: 0"></span></span> |
| 74 | +<span class="line"><span class="code" style="--layer: 0"> </span><span><span class="code odd" style="--layer: 1" title="75:9-75:26: @4[0]: _2 = const ()"><span class="annotation">@4⦊</span></span></span><span class="code even" style="--layer: 2" title="75:9-75:26: @3[1]: _15 = core::panicking::AssertKind::Eq |
| 75 | +75:9-75:26: @3[2]: FakeRead(ForLet, _15) |
| 76 | +75:9-75:26: @3[5]: _17 = move _15 |
| 77 | +75:9-75:26: @3[8]: _19 = &(*_8) |
| 78 | +75:9-75:26: @3[9]: _18 = &(*_19) |
| 79 | +75:9-75:26: @3[12]: _21 = &(*_9) |
| 80 | +75:9-75:26: @3[13]: _20 = &(*_21) |
| 81 | +75:9-75:26: @3[15]: _22 = std::option::Option::<std::fmt::Arguments>::None |
| 82 | +75:9-75:26: @3.Call: core::panicking::assert_failed::<i32, i32>(move _17, move _18, move _20, move _22) -> bb8"><span class="annotation">@3⦊</span>assert_eq!(1, 1);<span class="annotation">⦉@3</span></span><span><span class="code odd" style="--layer: 1" title="75:9-75:26: @4[0]: _2 = const ()"><span class="annotation">⦉@4</span></span></span><span class="code" style="--layer: 0"></span></span> |
98 | 83 | <span class="line"><span class="code" style="--layer: 0"> } else {</span></span>
|
99 |
| -<span class="line"><span class="code" style="--layer: 0"> </span><span><span class="code even" style="--layer: 1" title="77:9-77:26: @9[0]: _37 = const ()"><span class="annotation">@9⦊</span></span></span><span class="code even" style="--layer: 2" title="77:9-77:26: @8[5]: _72 = const main::promoted[0] |
100 |
| -77:9-77:26: @8[6]: _53 = &(*_72) |
101 |
| -77:9-77:26: @8[7]: _52 = &(*_53) |
102 |
| -77:9-77:26: @8[8]: _51 = move _52 as &[&str] (Pointer(Unsize)) |
103 |
| -77:9-77:26: @8[17]: _61 = &(*_43) |
104 |
| -77:9-77:26: @8[18]: _60 = &_61 |
105 |
| -77:9-77:26: @8[21]: _63 = &(*_44) |
106 |
| -77:9-77:26: @8[22]: _62 = &_63 |
107 |
| -77:9-77:26: @8[23]: _59 = (move _60, move _62) |
108 |
| -77:9-77:26: @8[26]: FakeRead(ForMatchedPlace, _59) |
109 |
| -77:9-77:26: @8[28]: _64 = (_59.0: &&i32) |
110 |
| -77:9-77:26: @8[30]: _65 = (_59.1: &&i32) |
111 |
| -77:9-77:26: @8[33]: _67 = &(*_64) |
112 |
| -77:9-77:26: @8[35]: _68 = <&i32 as std::fmt::Debug>::fmt as for<'r, 's, 't0> fn(&'r &i32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error> (Pointer(ReifyFnPointer)) |
113 |
| -77:9-77:26: @8.Call: _66 = std::fmt::ArgumentV1::new::<&i32>(move _67, move _68) -> [return: bb10, unwind: bb14] |
114 |
| -77:9-77:26: @10[4]: _70 = &(*_65) |
115 |
| -77:9-77:26: @10[6]: _71 = <&i32 as std::fmt::Debug>::fmt as for<'r, 's, 't0> fn(&'r &i32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error> (Pointer(ReifyFnPointer)) |
116 |
| -77:9-77:26: @10.Call: _69 = std::fmt::ArgumentV1::new::<&i32>(move _70, move _71) -> [return: bb11, unwind: bb14] |
117 |
| -77:9-77:26: @11[2]: _58 = [move _66, move _69] |
118 |
| -77:9-77:26: @11[7]: _57 = &_58 |
119 |
| -77:9-77:26: @11[8]: _56 = &(*_57) |
120 |
| -77:9-77:26: @11[9]: _55 = move _56 as &[std::fmt::ArgumentV1] (Pointer(Unsize)) |
121 |
| -77:9-77:26: @11.Call: _50 = std::fmt::Arguments::new_v1(move _51, move _55) -> [return: bb12, unwind: bb14] |
122 |
| -77:9-77:26: @12.Call: core::panicking::panic_fmt(move _50) -> bb14"><span class="annotation">@8,10,11,12⦊</span>assert_eq!(1, 2);<span class="annotation">⦉@8,10,11,12</span></span><span><span class="code even" style="--layer: 1" title="77:9-77:26: @9[0]: _37 = const ()"><span class="annotation">⦉@9</span></span></span><span class="code" style="--layer: 0"></span></span> |
| 84 | +<span class="line"><span class="code" style="--layer: 0"> </span><span><span class="code even" style="--layer: 1" title="77:9-77:26: @6[0]: _23 = const ()"><span class="annotation">@6⦊</span></span></span><span class="code even" style="--layer: 2" title="77:9-77:26: @5[1]: _36 = core::panicking::AssertKind::Eq |
| 85 | +77:9-77:26: @5[2]: FakeRead(ForLet, _36) |
| 86 | +77:9-77:26: @5[5]: _38 = move _36 |
| 87 | +77:9-77:26: @5[8]: _40 = &(*_29) |
| 88 | +77:9-77:26: @5[9]: _39 = &(*_40) |
| 89 | +77:9-77:26: @5[12]: _42 = &(*_30) |
| 90 | +77:9-77:26: @5[13]: _41 = &(*_42) |
| 91 | +77:9-77:26: @5[15]: _43 = std::option::Option::<std::fmt::Arguments>::None |
| 92 | +77:9-77:26: @5.Call: core::panicking::assert_failed::<i32, i32>(move _38, move _39, move _41, move _43) -> bb8"><span class="annotation">@5⦊</span>assert_eq!(1, 2);<span class="annotation">⦉@5</span></span><span><span class="code even" style="--layer: 1" title="77:9-77:26: @6[0]: _23 = const ()"><span class="annotation">⦉@6</span></span></span><span class="code" style="--layer: 0"></span></span> |
123 | 93 | <span class="line"><span class="code" style="--layer: 0"> }</span></span>
|
124 |
| -<span class="line"><span class="code" style="--layer: 0">}</span><span><span class="code odd" style="--layer: 1" title="79:2-79:2: @13.Return: return"><span class="annotation">@13⦊</span>‸<span class="annotation">⦉@13</span></span></span></span></div> |
| 94 | +<span class="line"><span class="code" style="--layer: 0">}</span><span><span class="code odd" style="--layer: 1" title="79:2-79:2: @7.Return: return"><span class="annotation">@7⦊</span>‸<span class="annotation">⦉@7</span></span></span></span></div> |
125 | 95 | </body>
|
126 | 96 | </html>
|
0 commit comments