[rustc.git] / src / test / run-make-fulldeps / coverage-spanview / expected_mir_dump.overflow / overflow.main.-------.InstrumentCoverage.0.html

<!DOCTYPE html>
<!--

Preview this file as rendered HTML from the github source at:
https://htmlpreview.github.io/?https://github.com/rust-lang/rust/blob/master/src/test/run-make-fulldeps/coverage-spanview/expected_mir_dump.overflow/overflow.main.-------.InstrumentCoverage.0.html

For revisions in Pull Requests (PR):
  * Replace "rust-lang" with the github PR author
  * Replace "master" with the PR branch name

-->
<html>
<head>
<title>overflow.main - 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 14"><span class="line"><span><span class="code even" style="--layer: 1" title="16:25-16:27: @0[1]: _1 = const 10_i32
16:9-16:22: @0[2]: FakeRead(ForLet, _1)"><span class="annotation">@0⦊</span>fn main() -&gt; Result&lt;(),u8&gt; {</span></span>
<span class="line"><span class="code even" style="--layer: 1" title="16:25-16:27: @0[1]: _1 = const 10_i32
16:9-16:22: @0[2]: FakeRead(ForLet, _1)">    let mut countdown = 10<span class="annotation">⦉@0</span></span></span><span class="code" style="--layer: 0">;</span></span>
<span class="line"><span class="code" style="--layer: 0">    while </span><span><span class="code odd" style="--layer: 1" title="17:11-17:20: @2[2]: _5 = _1
17:11-17:24: @2[3]: _4 = Gt(move _5, const 0_i32)
17:11-17:24: @2[5]: FakeRead(ForMatchedPlace, _4)"><span class="annotation">@1,2⦊</span>countdown &gt; 0<span class="annotation">⦉@1,2</span></span></span><span class="code" style="--layer: 0"> {</span></span>
<span class="line"><span class="code" style="--layer: 0">        if </span><span><span class="code even" style="--layer: 1" title="18:12-18:21: @5[3]: _8 = _1
18:12-18:26: @5[4]: _7 = Eq(move _8, const 1_i32)"><span class="annotation">@3,5⦊</span>countdown == 1<span class="annotation">⦉@3,5</span></span></span><span class="code" style="--layer: 0"> </span><span><span class="code odd" style="--layer: 1" title="19:26-19:44: @6.Call: _9 = might_overflow(const 10_u32) -&gt; [return: bb8, unwind: bb21]
19:17-19:23: @8[0]: FakeRead(ForLet, _9)
20:22-20:34: @8[7]: _51 = const main::promoted[1]
20:22-20:34: @8[8]: _15 = &amp;(*_51)
20:22-20:34: @8[9]: _14 = &amp;(*_15)
20:22-20:34: @8[10]: _13 = move _14 as &amp;[&amp;str] (Pointer(Unsize))
20:36-20:42: @8[18]: _22 = &amp;_9
20:13-20:44: @8[19]: _21 = (move _22,)
20:13-20:44: @8[21]: FakeRead(ForMatchedPlace, _21)
20:13-20:44: @8[23]: _23 = (_21.0: &amp;u32)
20:13-20:44: @8[26]: _25 = &amp;(*_23)
20:13-20:44: @8[28]: _26 = &lt;u32 as std::fmt::Display&gt;::fmt as for&lt;&#39;r, &#39;s, &#39;t0&gt; fn(&amp;&#39;r u32, &amp;&#39;s mut std::fmt::Formatter&lt;&#39;t0&gt;) -&gt; std::result::Result&lt;(), std::fmt::Error&gt; (Pointer(ReifyFnPointer))
20:13-20:44: @8.Call: _24 = std::fmt::ArgumentV1::new::&lt;u32&gt;(move _25, move _26) -&gt; [return: bb9, unwind: bb21]
20:13-20:44: @9[2]: _20 = [move _24]
20:13-20:44: @9[5]: _19 = &amp;_20
20:13-20:44: @9[6]: _18 = &amp;(*_19)
20:13-20:44: @9[7]: _17 = move _18 as &amp;[std::fmt::ArgumentV1] (Pointer(Unsize))
20:13-20:44: @9.Call: _12 = std::fmt::Arguments::new_v1(move _13, move _17) -&gt; [return: bb10, unwind: bb21]
20:13-20:44: @10.Call: _11 = std::io::_print(move _12) -&gt; [return: bb11, unwind: bb21]
20:13-20:44: @11[6]: _10 = const ()
18:27-21:10: @11[8]: _6 = const ()"><span class="annotation">@6,8,9,10,11⦊</span>{</span></span>
<span class="line"><span class="code odd" style="--layer: 1" title="19:26-19:44: @6.Call: _9 = might_overflow(const 10_u32) -&gt; [return: bb8, unwind: bb21]
19:17-19:23: @8[0]: FakeRead(ForLet, _9)
20:22-20:34: @8[7]: _51 = const main::promoted[1]
20:22-20:34: @8[8]: _15 = &amp;(*_51)
20:22-20:34: @8[9]: _14 = &amp;(*_15)
20:22-20:34: @8[10]: _13 = move _14 as &amp;[&amp;str] (Pointer(Unsize))
20:36-20:42: @8[18]: _22 = &amp;_9
20:13-20:44: @8[19]: _21 = (move _22,)
20:13-20:44: @8[21]: FakeRead(ForMatchedPlace, _21)
20:13-20:44: @8[23]: _23 = (_21.0: &amp;u32)
20:13-20:44: @8[26]: _25 = &amp;(*_23)
20:13-20:44: @8[28]: _26 = &lt;u32 as std::fmt::Display&gt;::fmt as for&lt;&#39;r, &#39;s, &#39;t0&gt; fn(&amp;&#39;r u32, &amp;&#39;s mut std::fmt::Formatter&lt;&#39;t0&gt;) -&gt; std::result::Result&lt;(), std::fmt::Error&gt; (Pointer(ReifyFnPointer))
20:13-20:44: @8.Call: _24 = std::fmt::ArgumentV1::new::&lt;u32&gt;(move _25, move _26) -&gt; [return: bb9, unwind: bb21]
20:13-20:44: @9[2]: _20 = [move _24]
20:13-20:44: @9[5]: _19 = &amp;_20
20:13-20:44: @9[6]: _18 = &amp;(*_19)
20:13-20:44: @9[7]: _17 = move _18 as &amp;[std::fmt::ArgumentV1] (Pointer(Unsize))
20:13-20:44: @9.Call: _12 = std::fmt::Arguments::new_v1(move _13, move _17) -&gt; [return: bb10, unwind: bb21]
20:13-20:44: @10.Call: _11 = std::io::_print(move _12) -&gt; [return: bb11, unwind: bb21]
20:13-20:44: @11[6]: _10 = const ()
18:27-21:10: @11[8]: _6 = const ()">            let result = might_overflow(10);</span></span>
<span class="line"><span class="code odd" style="--layer: 1" title="19:26-19:44: @6.Call: _9 = might_overflow(const 10_u32) -&gt; [return: bb8, unwind: bb21]
19:17-19:23: @8[0]: FakeRead(ForLet, _9)
20:22-20:34: @8[7]: _51 = const main::promoted[1]
20:22-20:34: @8[8]: _15 = &amp;(*_51)
20:22-20:34: @8[9]: _14 = &amp;(*_15)
20:22-20:34: @8[10]: _13 = move _14 as &amp;[&amp;str] (Pointer(Unsize))
20:36-20:42: @8[18]: _22 = &amp;_9
20:13-20:44: @8[19]: _21 = (move _22,)
20:13-20:44: @8[21]: FakeRead(ForMatchedPlace, _21)
20:13-20:44: @8[23]: _23 = (_21.0: &amp;u32)
20:13-20:44: @8[26]: _25 = &amp;(*_23)
20:13-20:44: @8[28]: _26 = &lt;u32 as std::fmt::Display&gt;::fmt as for&lt;&#39;r, &#39;s, &#39;t0&gt; fn(&amp;&#39;r u32, &amp;&#39;s mut std::fmt::Formatter&lt;&#39;t0&gt;) -&gt; std::result::Result&lt;(), std::fmt::Error&gt; (Pointer(ReifyFnPointer))
20:13-20:44: @8.Call: _24 = std::fmt::ArgumentV1::new::&lt;u32&gt;(move _25, move _26) -&gt; [return: bb9, unwind: bb21]
20:13-20:44: @9[2]: _20 = [move _24]
20:13-20:44: @9[5]: _19 = &amp;_20
20:13-20:44: @9[6]: _18 = &amp;(*_19)
20:13-20:44: @9[7]: _17 = move _18 as &amp;[std::fmt::ArgumentV1] (Pointer(Unsize))
20:13-20:44: @9.Call: _12 = std::fmt::Arguments::new_v1(move _13, move _17) -&gt; [return: bb10, unwind: bb21]
20:13-20:44: @10.Call: _11 = std::io::_print(move _12) -&gt; [return: bb11, unwind: bb21]
20:13-20:44: @11[6]: _10 = const ()
18:27-21:10: @11[8]: _6 = const ()">            println!("Result: {}", result);</span></span>
<span class="line"><span class="code odd" style="--layer: 1" title="19:26-19:44: @6.Call: _9 = might_overflow(const 10_u32) -&gt; [return: bb8, unwind: bb21]
19:17-19:23: @8[0]: FakeRead(ForLet, _9)
20:22-20:34: @8[7]: _51 = const main::promoted[1]
20:22-20:34: @8[8]: _15 = &amp;(*_51)
20:22-20:34: @8[9]: _14 = &amp;(*_15)
20:22-20:34: @8[10]: _13 = move _14 as &amp;[&amp;str] (Pointer(Unsize))
20:36-20:42: @8[18]: _22 = &amp;_9
20:13-20:44: @8[19]: _21 = (move _22,)
20:13-20:44: @8[21]: FakeRead(ForMatchedPlace, _21)
20:13-20:44: @8[23]: _23 = (_21.0: &amp;u32)
20:13-20:44: @8[26]: _25 = &amp;(*_23)
20:13-20:44: @8[28]: _26 = &lt;u32 as std::fmt::Display&gt;::fmt as for&lt;&#39;r, &#39;s, &#39;t0&gt; fn(&amp;&#39;r u32, &amp;&#39;s mut std::fmt::Formatter&lt;&#39;t0&gt;) -&gt; std::result::Result&lt;(), std::fmt::Error&gt; (Pointer(ReifyFnPointer))
20:13-20:44: @8.Call: _24 = std::fmt::ArgumentV1::new::&lt;u32&gt;(move _25, move _26) -&gt; [return: bb9, unwind: bb21]
20:13-20:44: @9[2]: _20 = [move _24]
20:13-20:44: @9[5]: _19 = &amp;_20
20:13-20:44: @9[6]: _18 = &amp;(*_19)
20:13-20:44: @9[7]: _17 = move _18 as &amp;[std::fmt::ArgumentV1] (Pointer(Unsize))
20:13-20:44: @9.Call: _12 = std::fmt::Arguments::new_v1(move _13, move _17) -&gt; [return: bb10, unwind: bb21]
20:13-20:44: @10.Call: _11 = std::io::_print(move _12) -&gt; [return: bb11, unwind: bb21]
20:13-20:44: @11[6]: _10 = const ()
18:27-21:10: @11[8]: _6 = const ()">        }<span class="annotation">⦉@6,8,9,10,11</span></span></span><span class="code" style="--layer: 0"> else if </span><span><span class="code even" style="--layer: 1" title="21:19-21:28: @7[2]: _28 = _1
21:19-21:32: @7[3]: _27 = Lt(move _28, const 5_i32)"><span class="annotation">@7⦊</span>countdown &lt; 5<span class="annotation">⦉@7</span></span></span><span class="code" style="--layer: 0"> </span><span><span class="code odd" style="--layer: 1" title="22:26-22:43: @12.Call: _29 = might_overflow(const 1_u32) -&gt; [return: bb14, unwind: bb21]
22:17-22:23: @14[0]: FakeRead(ForLet, _29)
23:22-23:34: @14[7]: _50 = const main::promoted[0]
23:22-23:34: @14[8]: _35 = &amp;(*_50)
23:22-23:34: @14[9]: _34 = &amp;(*_35)
23:22-23:34: @14[10]: _33 = move _34 as &amp;[&amp;str] (Pointer(Unsize))
23:36-23:42: @14[18]: _42 = &amp;_29
23:13-23:44: @14[19]: _41 = (move _42,)
23:13-23:44: @14[21]: FakeRead(ForMatchedPlace, _41)
23:13-23:44: @14[23]: _43 = (_41.0: &amp;u32)
23:13-23:44: @14[26]: _45 = &amp;(*_43)
23:13-23:44: @14[28]: _46 = &lt;u32 as std::fmt::Display&gt;::fmt as for&lt;&#39;r, &#39;s, &#39;t0&gt; fn(&amp;&#39;r u32, &amp;&#39;s mut std::fmt::Formatter&lt;&#39;t0&gt;) -&gt; std::result::Result&lt;(), std::fmt::Error&gt; (Pointer(ReifyFnPointer))
23:13-23:44: @14.Call: _44 = std::fmt::ArgumentV1::new::&lt;u32&gt;(move _45, move _46) -&gt; [return: bb15, unwind: bb21]
23:13-23:44: @15[2]: _40 = [move _44]
23:13-23:44: @15[5]: _39 = &amp;_40
23:13-23:44: @15[6]: _38 = &amp;(*_39)
23:13-23:44: @15[7]: _37 = move _38 as &amp;[std::fmt::ArgumentV1] (Pointer(Unsize))
23:13-23:44: @15.Call: _32 = std::fmt::Arguments::new_v1(move _33, move _37) -&gt; [return: bb16, unwind: bb21]
23:13-23:44: @16.Call: _31 = std::io::_print(move _32) -&gt; [return: bb17, unwind: bb21]
23:13-23:44: @17[6]: _30 = const ()
21:33-24:10: @17[8]: _6 = const ()"><span class="annotation">@12,14,15,16,17⦊</span>{</span></span>
<span class="line"><span class="code odd" style="--layer: 1" title="22:26-22:43: @12.Call: _29 = might_overflow(const 1_u32) -&gt; [return: bb14, unwind: bb21]
22:17-22:23: @14[0]: FakeRead(ForLet, _29)
23:22-23:34: @14[7]: _50 = const main::promoted[0]
23:22-23:34: @14[8]: _35 = &amp;(*_50)
23:22-23:34: @14[9]: _34 = &amp;(*_35)
23:22-23:34: @14[10]: _33 = move _34 as &amp;[&amp;str] (Pointer(Unsize))
23:36-23:42: @14[18]: _42 = &amp;_29
23:13-23:44: @14[19]: _41 = (move _42,)
23:13-23:44: @14[21]: FakeRead(ForMatchedPlace, _41)
23:13-23:44: @14[23]: _43 = (_41.0: &amp;u32)
23:13-23:44: @14[26]: _45 = &amp;(*_43)
23:13-23:44: @14[28]: _46 = &lt;u32 as std::fmt::Display&gt;::fmt as for&lt;&#39;r, &#39;s, &#39;t0&gt; fn(&amp;&#39;r u32, &amp;&#39;s mut std::fmt::Formatter&lt;&#39;t0&gt;) -&gt; std::result::Result&lt;(), std::fmt::Error&gt; (Pointer(ReifyFnPointer))
23:13-23:44: @14.Call: _44 = std::fmt::ArgumentV1::new::&lt;u32&gt;(move _45, move _46) -&gt; [return: bb15, unwind: bb21]
23:13-23:44: @15[2]: _40 = [move _44]
23:13-23:44: @15[5]: _39 = &amp;_40
23:13-23:44: @15[6]: _38 = &amp;(*_39)
23:13-23:44: @15[7]: _37 = move _38 as &amp;[std::fmt::ArgumentV1] (Pointer(Unsize))
23:13-23:44: @15.Call: _32 = std::fmt::Arguments::new_v1(move _33, move _37) -&gt; [return: bb16, unwind: bb21]
23:13-23:44: @16.Call: _31 = std::io::_print(move _32) -&gt; [return: bb17, unwind: bb21]
23:13-23:44: @17[6]: _30 = const ()
21:33-24:10: @17[8]: _6 = const ()">            let result = might_overflow(1);</span></span>
<span class="line"><span class="code odd" style="--layer: 1" title="22:26-22:43: @12.Call: _29 = might_overflow(const 1_u32) -&gt; [return: bb14, unwind: bb21]
22:17-22:23: @14[0]: FakeRead(ForLet, _29)
23:22-23:34: @14[7]: _50 = const main::promoted[0]
23:22-23:34: @14[8]: _35 = &amp;(*_50)
23:22-23:34: @14[9]: _34 = &amp;(*_35)
23:22-23:34: @14[10]: _33 = move _34 as &amp;[&amp;str] (Pointer(Unsize))
23:36-23:42: @14[18]: _42 = &amp;_29
23:13-23:44: @14[19]: _41 = (move _42,)
23:13-23:44: @14[21]: FakeRead(ForMatchedPlace, _41)
23:13-23:44: @14[23]: _43 = (_41.0: &amp;u32)
23:13-23:44: @14[26]: _45 = &amp;(*_43)
23:13-23:44: @14[28]: _46 = &lt;u32 as std::fmt::Display&gt;::fmt as for&lt;&#39;r, &#39;s, &#39;t0&gt; fn(&amp;&#39;r u32, &amp;&#39;s mut std::fmt::Formatter&lt;&#39;t0&gt;) -&gt; std::result::Result&lt;(), std::fmt::Error&gt; (Pointer(ReifyFnPointer))
23:13-23:44: @14.Call: _44 = std::fmt::ArgumentV1::new::&lt;u32&gt;(move _45, move _46) -&gt; [return: bb15, unwind: bb21]
23:13-23:44: @15[2]: _40 = [move _44]
23:13-23:44: @15[5]: _39 = &amp;_40
23:13-23:44: @15[6]: _38 = &amp;(*_39)
23:13-23:44: @15[7]: _37 = move _38 as &amp;[std::fmt::ArgumentV1] (Pointer(Unsize))
23:13-23:44: @15.Call: _32 = std::fmt::Arguments::new_v1(move _33, move _37) -&gt; [return: bb16, unwind: bb21]
23:13-23:44: @16.Call: _31 = std::io::_print(move _32) -&gt; [return: bb17, unwind: bb21]
23:13-23:44: @17[6]: _30 = const ()
21:33-24:10: @17[8]: _6 = const ()">            println!("Result: {}", result);</span></span>
<span class="line"><span class="code odd" style="--layer: 1" title="22:26-22:43: @12.Call: _29 = might_overflow(const 1_u32) -&gt; [return: bb14, unwind: bb21]
22:17-22:23: @14[0]: FakeRead(ForLet, _29)
23:22-23:34: @14[7]: _50 = const main::promoted[0]
23:22-23:34: @14[8]: _35 = &amp;(*_50)
23:22-23:34: @14[9]: _34 = &amp;(*_35)
23:22-23:34: @14[10]: _33 = move _34 as &amp;[&amp;str] (Pointer(Unsize))
23:36-23:42: @14[18]: _42 = &amp;_29
23:13-23:44: @14[19]: _41 = (move _42,)
23:13-23:44: @14[21]: FakeRead(ForMatchedPlace, _41)
23:13-23:44: @14[23]: _43 = (_41.0: &amp;u32)
23:13-23:44: @14[26]: _45 = &amp;(*_43)
23:13-23:44: @14[28]: _46 = &lt;u32 as std::fmt::Display&gt;::fmt as for&lt;&#39;r, &#39;s, &#39;t0&gt; fn(&amp;&#39;r u32, &amp;&#39;s mut std::fmt::Formatter&lt;&#39;t0&gt;) -&gt; std::result::Result&lt;(), std::fmt::Error&gt; (Pointer(ReifyFnPointer))
23:13-23:44: @14.Call: _44 = std::fmt::ArgumentV1::new::&lt;u32&gt;(move _45, move _46) -&gt; [return: bb15, unwind: bb21]
23:13-23:44: @15[2]: _40 = [move _44]
23:13-23:44: @15[5]: _39 = &amp;_40
23:13-23:44: @15[6]: _38 = &amp;(*_39)
23:13-23:44: @15[7]: _37 = move _38 as &amp;[std::fmt::ArgumentV1] (Pointer(Unsize))
23:13-23:44: @15.Call: _32 = std::fmt::Arguments::new_v1(move _33, move _37) -&gt; [return: bb16, unwind: bb21]
23:13-23:44: @16.Call: _31 = std::io::_print(move _32) -&gt; [return: bb17, unwind: bb21]
23:13-23:44: @17[6]: _30 = const ()
21:33-24:10: @17[8]: _6 = const ()">        }<span class="annotation">⦉@12,14,15,16,17</span></span></span><span><span class="code even" style="--layer: 1" title="24:10-24:10: @13[0]: _6 = const ()"><span class="annotation">@13⦊</span>‸<span class="annotation">⦉@13</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="25:9-25:23: @19[2]: _47 = CheckedSub(_1, const 1_i32)
25:9-25:23: @20[0]: _1 = move (_47.0: i32)"><span class="annotation">@19,20⦊</span>countdown -= 1<span class="annotation">⦉@19,20</span></span></span><span class="code" style="--layer: 0">;</span></span>
<span class="line"><span class="code" style="--layer: 0">    }</span></span>
<span class="line"><span class="code" style="--layer: 0">    </span><span><span class="code even" style="--layer: 1" title="27:8-27:10: @4[4]: _49 = ()
27:5-27:11: @4[5]: _0 = std::result::Result::&lt;(), u8&gt;::Ok(move _49)
28:2-28:2: @4.Return: return"><span class="annotation">@4⦊</span>Ok(())</span></span>
<span class="line"><span class="code even" style="--layer: 1" title="27:8-27:10: @4[4]: _49 = ()
27:5-27:11: @4[5]: _0 = std::result::Result::&lt;(), u8&gt;::Ok(move _49)
28:2-28:2: @4.Return: return">}<span class="annotation">⦉@4</span></span></span></span></div>
</body>
</html>
Commit	Line	Data
fc512014 XL	1	<!DOCTYPE html>
	2	<!--
	3
	4	Preview this file as rendered HTML from the github source at:
	5	https://htmlpreview.github.io/?https://github.com/rust-lang/rust/blob/master/src/test/run-make-fulldeps/coverage-spanview/expected_mir_dump.overflow/overflow.main.-------.InstrumentCoverage.0.html
	6
	7	For revisions in Pull Requests (PR):
	8	* Replace "rust-lang" with the github PR author
	9	* Replace "master" with the PR branch name
	10
	11	-->
	12	<html>
	13	<head>
	14	<title>overflow.main - Coverage Spans</title>
	15	<style>
	16	.line {
	17	counter-increment: line;
	18	}
	19	.line:before {
	20	content: counter(line) ": ";
	21	font-family: Menlo, Monaco, monospace;
	22	font-style: italic;
	23	width: 3.8em;
	24	display: inline-block;
	25	text-align: right;
	26	filter: opacity(50%);
	27	-webkit-user-select: none;
	28	}
	29	.code {
	30	color: #dddddd;
	31	background-color: #222222;
	32	font-family: Menlo, Monaco, monospace;
	33	line-height: 1.4em;
	34	border-bottom: 2px solid #222222;
	35	white-space: pre;
	36	display: inline-block;
	37	}
	38	.odd {
	39	background-color: #55bbff;
	40	color: #223311;
	41	}
	42	.even {
	43	background-color: #ee7756;
	44	color: #551133;
	45	}
	46	.code {
	47	--index: calc(var(--layer) - 1);
	48	padding-top: calc(var(--index) * 0.15em);
	49	filter:
	50	hue-rotate(calc(var(--index) * 25deg))
	51	saturate(calc(100% - (var(--index) * 2%)))
	52	brightness(calc(100% - (var(--index) * 1.5%)));
	53	}
	54	.annotation {
	55	color: #4444ff;
	56	font-family: monospace;
	57	font-style: italic;
	58	display: none;
	59	-webkit-user-select: none;
	60	}
	61	body:active .annotation {
	62	/* requires holding mouse down anywhere on the page */
	63	display: inline-block;
	64	}
