[rustc.git] / src / test / run-make-fulldeps / coverage-spanview / expected_mir_dump.simple_match / simple_match.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.simple_match/simple_match.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>simple_match.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 2"><span class="line"><span><span class="code even" style="--layer: 1" title="7:19-7:35: @0.Call: _4 = args() -&gt; [return: bb1, unwind: bb21]
7:19-7:35: @1[0]: _3 = &amp;_4
7:19-7:41: @1.Call: _2 = &lt;Args as ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb20]
7:19-7:46: @2[1]: _1 = Eq(move _2, const 1_usize)
7:9-7:16: @2[3]: FakeRead(ForLet, _1)
9:25-9:26: @3[2]: _5 = const 1_i32
9:9-9:22: @3[3]: FakeRead(ForLet, _5)
10:8-10:15: @3[6]: _7 = _1"><span class="annotation">@0,1,2,3⦊</span>fn main() {</span></span>
<span class="line"><span class="code even" style="--layer: 1" title="7:19-7:35: @0.Call: _4 = args() -&gt; [return: bb1, unwind: bb21]
7:19-7:35: @1[0]: _3 = &amp;_4
7:19-7:41: @1.Call: _2 = &lt;Args as ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb20]
7:19-7:46: @2[1]: _1 = Eq(move _2, const 1_usize)
7:9-7:16: @2[3]: FakeRead(ForLet, _1)
9:25-9:26: @3[2]: _5 = const 1_i32
9:9-9:22: @3[3]: FakeRead(ForLet, _5)
10:8-10:15: @3[6]: _7 = _1">    // Initialize test constants in a way that cannot be determined at compile time, to ensure</span></span>
<span class="line"><span class="code even" style="--layer: 1" title="7:19-7:35: @0.Call: _4 = args() -&gt; [return: bb1, unwind: bb21]
7:19-7:35: @1[0]: _3 = &amp;_4
7:19-7:41: @1.Call: _2 = &lt;Args as ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb20]
7:19-7:46: @2[1]: _1 = Eq(move _2, const 1_usize)
7:9-7:16: @2[3]: FakeRead(ForLet, _1)
9:25-9:26: @3[2]: _5 = const 1_i32
9:9-9:22: @3[3]: FakeRead(ForLet, _5)
10:8-10:15: @3[6]: _7 = _1">    // rustc and LLVM cannot optimize out statements (or coverage counters) downstream from</span></span>
<span class="line"><span class="code even" style="--layer: 1" title="7:19-7:35: @0.Call: _4 = args() -&gt; [return: bb1, unwind: bb21]
7:19-7:35: @1[0]: _3 = &amp;_4
7:19-7:41: @1.Call: _2 = &lt;Args as ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb20]
7:19-7:46: @2[1]: _1 = Eq(move _2, const 1_usize)
7:9-7:16: @2[3]: FakeRead(ForLet, _1)
9:25-9:26: @3[2]: _5 = const 1_i32
9:9-9:22: @3[3]: FakeRead(ForLet, _5)
10:8-10:15: @3[6]: _7 = _1">    // dependent conditions.</span></span>
<span class="line"><span class="code even" style="--layer: 1" title="7:19-7:35: @0.Call: _4 = args() -&gt; [return: bb1, unwind: bb21]
7:19-7:35: @1[0]: _3 = &amp;_4
7:19-7:41: @1.Call: _2 = &lt;Args as ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb20]
7:19-7:46: @2[1]: _1 = Eq(move _2, const 1_usize)
7:9-7:16: @2[3]: FakeRead(ForLet, _1)
9:25-9:26: @3[2]: _5 = const 1_i32
9:9-9:22: @3[3]: FakeRead(ForLet, _5)
10:8-10:15: @3[6]: _7 = _1">    let is_true = std::env::args().len() == 1;</span></span>
<span class="line"><span class="code even" style="--layer: 1" title="7:19-7:35: @0.Call: _4 = args() -&gt; [return: bb1, unwind: bb21]
7:19-7:35: @1[0]: _3 = &amp;_4
7:19-7:41: @1.Call: _2 = &lt;Args as ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb20]
7:19-7:46: @2[1]: _1 = Eq(move _2, const 1_usize)
7:9-7:16: @2[3]: FakeRead(ForLet, _1)
9:25-9:26: @3[2]: _5 = const 1_i32
9:9-9:22: @3[3]: FakeRead(ForLet, _5)
10:8-10:15: @3[6]: _7 = _1"></span></span>
<span class="line"><span class="code even" style="--layer: 1" title="7:19-7:35: @0.Call: _4 = args() -&gt; [return: bb1, unwind: bb21]
7:19-7:35: @1[0]: _3 = &amp;_4
7:19-7:41: @1.Call: _2 = &lt;Args as ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb20]
7:19-7:46: @2[1]: _1 = Eq(move _2, const 1_usize)
7:9-7:16: @2[3]: FakeRead(ForLet, _1)
9:25-9:26: @3[2]: _5 = const 1_i32
9:9-9:22: @3[3]: FakeRead(ForLet, _5)
10:8-10:15: @3[6]: _7 = _1">    let mut countdown = 1;</span></span>
<span class="line"><span class="code even" style="--layer: 1" title="7:19-7:35: @0.Call: _4 = args() -&gt; [return: bb1, unwind: bb21]
7:19-7:35: @1[0]: _3 = &amp;_4
7:19-7:41: @1.Call: _2 = &lt;Args as ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb20]
7:19-7:46: @2[1]: _1 = Eq(move _2, const 1_usize)
7:9-7:16: @2[3]: FakeRead(ForLet, _1)
9:25-9:26: @3[2]: _5 = const 1_i32
9:9-9:22: @3[3]: FakeRead(ForLet, _5)
10:8-10:15: @3[6]: _7 = _1">    if is_true<span class="annotation">⦉@0,1,2,3</span></span></span><span class="code" style="--layer: 0"> </span><span><span class="code odd" style="--layer: 1" title="11:9-11:22: @4[0]: _5 = const 0_i32
10:16-12:6: @4[1]: _6 = const ()"><span class="annotation">@4⦊</span>{</span></span>
<span class="line"><span class="code odd" style="--layer: 1" title="11:9-11:22: @4[0]: _5 = const 0_i32
10:16-12:6: @4[1]: _6 = const ()">        countdown = 0;</span></span>
<span class="line"><span class="code odd" style="--layer: 1" title="11:9-11:22: @4[0]: _5 = const 0_i32
10:16-12:6: @4[1]: _6 = const ()">    }<span class="annotation">⦉@4</span></span></span><span><span class="code even" style="--layer: 1" title="12:6-12:6: @5[0]: _6 = const ()"><span class="annotation">@5⦊</span>‸<span class="annotation">⦉@5</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">    for</span></span>
<span class="line"><span class="code" style="--layer: 0">        </span><span><span class="code odd" style="--layer: 1" title="15:9-15:10: @14[1]: _18 = ((_14 as Some).0: i32)
15:9-15:10: @14[3]: _19 = _18
15:9-15:10: @14[4]: _12 = move _19
15:9-15:10: @14[5]: _13 = const ()"><span class="annotation">@12,14,16⦊</span>_<span class="annotation">⦉@12,14,16</span></span></span><span class="code" style="--layer: 0"></span></span>
<span class="line"><span class="code" style="--layer: 0">    in</span></span>
<span class="line"><span class="code" style="--layer: 0">        </span><span><span class="code even" style="--layer: 1" title="17:9-17:13: @9[5]: _16 = &amp;mut _10
17:9-17:13: @9[6]: _15 = &amp;mut (*_16)
17:9-17:13: @9.Call: _14 = &lt;std::ops::Range&lt;i32&gt; as Iterator&gt;::next(move _15) -&gt; [return: bb10, unwind: bb21]
17:9-17:13: @10[1]: FakeRead(ForMatchedPlace, _14)"><span class="annotation">@8,9,10⦊</span>0..2<span class="annotation">⦉@8,9,10</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">        let z</span></span>
<span class="line"><span class="code" style="--layer: 0">        ;</span></span>
<span class="line"><span class="code" style="--layer: 0">        match</span></span>
<span class="line"><span class="code" style="--layer: 0">            </span><span><span class="code odd" style="--layer: 1" title="22:13-22:22: @14[13]: FakeRead(ForMatchedPlace, _5)"><span class="annotation">@12,14,16⦊</span>countdown<span class="annotation">⦉@12,14,16</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="24:13-24:14: @17[3]: _23 = _5"><span class="annotation">@17⦊</span>x<span class="annotation">⦉@17</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="line"><span class="code" style="--layer: 0">                </span><span><span class="code odd" style="--layer: 1" title="26:17-26:18: @16[4]: _26 = (*_24)
26:17-28:18: @16[5]: _25 = Lt(move _26, const 1_i32)"><span class="annotation">@12,14,16⦊</span>x</span></span>
<span class="line"><span class="code odd" style="--layer: 1" title="26:17-26:18: @16[4]: _26 = (*_24)
26:17-28:18: @16[5]: _25 = Lt(move _26, const 1_i32)">                    &lt;</span></span>
<span class="line"><span class="code odd" style="--layer: 1" title="26:17-26:18: @16[4]: _26 = (*_24)
26:17-28:18: @16[5]: _25 = Lt(move _26, const 1_i32)">                1<span class="annotation">⦉@12,14,16</span></span></span><span class="code" style="--layer: 0"></span></span>
<span class="line"><span class="code" style="--layer: 0">            =&gt;</span></span>
<span class="line"><span class="code" style="--layer: 0">            </span><span><span class="code even" style="--layer: 1" title="31:21-31:30: @17[5]: _27 = _5
31:17-31:30: @17[6]: _22 = move _27
33:25-33:34: @17[9]: _28 = _5
33:21-33:22: @17[10]: FakeRead(ForLet, _28)
35:17-35:31: @17[11]: _5 = const 10_i32
30:13-37:14: @17[12]: _21 = const ()"><span class="annotation">@17⦊</span>{</span></span>
<span class="line"><span class="code even" style="--layer: 1" title="31:21-31:30: @17[5]: _27 = _5
31:17-31:30: @17[6]: _22 = move _27
33:25-33:34: @17[9]: _28 = _5
33:21-33:22: @17[10]: FakeRead(ForLet, _28)
35:17-35:31: @17[11]: _5 = const 10_i32
30:13-37:14: @17[12]: _21 = const ()">                z = countdown</span></span>
<span class="line"><span class="code even" style="--layer: 1" title="31:21-31:30: @17[5]: _27 = _5
31:17-31:30: @17[6]: _22 = move _27
33:25-33:34: @17[9]: _28 = _5
33:21-33:22: @17[10]: FakeRead(ForLet, _28)
35:17-35:31: @17[11]: _5 = const 10_i32
30:13-37:14: @17[12]: _21 = const ()">                ;</span></span>
<span class="line"><span class="code even" style="--layer: 1" title="31:21-31:30: @17[5]: _27 = _5
31:17-31:30: @17[6]: _22 = move _27
33:25-33:34: @17[9]: _28 = _5
33:21-33:22: @17[10]: FakeRead(ForLet, _28)
35:17-35:31: @17[11]: _5 = const 10_i32
30:13-37:14: @17[12]: _21 = const ()">                let y = countdown</span></span>
<span class="line"><span class="code even" style="--layer: 1" title="31:21-31:30: @17[5]: _27 = _5
31:17-31:30: @17[6]: _22 = move _27
33:25-33:34: @17[9]: _28 = _5
33:21-33:22: @17[10]: FakeRead(ForLet, _28)
35:17-35:31: @17[11]: _5 = const 10_i32
30:13-37:14: @17[12]: _21 = const ()">                ;</span></span>
<span class="line"><span class="code even" style="--layer: 1" title="31:21-31:30: @17[5]: _27 = _5
31:17-31:30: @17[6]: _22 = move _27
33:25-33:34: @17[9]: _28 = _5
33:21-33:22: @17[10]: FakeRead(ForLet, _28)
35:17-35:31: @17[11]: _5 = const 10_i32
30:13-37:14: @17[12]: _21 = const ()">                countdown = 10</span></span>
<span class="line"><span class="code even" style="--layer: 1" title="31:21-31:30: @17[5]: _27 = _5
31:17-31:30: @17[6]: _22 = move _27
33:25-33:34: @17[9]: _28 = _5
33:21-33:22: @17[10]: FakeRead(ForLet, _28)
35:17-35:31: @17[11]: _5 = const 10_i32
30:13-37:14: @17[12]: _21 = const ()">                ;</span></span>
<span class="line"><span class="code even" style="--layer: 1" title="31:21-31:30: @17[5]: _27 = _5
31:17-31:30: @17[6]: _22 = move _27
33:25-33:34: @17[9]: _28 = _5
33:21-33:22: @17[10]: FakeRead(ForLet, _28)
35:17-35:31: @17[11]: _5 = const 10_i32
30:13-37:14: @17[12]: _21 = const ()">            }<span class="annotation">⦉@17</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">            =&gt;</span></span>
<span class="line"><span class="code" style="--layer: 0">            </span><span><span class="code odd" style="--layer: 1" title="40:13-40:15: @15[0]: _21 = const ()"><span class="annotation">@15⦊</span>{}<span class="annotation">⦉@15</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="line"><span class="code" style="--layer: 0">}</span><span><span class="code even" style="--layer: 1" title="43:2-43:2: @11.Return: return"><span class="annotation">@11⦊</span>‸<span class="annotation">⦉@11</span></span></span></span></div>
</body>
</html>
Commit	Line	Data
29967ef6 XL	1	<!DOCTYPE html>
	2	<!--
	3
	4	Preview this file as rendered HTML from the github source at:
