]> git.proxmox.com Git - rustc.git/blame - src/test/run-make-fulldeps/coverage-spanview/expected_mir_dump.match_or_pattern/match_or_pattern.main.-------.InstrumentCoverage.0.html
New upstream version 1.51.0+dfsg1
[rustc.git] / src / test / run-make-fulldeps / coverage-spanview / expected_mir_dump.match_or_pattern / match_or_pattern.main.-------.InstrumentCoverage.0.html
CommitLineData
fc512014
XL
1<!DOCTYPE html>
2<!--
3
4Preview this file as rendered HTML from the github source at:
5https://htmlpreview.github.io/?https://github.com/rust-lang/rust/blob/master/src/test/run-make-fulldeps/coverage-spanview/expected_mir_dump.match_or_pattern/match_or_pattern.main.-------.InstrumentCoverage.0.html
6
7For 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>match_or_pattern.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() -&gt; [return: bb1, unwind: bb37]
fc512014 737:19-7:35: @1[0]: _3 = &amp;_4
5869c6ff 747:19-7:41: @1.Call: _2 = &lt;Args as ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb36]
fc512014
XL
757:19-7:46: @2[1]: _1 = Eq(move _2, const 1_usize)
767:9-7:16: @2[3]: FakeRead(ForLet, _1)
779:21-9:22: @3[2]: _5 = const 0_u8
789:9-9:14: @3[3]: FakeRead(ForLet, _5)
799:16-9:18: @3[4]: AscribeUserType(_5, o, UserTypeProjection { base: UserType(1), projs: [] })
8010:21-10:22: @3[6]: _6 = const 0_u8
8110:9-10:14: @3[7]: FakeRead(ForLet, _6)
8210:16-10:18: @3[8]: AscribeUserType(_6, o, UserTypeProjection { base: UserType(3), projs: [] })
5869c6ff
XL
8311:8-11:15: @3[11]: _8 = _1"><span class="annotation">@0,1,2,3⦊</span>fn main() {</span></span>
84<span class="line"><span class="code even" style="--layer: 1" title="7:19-7:35: @0.Call: _4 = args() -&gt; [return: bb1, unwind: bb37]
fc512014 857:19-7:35: @1[0]: _3 = &amp;_4
5869c6ff 867:19-7:41: @1.Call: _2 = &lt;Args as ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb36]
fc512014
XL
877:19-7:46: @2[1]: _1 = Eq(move _2, const 1_usize)
887:9-7:16: @2[3]: FakeRead(ForLet, _1)
899:21-9:22: @3[2]: _5 = const 0_u8
909:9-9:14: @3[3]: FakeRead(ForLet, _5)
919:16-9:18: @3[4]: AscribeUserType(_5, o, UserTypeProjection { base: UserType(1), projs: [] })
9210:21-10:22: @3[6]: _6 = const 0_u8
9310:9-10:14: @3[7]: FakeRead(ForLet, _6)
9410:16-10:18: @3[8]: AscribeUserType(_6, o, UserTypeProjection { base: UserType(3), projs: [] })
5869c6ff
XL
9511:8-11:15: @3[11]: _8 = _1"> // Initialize test constants in a way that cannot be determined at compile time, to ensure</span></span>
96<span class="line"><span class="code even" style="--layer: 1" title="7:19-7:35: @0.Call: _4 = args() -&gt; [return: bb1, unwind: bb37]
fc512014 977:19-7:35: @1[0]: _3 = &amp;_4
5869c6ff 987:19-7:41: @1.Call: _2 = &lt;Args as ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb36]
fc512014
XL
997:19-7:46: @2[1]: _1 = Eq(move _2, const 1_usize)
1007:9-7:16: @2[3]: FakeRead(ForLet, _1)
1019:21-9:22: @3[2]: _5 = const 0_u8
1029:9-9:14: @3[3]: FakeRead(ForLet, _5)
1039:16-9:18: @3[4]: AscribeUserType(_5, o, UserTypeProjection { base: UserType(1), projs: [] })
10410:21-10:22: @3[6]: _6 = const 0_u8
10510:9-10:14: @3[7]: FakeRead(ForLet, _6)
10610:16-10:18: @3[8]: AscribeUserType(_6, o, UserTypeProjection { base: UserType(3), projs: [] })
5869c6ff
XL
10711:8-11:15: @3[11]: _8 = _1"> // rustc and LLVM cannot optimize out statements (or coverage counters) downstream from</span></span>
108<span class="line"><span class="code even" style="--layer: 1" title="7:19-7:35: @0.Call: _4 = args() -&gt; [return: bb1, unwind: bb37]
fc512014 1097:19-7:35: @1[0]: _3 = &amp;_4
5869c6ff 1107:19-7:41: @1.Call: _2 = &lt;Args as ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb36]
fc512014
XL
1117:19-7:46: @2[1]: _1 = Eq(move _2, const 1_usize)
1127:9-7:16: @2[3]: FakeRead(ForLet, _1)
1139:21-9:22: @3[2]: _5 = const 0_u8
1149:9-9:14: @3[3]: FakeRead(ForLet, _5)
1159:16-9:18: @3[4]: AscribeUserType(_5, o, UserTypeProjection { base: UserType(1), projs: [] })
11610:21-10:22: @3[6]: _6 = const 0_u8
11710:9-10:14: @3[7]: FakeRead(ForLet, _6)
11810:16-10:18: @3[8]: AscribeUserType(_6, o, UserTypeProjection { base: UserType(3), projs: [] })
5869c6ff
XL
11911:8-11:15: @3[11]: _8 = _1"> // dependent conditions.</span></span>
120<span class="line"><span class="code even" style="--layer: 1" title="7:19-7:35: @0.Call: _4 = args() -&gt; [return: bb1, unwind: bb37]
fc512014 1217:19-7:35: @1[0]: _3 = &amp;_4
5869c6ff 1227:19-7:41: @1.Call: _2 = &lt;Args as ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb36]
fc512014
XL
1237:19-7:46: @2[1]: _1 = Eq(move _2, const 1_usize)
1247:9-7:16: @2[3]: FakeRead(ForLet, _1)
1259:21-9:22: @3[2]: _5 = const 0_u8
1269:9-9:14: @3[3]: FakeRead(ForLet, _5)
1279:16-9:18: @3[4]: AscribeUserType(_5, o, UserTypeProjection { base: UserType(1), projs: [] })
12810:21-10:22: @3[6]: _6 = const 0_u8
12910:9-10:14: @3[7]: FakeRead(ForLet, _6)
13010:16-10:18: @3[8]: AscribeUserType(_6, o, UserTypeProjection { base: UserType(3), projs: [] })
5869c6ff
XL
13111:8-11:15: @3[11]: _8 = _1"> let is_true = std::env::args().len() == 1;</span></span>
132<span class="line"><span class="code even" style="--layer: 1" title="7:19-7:35: @0.Call: _4 = args() -&gt; [return: bb1, unwind: bb37]
fc512014 1337:19-7:35: @1[0]: _3 = &amp;_4
5869c6ff 1347:19-7:41: @1.Call: _2 = &lt;Args as ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb36]
fc512014
XL
1357:19-7:46: @2[1]: _1 = Eq(move _2, const 1_usize)
1367:9-7:16: @2[3]: FakeRead(ForLet, _1)
1379:21-9:22: @3[2]: _5 = const 0_u8
1389:9-9:14: @3[3]: FakeRead(ForLet, _5)
1399:16-9:18: @3[4]: AscribeUserType(_5, o, UserTypeProjection { base: UserType(1), projs: [] })
14010:21-10:22: @3[6]: _6 = const 0_u8
14110:9-10:14: @3[7]: FakeRead(ForLet, _6)
14210:16-10:18: @3[8]: AscribeUserType(_6, o, UserTypeProjection { base: UserType(3), projs: [] })
5869c6ff
XL
14311:8-11:15: @3[11]: _8 = _1"></span></span>
144<span class="line"><span class="code even" style="--layer: 1" title="7:19-7:35: @0.Call: _4 = args() -&gt; [return: bb1, unwind: bb37]
fc512014 1457:19-7:35: @1[0]: _3 = &amp;_4
5869c6ff 1467:19-7:41: @1.Call: _2 = &lt;Args as ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb36]
fc512014
XL
1477:19-7:46: @2[1]: _1 = Eq(move _2, const 1_usize)
1487:9-7:16: @2[3]: FakeRead(ForLet, _1)
1499:21-9:22: @3[2]: _5 = const 0_u8
1509:9-9:14: @3[3]: FakeRead(ForLet, _5)
1519:16-9:18: @3[4]: AscribeUserType(_5, o, UserTypeProjection { base: UserType(1), projs: [] })
15210:21-10:22: @3[6]: _6 = const 0_u8
15310:9-10:14: @3[7]: FakeRead(ForLet, _6)
15410:16-10:18: @3[8]: AscribeUserType(_6, o, UserTypeProjection { base: UserType(3), projs: [] })
5869c6ff
XL
15511:8-11:15: @3[11]: _8 = _1"> let mut a: u8 = 0;</span></span>
156<span class="line"><span class="code even" style="--layer: 1" title="7:19-7:35: @0.Call: _4 = args() -&gt; [return: bb1, unwind: bb37]
fc512014 1577:19-7:35: @1[0]: _3 = &amp;_4
5869c6ff 1587:19-7:41: @1.Call: _2 = &lt;Args as ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb36]
fc512014
XL
1597:19-7:46: @2[1]: _1 = Eq(move _2, const 1_usize)
1607:9-7:16: @2[3]: FakeRead(ForLet, _1)
1619:21-9:22: @3[2]: _5 = const 0_u8
1629:9-9:14: @3[3]: FakeRead(ForLet, _5)
1639:16-9:18: @3[4]: AscribeUserType(_5, o, UserTypeProjection { base: UserType(1), projs: [] })
16410:21-10:22: @3[6]: _6 = const 0_u8
16510:9-10:14: @3[7]: FakeRead(ForLet, _6)
16610:16-10:18: @3[8]: AscribeUserType(_6, o, UserTypeProjection { base: UserType(3), projs: [] })
5869c6ff
XL
16711:8-11:15: @3[11]: _8 = _1"> let mut b: u8 = 0;</span></span>
168<span class="line"><span class="code even" style="--layer: 1" title="7:19-7:35: @0.Call: _4 = args() -&gt; [return: bb1, unwind: bb37]
fc512014 1697:19-7:35: @1[0]: _3 = &amp;_4
5869c6ff 1707:19-7:41: @1.Call: _2 = &lt;Args as ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb36]
fc512014
XL
1717:19-7:46: @2[1]: _1 = Eq(move _2, const 1_usize)
1727:9-7:16: @2[3]: FakeRead(ForLet, _1)
1739:21-9:22: @3[2]: _5 = const 0_u8
1749:9-9:14: @3[3]: FakeRead(ForLet, _5)
1759:16-9:18: @3[4]: AscribeUserType(_5, o, UserTypeProjection { base: UserType(1), projs: [] })
17610:21-10:22: @3[6]: _6 = const 0_u8
17710:9-10:14: @3[7]: FakeRead(ForLet, _6)
17810:16-10:18: @3[8]: AscribeUserType(_6, o, UserTypeProjection { base: UserType(3), projs: [] })
5869c6ff
XL
17911:8-11:15: @3[11]: _8 = _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="12:9-12:14: @4[0]: _5 = const 2_u8
18013:9-13:14: @4[1]: _6 = const 0_u8
18111:16-14:6: @4[2]: _7 = const ()"><span class="annotation">@4⦊</span>{</span></span>
182<span class="line"><span class="code odd" style="--layer: 1" title="12:9-12:14: @4[0]: _5 = const 2_u8
18313:9-13:14: @4[1]: _6 = const 0_u8
18411:16-14:6: @4[2]: _7 = const ()"> a = 2;</span></span>
185<span class="line"><span class="code odd" style="--layer: 1" title="12:9-12:14: @4[0]: _5 = const 2_u8
18613:9-13:14: @4[1]: _6 = const 0_u8
18711:16-14:6: @4[2]: _7 = const ()"> b = 0;</span></span>
188<span class="line"><span class="code odd" style="--layer: 1" title="12:9-12:14: @4[0]: _5 = const 2_u8
18913:9-13:14: @4[1]: _6 = const 0_u8
19011:16-14:6: @4[2]: _7 = const ()"> }<span class="annotation">⦉@4</span></span></span><span><span class="code even" style="--layer: 1" title="14:6-14:6: @5[0]: _7 = const ()"><span class="annotation">@5⦊</span>‸<span class="annotation">⦉@5</span></span></span><span class="code" style="--layer: 0"></span></span>
191<span class="line"><span class="code" style="--layer: 0"> match </span><span><span class="code odd" style="--layer: 1" title="15:12-15:13: @6[5]: _11 = _5
19215:15-15:16: @6[7]: _12 = _6
19315:11-15:17: @6[8]: _10 = (move _11, move _12)
19415:11-15:17: @6[11]: FakeRead(ForMatchedPlace, _10)"><span class="annotation">@6⦊</span>(a, b)<span class="annotation">⦉@6</span></span></span><span class="code" style="--layer: 0"> {</span></span>
fc512014
XL
195<span class="line"><span class="code" style="--layer: 0"> // Or patterns generate MIR `SwitchInt` with multiple targets to the same `BasicBlock`.</span></span>
196<span class="line"><span class="code" style="--layer: 0"> // This test confirms a fix for Issue #79569.</span></span>
5869c6ff
XL
197<span class="line"><span class="code" style="--layer: 0"> (0 | 1, 2 | 3) =&gt; </span><span><span class="code even" style="--layer: 1" title="18:27-18:29: @10[0]: _9 = const ()"><span class="annotation">@9,10⦊</span>{}<span class="annotation">⦉@9,10</span></span></span><span class="code" style="--layer: 0"></span></span>
198<span class="line"><span class="code" style="--layer: 0"> _ =&gt; </span><span><span class="code odd" style="--layer: 1" title="19:14-19:16: @7[0]: _9 = const ()"><span class="annotation">@7⦊</span>{}<span class="annotation">⦉@7</span></span></span><span class="code" style="--layer: 0"></span></span>
fc512014 199<span class="line"><span class="code" style="--layer: 0"> }</span></span>
5869c6ff
XL
200<span class="line"><span class="code" style="--layer: 0"> if </span><span><span class="code even" style="--layer: 1" title="21:8-21:15: @11[4]: _14 = _1"><span class="annotation">@11⦊</span>is_true<span class="annotation">⦉@11</span></span></span><span class="code" style="--layer: 0"> </span><span><span class="code odd" style="--layer: 1" title="22:9-22:14: @12[0]: _5 = const 0_u8
20123:9-23:14: @12[1]: _6 = const 0_u8
20221:16-24:6: @12[2]: _13 = const ()"><span class="annotation">@12⦊</span>{</span></span>
203<span class="line"><span class="code odd" style="--layer: 1" title="22:9-22:14: @12[0]: _5 = const 0_u8
20423:9-23:14: @12[1]: _6 = const 0_u8
20521:16-24:6: @12[2]: _13 = const ()"> a = 0;</span></span>
206<span class="line"><span class="code odd" style="--layer: 1" title="22:9-22:14: @12[0]: _5 = const 0_u8
20723:9-23:14: @12[1]: _6 = const 0_u8
20821:16-24:6: @12[2]: _13 = const ()"> b = 0;</span></span>
209<span class="line"><span class="code odd" style="--layer: 1" title="22:9-22:14: @12[0]: _5 = const 0_u8
21023:9-23:14: @12[1]: _6 = const 0_u8
21121:16-24:6: @12[2]: _13 = const ()"> }<span class="annotation">⦉@12</span></span></span><span><span class="code even" style="--layer: 1" title="24:6-24:6: @13[0]: _13 = const ()"><span class="annotation">@13⦊</span>‸<span class="annotation">⦉@13</span></span></span><span class="code" style="--layer: 0"></span></span>
212<span class="line"><span class="code" style="--layer: 0"> match </span><span><span class="code odd" style="--layer: 1" title="25:12-25:13: @14[5]: _17 = _5
21325:15-25:16: @14[7]: _18 = _6
21425:11-25:17: @14[8]: _16 = (move _17, move _18)
21525:11-25:17: @14[11]: FakeRead(ForMatchedPlace, _16)"><span class="annotation">@14⦊</span>(a, b)<span class="annotation">⦉@14</span></span></span><span class="code" style="--layer: 0"> {</span></span>
216<span class="line"><span class="code" style="--layer: 0"> (0 | 1, 2 | 3) =&gt; </span><span><span class="code even" style="--layer: 1" title="26:27-26:29: @18[0]: _15 = const ()"><span class="annotation">@17,18⦊</span>{}<span class="annotation">⦉@17,18</span></span></span><span class="code" style="--layer: 0"></span></span>
217<span class="line"><span class="code" style="--layer: 0"> _ =&gt; </span><span><span class="code odd" style="--layer: 1" title="27:14-27:16: @15[0]: _15 = const ()"><span class="annotation">@15⦊</span>{}<span class="annotation">⦉@15</span></span></span><span class="code" style="--layer: 0"></span></span>
fc512014 218<span class="line"><span class="code" style="--layer: 0"> }</span></span>
5869c6ff
XL
219<span class="line"><span class="code" style="--layer: 0"> if </span><span><span class="code even" style="--layer: 1" title="29:8-29:15: @19[4]: _20 = _1"><span class="annotation">@19⦊</span>is_true<span class="annotation">⦉@19</span></span></span><span class="code" style="--layer: 0"> </span><span><span class="code odd" style="--layer: 1" title="30:9-30:14: @20[0]: _5 = const 2_u8
22031:9-31:14: @20[1]: _6 = const 2_u8
22129:16-32:6: @20[2]: _19 = const ()"><span class="annotation">@20⦊</span>{</span></span>
222<span class="line"><span class="code odd" style="--layer: 1" title="30:9-30:14: @20[0]: _5 = const 2_u8
22331:9-31:14: @20[1]: _6 = const 2_u8
22429:16-32:6: @20[2]: _19 = const ()"> a = 2;</span></span>
225<span class="line"><span class="code odd" style="--layer: 1" title="30:9-30:14: @20[0]: _5 = const 2_u8
22631:9-31:14: @20[1]: _6 = const 2_u8
22729:16-32:6: @20[2]: _19 = const ()"> b = 2;</span></span>
228<span class="line"><span class="code odd" style="--layer: 1" title="30:9-30:14: @20[0]: _5 = const 2_u8
22931:9-31:14: @20[1]: _6 = const 2_u8
23029:16-32:6: @20[2]: _19 = const ()"> }<span class="annotation">⦉@20</span></span></span><span><span class="code even" style="--layer: 1" title="32:6-32:6: @21[0]: _19 = const ()"><span class="annotation">@21⦊</span>‸<span class="annotation">⦉@21</span></span></span><span class="code" style="--layer: 0"></span></span>
231<span class="line"><span class="code" style="--layer: 0"> match </span><span><span class="code odd" style="--layer: 1" title="33:12-33:13: @22[5]: _23 = _5
23233:15-33:16: @22[7]: _24 = _6
23333:11-33:17: @22[8]: _22 = (move _23, move _24)
23433:11-33:17: @22[11]: FakeRead(ForMatchedPlace, _22)"><span class="annotation">@22⦊</span>(a, b)<span class="annotation">⦉@22</span></span></span><span class="code" style="--layer: 0"> {</span></span>
235<span class="line"><span class="code" style="--layer: 0"> (0 | 1, 2 | 3) =&gt; </span><span><span class="code even" style="--layer: 1" title="34:27-34:29: @26[0]: _21 = const ()"><span class="annotation">@25,26⦊</span>{}<span class="annotation">⦉@25,26</span></span></span><span class="code" style="--layer: 0"></span></span>
236<span class="line"><span class="code" style="--layer: 0"> _ =&gt; </span><span><span class="code odd" style="--layer: 1" title="35:14-35:16: @23[0]: _21 = const ()"><span class="annotation">@23⦊</span>{}<span class="annotation">⦉@23</span></span></span><span class="code" style="--layer: 0"></span></span>
fc512014 237<span class="line"><span class="code" style="--layer: 0"> }</span></span>
5869c6ff
XL
238<span class="line"><span class="code" style="--layer: 0"> if </span><span><span class="code even" style="--layer: 1" title="37:8-37:15: @27[4]: _26 = _1"><span class="annotation">@27⦊</span>is_true<span class="annotation">⦉@27</span></span></span><span class="code" style="--layer: 0"> </span><span><span class="code odd" style="--layer: 1" title="38:9-38:14: @28[0]: _5 = const 0_u8
23939:9-39:14: @28[1]: _6 = const 2_u8
24037:16-40:6: @28[2]: _25 = const ()"><span class="annotation">@28⦊</span>{</span></span>
241<span class="line"><span class="code odd" style="--layer: 1" title="38:9-38:14: @28[0]: _5 = const 0_u8
24239:9-39:14: @28[1]: _6 = const 2_u8
24337:16-40:6: @28[2]: _25 = const ()"> a = 0;</span></span>
244<span class="line"><span class="code odd" style="--layer: 1" title="38:9-38:14: @28[0]: _5 = const 0_u8
24539:9-39:14: @28[1]: _6 = const 2_u8
24637:16-40:6: @28[2]: _25 = const ()"> b = 2;</span></span>
247<span class="line"><span class="code odd" style="--layer: 1" title="38:9-38:14: @28[0]: _5 = const 0_u8
24839:9-39:14: @28[1]: _6 = const 2_u8
24937:16-40:6: @28[2]: _25 = const ()"> }<span class="annotation">⦉@28</span></span></span><span><span class="code even" style="--layer: 1" title="40:6-40:6: @29[0]: _25 = const ()"><span class="annotation">@29⦊</span>‸<span class="annotation">⦉@29</span></span></span><span class="code" style="--layer: 0"></span></span>
250<span class="line"><span class="code" style="--layer: 0"> match </span><span><span class="code odd" style="--layer: 1" title="41:12-41:13: @30[4]: _28 = _5
25141:15-41:16: @30[6]: _29 = _6
25241:11-41:17: @30[7]: _27 = (move _28, move _29)
25341:11-41:17: @30[10]: FakeRead(ForMatchedPlace, _27)"><span class="annotation">@30⦊</span>(a, b)<span class="annotation">⦉@30</span></span></span><span class="code" style="--layer: 0"> {</span></span>
254<span class="line"><span class="code" style="--layer: 0"> (0 | 1, 2 | 3) =&gt; </span><span><span class="code even" style="--layer: 1" title="42:27-42:29: @34[0]: _0 = const ()"><span class="annotation">@33,34⦊</span>{}<span class="annotation">⦉@33,34</span></span></span><span class="code" style="--layer: 0"></span></span>
255<span class="line"><span class="code" style="--layer: 0"> _ =&gt; </span><span><span class="code odd" style="--layer: 1" title="43:14-43:16: @31[0]: _0 = const ()"><span class="annotation">@31⦊</span>{}<span class="annotation">⦉@31</span></span></span><span class="code" style="--layer: 0"></span></span>
fc512014 256<span class="line"><span class="code" style="--layer: 0"> }</span></span>
5869c6ff 257<span class="line"><span class="code" style="--layer: 0">}</span><span><span class="code even" style="--layer: 1" title="45:2-45:2: @35.Return: return"><span class="annotation">@35⦊</span>‸<span class="annotation">⦉@35</span></span></span></span></div>
fc512014
XL
258</body>
259</html>