65	span:hover .annotation {
66	/* requires hover over a span ONLY on its first line */
67	display: inline-block;
68	}
69	</style>
70	</head>
71	<body>
72	<div class="code" style="counter-reset: line 14"><span class="line"><span><span class="code even" style="--layer: 1" title="16:25-16:27: @0[1]: _1 = const 10_i32
73	16:9-16:22: @0[2]: FakeRead(ForLet, _1)"><span class="annotation">@0⦊</span>fn main() -> Result<(),u8> {</span></span>
74	<span class="line"><span class="code even" style="--layer: 1" title="16:25-16:27: @0[1]: _1 = const 10_i32
75	16:9-16:22: @0[2]: FakeRead(ForLet, _1)"> let mut countdown = 10<span class="annotation">⦉@0</span></span></span><span class="code" style="--layer: 0">;</span></span>
76	<span class="line"><span class="code" style="--layer: 0"> while </span><span><span class="code odd" style="--layer: 1" title="17:11-17:20: @2[2]: _5 = _1
77	17:11-17:24: @2[3]: _4 = Gt(move _5, const 0_i32)
78	17:11-17:24: @2[5]: FakeRead(ForMatchedPlace, _4)"><span class="annotation">@1,2⦊</span>countdown > 0<span class="annotation">⦉@1,2</span></span></span><span class="code" style="--layer: 0"> {</span></span>
79	<span class="line"><span class="code" style="--layer: 0"> if </span><span><span class="code even" style="--layer: 1" title="18:12-18:21: @5[3]: _8 = _1
5869c6ff XL	80	18:12-18:26: @5[4]: _7 = Eq(move _8, const 1_i32)"><span class="annotation">@3,5⦊</span>countdown == 1<span class="annotation">⦉@3,5</span></span></span><span class="code" style="--layer: 0"> </span><span><span class="code odd" style="--layer: 1" title="19:26-19:44: @6.Call: _9 = might_overflow(const 10_u32) -> [return: bb8, unwind: bb21]
	81	19:17-19:23: @8[0]: FakeRead(ForLet, _9)
	82	20:22-20:34: @8[7]: _51 = const main::promoted[1]
	83	20:22-20:34: @8[8]: _15 = &(*_51)
	84	20:22-20:34: @8[9]: _14 = &(*_15)
	85	20:22-20:34: @8[10]: _13 = move _14 as &[&str] (Pointer(Unsize))
	86	20:36-20:42: @8[18]: _22 = &_9
	87	20:13-20:44: @8[19]: _21 = (move _22,)
	88	20:13-20:44: @8[21]: FakeRead(ForMatchedPlace, _21)
	89	20:13-20:44: @8[23]: _23 = (_21.0: &u32)
	90	20:13-20:44: @8[26]: _25 = &(*_23)
	91	20:13-20:44: @8[28]: _26 = <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))