fc512014	5	https://htmlpreview.github.io/?https://github.com/rust-lang/rust/blob/master/src/test/run-make-fulldeps/coverage-spanview/expected_mir_dump.simple_match/simple_match.main.-------.InstrumentCoverage.0.html
29967ef6 XL	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>simple_match.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>
5869c6ff	72	<div class="code" style="counter-reset: line 2"><span class="line"><span><span class="code even" style="--layer: 1" title="7:19-7:35: @0.Call: _4 = args() -> [return: bb1, unwind: bb21]
29967ef6	73	7:19-7:35: @1[0]: _3 = &_4
5869c6ff	74	7:19-7:41: @1.Call: _2 = <Args as ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb20]
29967ef6 XL	75	7:19-7:46: @2[1]: _1 = Eq(move _2, const 1_usize)
	76	7:9-7:16: @2[3]: FakeRead(ForLet, _1)
	77	9:25-9:26: @3[2]: _5 = const 1_i32
fc512014	78	9:9-9:22: @3[3]: FakeRead(ForLet, _5)
5869c6ff XL	79	10:8-10:15: @3[6]: _7 = _1"><span class="annotation">@0,1,2,3⦊</span>fn main() {</span></span>
5869c6ff XL	80	<span class="line"><span class="code even" style="--layer: 1" title="7:19-7:35: @0.Call: _4 = args() -> [return: bb1, unwind: bb21]
29967ef6	81	7:19-7:35: @1[0]: _3 = &_4
5869c6ff	82	7:19-7:41: @1.Call: _2 = <Args as ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb20]
29967ef6 XL	83	7:19-7:46: @2[1]: _1 = Eq(move _2, const 1_usize)
	84	7:9-7:16: @2[3]: FakeRead(ForLet, _1)
	85	9:25-9:26: @3[2]: _5 = const 1_i32
