| <!DOCTYPE html> |
| <html> |
| <head> |
| <title>inner_items.main-in_func - Coverage Spans</title> |
| <style> |
| .line { |
| counter-increment: line; |
| } |
| .line:before { |
| content: counter(line) ": "; |
| font-family: Menlo, Monaco, monospace; |
| font-style: italic; |
| width: 3.8em; |
| display: inline-block; |
| text-align: right; |
| filter: opacity(50%); |
| -webkit-user-select: none; |
| } |
| .code { |
| color: #dddddd; |
| background-color: #222222; |
| font-family: Menlo, Monaco, monospace; |
| line-height: 1.4em; |
| border-bottom: 2px solid #222222; |
| white-space: pre; |
| display: inline-block; |
| } |
| .odd { |
| background-color: #55bbff; |
| color: #223311; |
| } |
| .even { |
| background-color: #ee7756; |
| color: #551133; |
| } |
| .code { |
| --index: calc(var(--layer) - 1); |
| padding-top: calc(var(--index) * 0.15em); |
| filter: |
| hue-rotate(calc(var(--index) * 25deg)) |
| saturate(calc(100% - (var(--index) * 2%))) |
| brightness(calc(100% - (var(--index) * 1.5%))); |
| } |
| .annotation { |
| color: #4444ff; |
| font-family: monospace; |
| font-style: italic; |
| display: none; |
| -webkit-user-select: none; |
| } |
| body:active .annotation { |
| /* requires holding mouse down anywhere on the page */ |
| display: inline-block; |
| } |
| span:hover .annotation { |
| /* requires hover over a span ONLY on its first line */ |
| display: inline-block; |
| } |
| </style> |
| </head> |
| <body> |
| <div class="code" style="counter-reset: line 17"><span class="line"> <span class="code" style="--layer: 0">fn in_func(a: u32) {</span></span> |
| <span class="line"><span class="code" style="--layer: 0"> let </span><span><span class="code even" style="--layer: 1" title="19:17-19:18: @0[1]: _2 = const 1_u32 |
| 19:13-19:14: @0[2]: FakeRead(ForLet, _2)"><span class="annotation">@0⦊</span>b = 1<span class="annotation">⦉@0</span></span></span><span class="code" style="--layer: 0">;</span></span> |
| <span class="line"><span class="code" style="--layer: 0"> let </span><span><span class="code odd" style="--layer: 1" title="20:13-20:14: @1[3]: FakeRead(ForLet, _3)"><span class="annotation">@1,2,3,4⦊</span>c<span class="annotation">⦉@1,2,3,4</span></span></span><span class="code" style="--layer: 0"> = </span><span><span class="code even" style="--layer: 1" title="20:17-20:18: @0[5]: _4 = _1 |
| 20:21-20:22: @0[7]: _5 = _2 |
| 20:17-20:22: @0[8]: _6 = CheckedAdd(_4, _5)"><span class="annotation">@0⦊</span>a + b<span class="annotation">⦉@0</span></span></span><span class="code" style="--layer: 0">;</span></span> |
| <span class="line"><span class="code" style="--layer: 0"> </span><span><span class="code odd" style="--layer: 1" title="21:18-21:26: @1[9]: _23 = const in_func::promoted[0] |
| 21:18-21:26: @1[10]: _11 = &(*_23) |
| 21:18-21:26: @1[11]: _10 = &(*_11) |
| 21:18-21:26: @1[12]: _9 = move _10 as &[&str] (Pointer(Unsize)) |
| 21:28-21:29: @1[20]: _18 = &_3 |
| 21:9-21:30: @1[21]: _17 = (move _18,) |
| 21:9-21:30: @1[23]: FakeRead(ForMatchedPlace, _17) |
| 21:9-21:30: @1[25]: _19 = (_17.0: &u32) |
| 21:9-21:30: @1[28]: _21 = &(*_19) |
| 21:9-21:30: @1[30]: _22 = <u32 as std::fmt::Display>::fmt as for<'r, 's, 't0> fn(&'r u32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error> (Pointer(ReifyFnPointer)) |
| 21:9-21:30: @1.Call: _20 = ArgumentV1::new::<u32>(move _21, move _22) -> [return: bb2, unwind: bb5] |
| 21:9-21:30: @2[2]: _16 = [move _20] |
| 21:9-21:30: @2[5]: _15 = &_16 |
| 21:9-21:30: @2[6]: _14 = &(*_15) |
| 21:9-21:30: @2[7]: _13 = move _14 as &[std::fmt::ArgumentV1] (Pointer(Unsize)) |
| 21:9-21:30: @2.Call: _8 = Arguments::new_v1(move _9, move _13) -> [return: bb3, unwind: bb5] |
| 21:9-21:30: @3.Call: _7 = _print(move _8) -> [return: bb4, unwind: bb5] |
| 21:9-21:30: @4[6]: _0 = const () |
| 22:6-22:6: @4.Return: return"><span class="annotation">@1,2,3,4⦊</span>println!("c = {}", c)</span></span> |
| <span class="line"><span class="code odd" style="--layer: 1" title="21:18-21:26: @1[9]: _23 = const in_func::promoted[0] |
| 21:18-21:26: @1[10]: _11 = &(*_23) |
| 21:18-21:26: @1[11]: _10 = &(*_11) |
| 21:18-21:26: @1[12]: _9 = move _10 as &[&str] (Pointer(Unsize)) |
| 21:28-21:29: @1[20]: _18 = &_3 |
| 21:9-21:30: @1[21]: _17 = (move _18,) |
| 21:9-21:30: @1[23]: FakeRead(ForMatchedPlace, _17) |
| 21:9-21:30: @1[25]: _19 = (_17.0: &u32) |
| 21:9-21:30: @1[28]: _21 = &(*_19) |
| 21:9-21:30: @1[30]: _22 = <u32 as std::fmt::Display>::fmt as for<'r, 's, 't0> fn(&'r u32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error> (Pointer(ReifyFnPointer)) |
| 21:9-21:30: @1.Call: _20 = ArgumentV1::new::<u32>(move _21, move _22) -> [return: bb2, unwind: bb5] |
| 21:9-21:30: @2[2]: _16 = [move _20] |
| 21:9-21:30: @2[5]: _15 = &_16 |
| 21:9-21:30: @2[6]: _14 = &(*_15) |
| 21:9-21:30: @2[7]: _13 = move _14 as &[std::fmt::ArgumentV1] (Pointer(Unsize)) |
| 21:9-21:30: @2.Call: _8 = Arguments::new_v1(move _9, move _13) -> [return: bb3, unwind: bb5] |
| 21:9-21:30: @3.Call: _7 = _print(move _8) -> [return: bb4, unwind: bb5] |
| 21:9-21:30: @4[6]: _0 = const () |
| 22:6-22:6: @4.Return: return"> }<span class="annotation">⦉@1,2,3,4</span></span></span></span></div> |
| </body> |
| </html> |