6a06907d	92	20:13-20:44: @8.Call: _24 = std::fmt::ArgumentV1::new::<u32>(move _25, move _26) -> [return: bb9, unwind: bb21]
5869c6ff XL	93	20:13-20:44: @9[2]: _20 = [move _24]
	94	20:13-20:44: @9[5]: _19 = &_20
	95	20:13-20:44: @9[6]: _18 = &(*_19)
	96	20:13-20:44: @9[7]: _17 = move _18 as &[std::fmt::ArgumentV1] (Pointer(Unsize))
6a06907d XL	97	20:13-20:44: @9.Call: _12 = std::fmt::Arguments::new_v1(move _13, move _17) -> [return: bb10, unwind: bb21]
6a06907d XL	98	20:13-20:44: @10.Call: _11 = std::io::_print(move _12) -> [return: bb11, unwind: bb21]
5869c6ff XL	99	20:13-20:44: @11[6]: _10 = const ()
	100	18:27-21:10: @11[8]: _6 = const ()"><span class="annotation">@6,8,9,10,11⦊</span>{</span></span>
	101	<span class="line"><span class="code odd" style="--layer: 1" title="19:26-19:44: @6.Call: _9 = might_overflow(const 10_u32) -> [return: bb8, unwind: bb21]
	102	19:17-19:23: @8[0]: FakeRead(ForLet, _9)
	103	20:22-20:34: @8[7]: _51 = const main::promoted[1]
	104	20:22-20:34: @8[8]: _15 = &(*_51)
	105	20:22-20:34: @8[9]: _14 = &(*_15)
	106	20:22-20:34: @8[10]: _13 = move _14 as &[&str] (Pointer(Unsize))
	107	20:36-20:42: @8[18]: _22 = &_9
	108	20:13-20:44: @8[19]: _21 = (move _22,)
	109	20:13-20:44: @8[21]: FakeRead(ForMatchedPlace, _21)
	110	20:13-20:44: @8[23]: _23 = (_21.0: &u32)
	111	20:13-20:44: @8[26]: _25 = &(*_23)
	112	20:13-20:44: @8[28]: _26 = <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))