fc512014	86	9:9-9:22: @3[3]: FakeRead(ForLet, _5)
5869c6ff XL	87	10:8-10:15: @3[6]: _7 = _1"> // Initialize test constants in a way that cannot be determined at compile time, to ensure</span></span>
5869c6ff XL	88	<span class="line"><span class="code even" style="--layer: 1" title="7:19-7:35: @0.Call: _4 = args() -> [return: bb1, unwind: bb21]
29967ef6	89	7:19-7:35: @1[0]: _3 = &_4
5869c6ff	90	7:19-7:41: @1.Call: _2 = <Args as ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb20]
29967ef6 XL	91	7:19-7:46: @2[1]: _1 = Eq(move _2, const 1_usize)
	92	7:9-7:16: @2[3]: FakeRead(ForLet, _1)
	93	9:25-9:26: @3[2]: _5 = const 1_i32
fc512014	94	9:9-9:22: @3[3]: FakeRead(ForLet, _5)
5869c6ff XL	95	10:8-10:15: @3[6]: _7 = _1"> // rustc and LLVM cannot optimize out statements (or coverage counters) downstream from</span></span>
5869c6ff XL	96	<span class="line"><span class="code even" style="--layer: 1" title="7:19-7:35: @0.Call: _4 = args() -> [return: bb1, unwind: bb21]
fc512014	97	7:19-7:35: @1[0]: _3 = &_4
5869c6ff	98	7:19-7:41: @1.Call: _2 = <Args as ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb20]
fc512014 XL	99	7:19-7:46: @2[1]: _1 = Eq(move _2, const 1_usize)
	100	7:9-7:16: @2[3]: FakeRead(ForLet, _1)
	101	9:25-9:26: @3[2]: _5 = const 1_i32
	102	9:9-9:22: @3[3]: FakeRead(ForLet, _5)