6a06907d	113	20:13-20:44: @8.Call: _24 = std::fmt::ArgumentV1::new::<u32>(move _25, move _26) -> [return: bb9, unwind: bb21]
5869c6ff XL	114	20:13-20:44: @9[2]: _20 = [move _24]
	115	20:13-20:44: @9[5]: _19 = &_20
	116	20:13-20:44: @9[6]: _18 = &(*_19)
	117	20:13-20:44: @9[7]: _17 = move _18 as &[std::fmt::ArgumentV1] (Pointer(Unsize))
6a06907d XL	118	20:13-20:44: @9.Call: _12 = std::fmt::Arguments::new_v1(move _13, move _17) -> [return: bb10, unwind: bb21]
6a06907d XL	119	20:13-20:44: @10.Call: _11 = std::io::_print(move _12) -> [return: bb11, unwind: bb21]
5869c6ff XL	120	20:13-20:44: @11[6]: _10 = const ()
	121	18:27-21:10: @11[8]: _6 = const ()"> let result = might_overflow(10);</span></span>
	122	<span class="line"><span class="code odd" style="--layer: 1" title="19:26-19:44: @6.Call: _9 = might_overflow(const 10_u32) -> [return: bb8, unwind: bb21]
	123	19:17-19:23: @8[0]: FakeRead(ForLet, _9)
	124	20:22-20:34: @8[7]: _51 = const main::promoted[1]
	125	20:22-20:34: @8[8]: _15 = &(*_51)
	126	20:22-20:34: @8[9]: _14 = &(*_15)
	127	20:22-20:34: @8[10]: _13 = move _14 as &[&str] (Pointer(Unsize))
	128	20:36-20:42: @8[18]: _22 = &_9
	129	20:13-20:44: @8[19]: _21 = (move _22,)
	130	20:13-20:44: @8[21]: FakeRead(ForMatchedPlace, _21)
	131	20:13-20:44: @8[23]: _23 = (_21.0: &u32)
	132	20:13-20:44: @8[26]: _25 = &(*_23)
	133	20:13-20:44: @8[28]: _26 = <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))