5869c6ff XL	103	10:8-10:15: @3[6]: _7 = _1"> // dependent conditions.</span></span>
5869c6ff XL	104	<span class="line"><span class="code even" style="--layer: 1" title="7:19-7:35: @0.Call: _4 = args() -> [return: bb1, unwind: bb21]
fc512014	105	7:19-7:35: @1[0]: _3 = &_4
5869c6ff	106	7:19-7:41: @1.Call: _2 = <Args as ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb20]
fc512014 XL	107	7:19-7:46: @2[1]: _1 = Eq(move _2, const 1_usize)
	108	7:9-7:16: @2[3]: FakeRead(ForLet, _1)
	109	9:25-9:26: @3[2]: _5 = const 1_i32
	110	9:9-9:22: @3[3]: FakeRead(ForLet, _5)
5869c6ff XL	111	10:8-10:15: @3[6]: _7 = _1"> let is_true = std::env::args().len() == 1;</span></span>
5869c6ff XL	112	<span class="line"><span class="code even" style="--layer: 1" title="7:19-7:35: @0.Call: _4 = args() -> [return: bb1, unwind: bb21]
fc512014	113	7:19-7:35: @1[0]: _3 = &_4
5869c6ff	114	7:19-7:41: @1.Call: _2 = <Args as ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb20]
fc512014 XL	115	7:19-7:46: @2[1]: _1 = Eq(move _2, const 1_usize)
	116	7:9-7:16: @2[3]: FakeRead(ForLet, _1)
	117	9:25-9:26: @3[2]: _5 = const 1_i32
	118	9:9-9:22: @3[3]: FakeRead(ForLet, _5)
5869c6ff XL	119	10:8-10:15: @3[6]: _7 = _1"></span></span>
5869c6ff XL	120	<span class="line"><span class="code even" style="--layer: 1" title="7:19-7:35: @0.Call: _4 = args() -> [return: bb1, unwind: bb21]
fc512014	121	7:19-7:35: @1[0]: _3 = &_4
5869c6ff	122	7:19-7:41: @1.Call: _2 = <Args as ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb20]
fc512014 XL	123	7:19-7:46: @2[1]: _1 = Eq(move _2, const 1_usize)
	124	7:9-7:16: @2[3]: FakeRead(ForLet, _1)
	125	9:25-9:26: @3[2]: _5 = const 1_i32
	126	9:9-9:22: @3[3]: FakeRead(ForLet, _5)
5869c6ff XL	127	10:8-10:15: @3[6]: _7 = _1"> let mut countdown = 1;</span></span>
5869c6ff XL	128	<span class="line"><span class="code even" style="--layer: 1" title="7:19-7:35: @0.Call: _4 = args() -> [return: bb1, unwind: bb21]
fc512014	129	7:19-7:35: @1[0]: _3 = &_4
5869c6ff	130	7:19-7:41: @1.Call: _2 = <Args as ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb20]
fc512014 XL	131	7:19-7:46: @2[1]: _1 = Eq(move _2, const 1_usize)
	132	7:9-7:16: @2[3]: FakeRead(ForLet, _1)
	133	9:25-9:26: @3[2]: _5 = const 1_i32
	134	9:9-9:22: @3[3]: FakeRead(ForLet, _5)