6a06907d	134	20:13-20:44: @8.Call: _24 = std::fmt::ArgumentV1::new::<u32>(move _25, move _26) -> [return: bb9, unwind: bb21]
5869c6ff XL	135	20:13-20:44: @9[2]: _20 = [move _24]
	136	20:13-20:44: @9[5]: _19 = &_20
	137	20:13-20:44: @9[6]: _18 = &(*_19)
	138	20:13-20:44: @9[7]: _17 = move _18 as &[std::fmt::ArgumentV1] (Pointer(Unsize))
6a06907d XL	139	20:13-20:44: @9.Call: _12 = std::fmt::Arguments::new_v1(move _13, move _17) -> [return: bb10, unwind: bb21]
6a06907d XL	140	20:13-20:44: @10.Call: _11 = std::io::_print(move _12) -> [return: bb11, unwind: bb21]
5869c6ff XL	141	20:13-20:44: @11[6]: _10 = const ()
	142	18:27-21:10: @11[8]: _6 = const ()"> println!("Result: {}", result);</span></span>
	143	<span class="line"><span class="code odd" style="--layer: 1" title="19:26-19:44: @6.Call: _9 = might_overflow(const 10_u32) -> [return: bb8, unwind: bb21]
	144	19:17-19:23: @8[0]: FakeRead(ForLet, _9)
	145	20:22-20:34: @8[7]: _51 = const main::promoted[1]
	146	20:22-20:34: @8[8]: _15 = &(*_51)
	147	20:22-20:34: @8[9]: _14 = &(*_15)
	148	20:22-20:34: @8[10]: _13 = move _14 as &[&str] (Pointer(Unsize))
	149	20:36-20:42: @8[18]: _22 = &_9
	150	20:13-20:44: @8[19]: _21 = (move _22,)
	151	20:13-20:44: @8[21]: FakeRead(ForMatchedPlace, _21)
	152	20:13-20:44: @8[23]: _23 = (_21.0: &u32)
	153	20:13-20:44: @8[26]: _25 = &(*_23)
	154	20:13-20:44: @8[28]: _26 = <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))