5869c6ff XL	135	10:8-10:15: @3[6]: _7 = _1"> if is_true<span class="annotation">⦉@0,1,2,3</span></span></span><span class="code" style="--layer: 0"> </span><span><span class="code odd" style="--layer: 1" title="11:9-11:22: @4[0]: _5 = const 0_i32
	136	10:16-12:6: @4[1]: _6 = const ()"><span class="annotation">@4⦊</span>{</span></span>
	137	<span class="line"><span class="code odd" style="--layer: 1" title="11:9-11:22: @4[0]: _5 = const 0_i32
	138	10:16-12:6: @4[1]: _6 = const ()"> countdown = 0;</span></span>
	139	<span class="line"><span class="code odd" style="--layer: 1" title="11:9-11:22: @4[0]: _5 = const 0_i32
	140	10:16-12:6: @4[1]: _6 = const ()"> }<span class="annotation">⦉@4</span></span></span><span><span class="code even" style="--layer: 1" title="12:6-12:6: @5[0]: _6 = const ()"><span class="annotation">@5⦊</span>‸<span class="annotation">⦉@5</span></span></span><span class="code" style="--layer: 0"></span></span>
29967ef6 XL	141	<span class="line"><span class="code" style="--layer: 0"></span></span>
29967ef6 XL	142	<span class="line"><span class="code" style="--layer: 0"> for</span></span>
5869c6ff XL	143	<span class="line"><span class="code" style="--layer: 0"> </span><span><span class="code odd" style="--layer: 1" title="15:9-15:10: @14[1]: _18 = ((_14 as Some).0: i32)
	144	15:9-15:10: @14[3]: _19 = _18
	145	15:9-15:10: @14[4]: _12 = move _19
	146	15:9-15:10: @14[5]: _13 = const ()"><span class="annotation">@12,14,16⦊</span>_<span class="annotation">⦉@12,14,16</span></span></span><span class="code" style="--layer: 0"></span></span>
29967ef6	147	<span class="line"><span class="code" style="--layer: 0"> in</span></span>
5869c6ff XL	148	<span class="line"><span class="code" style="--layer: 0"> </span><span><span class="code even" style="--layer: 1" title="17:9-17:13: @9[5]: _16 = &mut _10
	149	17:9-17:13: @9[6]: _15 = &mut (*_16)
	150	17:9-17:13: @9.Call: _14 = <std::ops::Range<i32> as Iterator>::next(move _15) -> [return: bb10, unwind: bb21]
	151	17:9-17:13: @10[1]: FakeRead(ForMatchedPlace, _14)"><span class="annotation">@8,9,10⦊</span>0..2<span class="annotation">⦉@8,9,10</span></span></span><span class="code" style="--layer: 0"></span></span>
29967ef6 XL	152	<span class="line"><span class="code" style="--layer: 0"> {</span></span>
	153	<span class="line"><span class="code" style="--layer: 0"> let z</span></span>
	154	<span class="line"><span class="code" style="--layer: 0"> ;</span></span>
	155	<span class="line"><span class="code" style="--layer: 0"> match</span></span>
5869c6ff	156	<span class="line"><span class="code" style="--layer: 0"> </span><span><span class="code odd" style="--layer: 1" title="22:13-22:22: @14[13]: FakeRead(ForMatchedPlace, _5)"><span class="annotation">@12,14,16⦊</span>countdown<span class="annotation">⦉@12,14,16</span></span></span><span class="code" style="--layer: 0"></span></span>
29967ef6	157	<span class="line"><span class="code" style="--layer: 0"> {</span></span>
5869c6ff	158	<span class="line"><span class="code" style="--layer: 0"> </span><span><span class="code even" style="--layer: 1" title="24:13-24:14: @17[3]: _23 = _5"><span class="annotation">@17⦊</span>x<span class="annotation">⦉@17</span></span></span><span class="code" style="--layer: 0"></span></span>
29967ef6	159	<span class="line"><span class="code" style="--layer: 0"> if</span></span>
5869c6ff XL	160	<span class="line"><span class="code" style="--layer: 0"> </span><span><span class="code odd" style="--layer: 1" title="26:17-26:18: @16[4]: _26 = (*_24)
	161	26:17-28:18: @16[5]: _25 = Lt(move _26, const 1_i32)"><span class="annotation">@12,14,16⦊</span>x</span></span>
	162	<span class="line"><span class="code odd" style="--layer: 1" title="26:17-26:18: @16[4]: _26 = (*_24)
	163	26:17-28:18: @16[5]: _25 = Lt(move _26, const 1_i32)"> <</span></span>
	164	<span class="line"><span class="code odd" style="--layer: 1" title="26:17-26:18: @16[4]: _26 = (*_24)
	165	26:17-28:18: @16[5]: _25 = Lt(move _26, const 1_i32)"> 1<span class="annotation">⦉@12,14,16</span></span></span><span class="code" style="--layer: 0"></span></span>
29967ef6	166	<span class="line"><span class="code" style="--layer: 0"> =></span></span>
5869c6ff XL	167	<span class="line"><span class="code" style="--layer: 0"> </span><span><span class="code even" style="--layer: 1" title="31:21-31:30: @17[5]: _27 = _5
	168	31:17-31:30: @17[6]: _22 = move _27
	169	33:25-33:34: @17[9]: _28 = _5
	170	33:21-33:22: @17[10]: FakeRead(ForLet, _28)
	171	35:17-35:31: @17[11]: _5 = const 10_i32
	172	30:13-37:14: @17[12]: _21 = const ()"><span class="annotation">@17⦊</span>{</span></span>
	173	<span class="line"><span class="code even" style="--layer: 1" title="31:21-31:30: @17[5]: _27 = _5
	174	31:17-31:30: @17[6]: _22 = move _27
	175	33:25-33:34: @17[9]: _28 = _5
	176	33:21-33:22: @17[10]: FakeRead(ForLet, _28)
	177	35:17-35:31: @17[11]: _5 = const 10_i32
	178	30:13-37:14: @17[12]: _21 = const ()"> z = countdown</span></span>
	179	<span class="line"><span class="code even" style="--layer: 1" title="31:21-31:30: @17[5]: _27 = _5
	180	31:17-31:30: @17[6]: _22 = move _27
	181	33:25-33:34: @17[9]: _28 = _5
	182	33:21-33:22: @17[10]: FakeRead(ForLet, _28)
	183	35:17-35:31: @17[11]: _5 = const 10_i32
	184	30:13-37:14: @17[12]: _21 = const ()"> ;</span></span>
	185	<span class="line"><span class="code even" style="--layer: 1" title="31:21-31:30: @17[5]: _27 = _5
	186	31:17-31:30: @17[6]: _22 = move _27
	187	33:25-33:34: @17[9]: _28 = _5
	188	33:21-33:22: @17[10]: FakeRead(ForLet, _28)
	189	35:17-35:31: @17[11]: _5 = const 10_i32
	190	30:13-37:14: @17[12]: _21 = const ()"> let y = countdown</span></span>
	191	<span class="line"><span class="code even" style="--layer: 1" title="31:21-31:30: @17[5]: _27 = _5
	192	31:17-31:30: @17[6]: _22 = move _27
	193	33:25-33:34: @17[9]: _28 = _5
	194	33:21-33:22: @17[10]: FakeRead(ForLet, _28)
	195	35:17-35:31: @17[11]: _5 = const 10_i32
	196	30:13-37:14: @17[12]: _21 = const ()"> ;</span></span>
	197	<span class="line"><span class="code even" style="--layer: 1" title="31:21-31:30: @17[5]: _27 = _5
	198	31:17-31:30: @17[6]: _22 = move _27
	199	33:25-33:34: @17[9]: _28 = _5
	200	33:21-33:22: @17[10]: FakeRead(ForLet, _28)
	201	35:17-35:31: @17[11]: _5 = const 10_i32
	202	30:13-37:14: @17[12]: _21 = const ()"> countdown = 10</span></span>
	203	<span class="line"><span class="code even" style="--layer: 1" title="31:21-31:30: @17[5]: _27 = _5
	204	31:17-31:30: @17[6]: _22 = move _27
	205	33:25-33:34: @17[9]: _28 = _5
	206	33:21-33:22: @17[10]: FakeRead(ForLet, _28)
	207	35:17-35:31: @17[11]: _5 = const 10_i32
	208	30:13-37:14: @17[12]: _21 = const ()"> ;</span></span>
	209	<span class="line"><span class="code even" style="--layer: 1" title="31:21-31:30: @17[5]: _27 = _5
	210	31:17-31:30: @17[6]: _22 = move _27
	211	33:25-33:34: @17[9]: _28 = _5
	212	33:21-33:22: @17[10]: FakeRead(ForLet, _28)
	213	35:17-35:31: @17[11]: _5 = const 10_i32
	214	30:13-37:14: @17[12]: _21 = const ()"> }<span class="annotation">⦉@17</span></span></span><span class="code" style="--layer: 0"></span></span>
29967ef6 XL	215	<span class="line"><span class="code" style="--layer: 0"> _</span></span>
29967ef6 XL	216	<span class="line"><span class="code" style="--layer: 0"> =></span></span>
5869c6ff	217	<span class="line"><span class="code" style="--layer: 0"> </span><span><span class="code odd" style="--layer: 1" title="40:13-40:15: @15[0]: _21 = const ()"><span class="annotation">@15⦊</span>{}<span class="annotation">⦉@15</span></span></span><span class="code" style="--layer: 0"></span></span>
29967ef6	218	<span class="line"><span class="code" style="--layer: 0"> }</span></span>
fc512014	219	<span class="line"><span class="code" style="--layer: 0"> }</span></span>
5869c6ff	220	<span class="line"><span class="code" style="--layer: 0">}</span><span><span class="code even" style="--layer: 1" title="43:2-43:2: @11.Return: return"><span class="annotation">@11⦊</span>‸<span class="annotation">⦉@11</span></span></span></span></div>
29967ef6 XL	221	</body>
29967ef6 XL	222	</html>