6a06907d	155	20:13-20:44: @8.Call: _24 = std::fmt::ArgumentV1::new::<u32>(move _25, move _26) -> [return: bb9, unwind: bb21]
5869c6ff XL	156	20:13-20:44: @9[2]: _20 = [move _24]
	157	20:13-20:44: @9[5]: _19 = &_20
	158	20:13-20:44: @9[6]: _18 = &(*_19)
	159	20:13-20:44: @9[7]: _17 = move _18 as &[std::fmt::ArgumentV1] (Pointer(Unsize))
6a06907d XL	160	20:13-20:44: @9.Call: _12 = std::fmt::Arguments::new_v1(move _13, move _17) -> [return: bb10, unwind: bb21]
6a06907d XL	161	20:13-20:44: @10.Call: _11 = std::io::_print(move _12) -> [return: bb11, unwind: bb21]
5869c6ff XL	162	20:13-20:44: @11[6]: _10 = const ()
	163	18:27-21:10: @11[8]: _6 = const ()"> }<span class="annotation">⦉@6,8,9,10,11</span></span></span><span class="code" style="--layer: 0"> else if </span><span><span class="code even" style="--layer: 1" title="21:19-21:28: @7[2]: _28 = _1
	164	21:19-21:32: @7[3]: _27 = Lt(move _28, const 5_i32)"><span class="annotation">@7⦊</span>countdown < 5<span class="annotation">⦉@7</span></span></span><span class="code" style="--layer: 0"> </span><span><span class="code odd" style="--layer: 1" title="22:26-22:43: @12.Call: _29 = might_overflow(const 1_u32) -> [return: bb14, unwind: bb21]
	165	22:17-22:23: @14[0]: FakeRead(ForLet, _29)
	166	23:22-23:34: @14[7]: _50 = const main::promoted[0]
	167	23:22-23:34: @14[8]: _35 = &(*_50)
	168	23:22-23:34: @14[9]: _34 = &(*_35)
	169	23:22-23:34: @14[10]: _33 = move _34 as &[&str] (Pointer(Unsize))
	170	23:36-23:42: @14[18]: _42 = &_29
	171	23:13-23:44: @14[19]: _41 = (move _42,)
	172	23:13-23:44: @14[21]: FakeRead(ForMatchedPlace, _41)
	173	23:13-23:44: @14[23]: _43 = (_41.0: &u32)
	174	23:13-23:44: @14[26]: _45 = &(*_43)
	175	23:13-23:44: @14[28]: _46 = <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))
6a06907d	176	23:13-23:44: @14.Call: _44 = std::fmt::ArgumentV1::new::<u32>(move _45, move _46) -> [return: bb15, unwind: bb21]
5869c6ff XL	177	23:13-23:44: @15[2]: _40 = [move _44]
	178	23:13-23:44: @15[5]: _39 = &_40
	179	23:13-23:44: @15[6]: _38 = &(*_39)
	180	23:13-23:44: @15[7]: _37 = move _38 as &[std::fmt::ArgumentV1] (Pointer(Unsize))
6a06907d XL	181	23:13-23:44: @15.Call: _32 = std::fmt::Arguments::new_v1(move _33, move _37) -> [return: bb16, unwind: bb21]
6a06907d XL	182	23:13-23:44: @16.Call: _31 = std::io::_print(move _32) -> [return: bb17, unwind: bb21]
5869c6ff XL	183	23:13-23:44: @17[6]: _30 = const ()
	184	21:33-24:10: @17[8]: _6 = const ()"><span class="annotation">@12,14,15,16,17⦊</span>{</span></span>
	185	<span class="line"><span class="code odd" style="--layer: 1" title="22:26-22:43: @12.Call: _29 = might_overflow(const 1_u32) -> [return: bb14, unwind: bb21]
	186	22:17-22:23: @14[0]: FakeRead(ForLet, _29)
	187	23:22-23:34: @14[7]: _50 = const main::promoted[0]
	188	23:22-23:34: @14[8]: _35 = &(*_50)
	189	23:22-23:34: @14[9]: _34 = &(*_35)
	190	23:22-23:34: @14[10]: _33 = move _34 as &[&str] (Pointer(Unsize))
	191	23:36-23:42: @14[18]: _42 = &_29
	192	23:13-23:44: @14[19]: _41 = (move _42,)
	193	23:13-23:44: @14[21]: FakeRead(ForMatchedPlace, _41)
	194	23:13-23:44: @14[23]: _43 = (_41.0: &u32)
	195	23:13-23:44: @14[26]: _45 = &(*_43)
	196	23:13-23:44: @14[28]: _46 = <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))
6a06907d	197	23:13-23:44: @14.Call: _44 = std::fmt::ArgumentV1::new::<u32>(move _45, move _46) -> [return: bb15, unwind: bb21]
5869c6ff XL	198	23:13-23:44: @15[2]: _40 = [move _44]
	199	23:13-23:44: @15[5]: _39 = &_40
	200	23:13-23:44: @15[6]: _38 = &(*_39)
	201	23:13-23:44: @15[7]: _37 = move _38 as &[std::fmt::ArgumentV1] (Pointer(Unsize))
6a06907d XL	202	23:13-23:44: @15.Call: _32 = std::fmt::Arguments::new_v1(move _33, move _37) -> [return: bb16, unwind: bb21]
6a06907d XL	203	23:13-23:44: @16.Call: _31 = std::io::_print(move _32) -> [return: bb17, unwind: bb21]
5869c6ff XL	204	23:13-23:44: @17[6]: _30 = const ()
	205	21:33-24:10: @17[8]: _6 = const ()"> let result = might_overflow(1);</span></span>
	206	<span class="line"><span class="code odd" style="--layer: 1" title="22:26-22:43: @12.Call: _29 = might_overflow(const 1_u32) -> [return: bb14, unwind: bb21]
	207	22:17-22:23: @14[0]: FakeRead(ForLet, _29)
	208	23:22-23:34: @14[7]: _50 = const main::promoted[0]
	209	23:22-23:34: @14[8]: _35 = &(*_50)
	210	23:22-23:34: @14[9]: _34 = &(*_35)
	211	23:22-23:34: @14[10]: _33 = move _34 as &[&str] (Pointer(Unsize))
	212	23:36-23:42: @14[18]: _42 = &_29
	213	23:13-23:44: @14[19]: _41 = (move _42,)
	214	23:13-23:44: @14[21]: FakeRead(ForMatchedPlace, _41)
	215	23:13-23:44: @14[23]: _43 = (_41.0: &u32)
	216	23:13-23:44: @14[26]: _45 = &(*_43)
	217	23:13-23:44: @14[28]: _46 = <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))
6a06907d	218	23:13-23:44: @14.Call: _44 = std::fmt::ArgumentV1::new::<u32>(move _45, move _46) -> [return: bb15, unwind: bb21]
5869c6ff XL	219	23:13-23:44: @15[2]: _40 = [move _44]
	220	23:13-23:44: @15[5]: _39 = &_40
	221	23:13-23:44: @15[6]: _38 = &(*_39)
	222	23:13-23:44: @15[7]: _37 = move _38 as &[std::fmt::ArgumentV1] (Pointer(Unsize))
6a06907d XL	223	23:13-23:44: @15.Call: _32 = std::fmt::Arguments::new_v1(move _33, move _37) -> [return: bb16, unwind: bb21]
6a06907d XL	224	23:13-23:44: @16.Call: _31 = std::io::_print(move _32) -> [return: bb17, unwind: bb21]
5869c6ff XL	225	23:13-23:44: @17[6]: _30 = const ()
	226	21:33-24:10: @17[8]: _6 = const ()"> println!("Result: {}", result);</span></span>
	227	<span class="line"><span class="code odd" style="--layer: 1" title="22:26-22:43: @12.Call: _29 = might_overflow(const 1_u32) -> [return: bb14, unwind: bb21]
	228	22:17-22:23: @14[0]: FakeRead(ForLet, _29)
	229	23:22-23:34: @14[7]: _50 = const main::promoted[0]
	230	23:22-23:34: @14[8]: _35 = &(*_50)
	231	23:22-23:34: @14[9]: _34 = &(*_35)
	232	23:22-23:34: @14[10]: _33 = move _34 as &[&str] (Pointer(Unsize))
	233	23:36-23:42: @14[18]: _42 = &_29
	234	23:13-23:44: @14[19]: _41 = (move _42,)
	235	23:13-23:44: @14[21]: FakeRead(ForMatchedPlace, _41)
	236	23:13-23:44: @14[23]: _43 = (_41.0: &u32)
	237	23:13-23:44: @14[26]: _45 = &(*_43)
	238	23:13-23:44: @14[28]: _46 = <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))
6a06907d	239	23:13-23:44: @14.Call: _44 = std::fmt::ArgumentV1::new::<u32>(move _45, move _46) -> [return: bb15, unwind: bb21]
5869c6ff XL	240	23:13-23:44: @15[2]: _40 = [move _44]
	241	23:13-23:44: @15[5]: _39 = &_40
	242	23:13-23:44: @15[6]: _38 = &(*_39)
	243	23:13-23:44: @15[7]: _37 = move _38 as &[std::fmt::ArgumentV1] (Pointer(Unsize))
6a06907d XL	244	23:13-23:44: @15.Call: _32 = std::fmt::Arguments::new_v1(move _33, move _37) -> [return: bb16, unwind: bb21]
6a06907d XL	245	23:13-23:44: @16.Call: _31 = std::io::_print(move _32) -> [return: bb17, unwind: bb21]
5869c6ff XL	246	23:13-23:44: @17[6]: _30 = const ()
	247	21:33-24:10: @17[8]: _6 = const ()"> }<span class="annotation">⦉@12,14,15,16,17</span></span></span><span><span class="code even" style="--layer: 1" title="24:10-24:10: @13[0]: _6 = const ()"><span class="annotation">@13⦊</span>‸<span class="annotation">⦉@13</span></span></span><span class="code" style="--layer: 0"></span></span>
	248	<span class="line"><span class="code" style="--layer: 0"> </span><span><span class="code odd" style="--layer: 1" title="25:9-25:23: @19[2]: _47 = CheckedSub(_1, const 1_i32)
	249	25:9-25:23: @20[0]: _1 = move (_47.0: i32)"><span class="annotation">@19,20⦊</span>countdown -= 1<span class="annotation">⦉@19,20</span></span></span><span class="code" style="--layer: 0">;</span></span>
fc512014 XL	250	<span class="line"><span class="code" style="--layer: 0"> }</span></span>
	251	<span class="line"><span class="code" style="--layer: 0"> </span><span><span class="code even" style="--layer: 1" title="27:8-27:10: @4[4]: _49 = ()
	252	27:5-27:11: @4[5]: _0 = std::result::Result::<(), u8>::Ok(move _49)
	253	28:2-28:2: @4.Return: return"><span class="annotation">@4⦊</span>Ok(())</span></span>
	254	<span class="line"><span class="code even" style="--layer: 1" title="27:8-27:10: @4[4]: _49 = ()
	255	27:5-27:11: @4[5]: _0 = std::result::Result::<(), u8>::Ok(move _49)
	256	28:2-28:2: @4.Return: return">}<span class="annotation">⦉@4</span></span></span></span></div>
	257	</body>
	258	</html>