]>
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.match_or_pattern/match_or_pattern.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>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> | |
6a06907d | 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 = std::env::args() -> [return: bb1, unwind: bb37] |
fc512014 | 73 | 7:19-7:35: @1[0]: _3 = &_4 |
6a06907d | 74 | 7:19-7:41: @1.Call: _2 = <std::env::Args as std::iter::ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb36] |
fc512014 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:21-9:22: @3[2]: _5 = const 0_u8 | |
78 | 9:9-9:14: @3[3]: FakeRead(ForLet, _5) | |
79 | 9:16-9:18: @3[4]: AscribeUserType(_5, o, UserTypeProjection { base: UserType(1), projs: [] }) | |
80 | 10:21-10:22: @3[6]: _6 = const 0_u8 | |
81 | 10:9-10:14: @3[7]: FakeRead(ForLet, _6) | |
82 | 10:16-10:18: @3[8]: AscribeUserType(_6, o, UserTypeProjection { base: UserType(3), projs: [] }) | |
5869c6ff | 83 | 11:8-11:15: @3[11]: _8 = _1"><span class="annotation">@0,1,2,3⦊</span>fn main() {</span></span> |
6a06907d | 84 | <span class="line"><span class="code even" style="--layer: 1" title="7:19-7:35: @0.Call: _4 = std::env::args() -> [return: bb1, unwind: bb37] |
fc512014 | 85 | 7:19-7:35: @1[0]: _3 = &_4 |
6a06907d | 86 | 7:19-7:41: @1.Call: _2 = <std::env::Args as std::iter::ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb36] |
fc512014 XL |
87 | 7:19-7:46: @2[1]: _1 = Eq(move _2, const 1_usize) |
88 | 7:9-7:16: @2[3]: FakeRead(ForLet, _1) | |
89 | 9:21-9:22: @3[2]: _5 = const 0_u8 | |
90 | 9:9-9:14: @3[3]: FakeRead(ForLet, _5) | |
91 | 9:16-9:18: @3[4]: AscribeUserType(_5, o, UserTypeProjection { base: UserType(1), projs: [] }) | |
92 | 10:21-10:22: @3[6]: _6 = const 0_u8 | |
93 | 10:9-10:14: @3[7]: FakeRead(ForLet, _6) | |
94 | 10:16-10:18: @3[8]: AscribeUserType(_6, o, UserTypeProjection { base: UserType(3), projs: [] }) | |
5869c6ff | 95 | 11:8-11:15: @3[11]: _8 = _1"> // Initialize test constants in a way that cannot be determined at compile time, to ensure</span></span> |
6a06907d | 96 | <span class="line"><span class="code even" style="--layer: 1" title="7:19-7:35: @0.Call: _4 = std::env::args() -> [return: bb1, unwind: bb37] |
fc512014 | 97 | 7:19-7:35: @1[0]: _3 = &_4 |
6a06907d | 98 | 7:19-7:41: @1.Call: _2 = <std::env::Args as std::iter::ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb36] |
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:21-9:22: @3[2]: _5 = const 0_u8 | |
102 | 9:9-9:14: @3[3]: FakeRead(ForLet, _5) | |
103 | 9:16-9:18: @3[4]: AscribeUserType(_5, o, UserTypeProjection { base: UserType(1), projs: [] }) | |
104 | 10:21-10:22: @3[6]: _6 = const 0_u8 | |
105 | 10:9-10:14: @3[7]: FakeRead(ForLet, _6) | |
106 | 10:16-10:18: @3[8]: AscribeUserType(_6, o, UserTypeProjection { base: UserType(3), projs: [] }) | |
5869c6ff | 107 | 11:8-11:15: @3[11]: _8 = _1"> // rustc and LLVM cannot optimize out statements (or coverage counters) downstream from</span></span> |
6a06907d | 108 | <span class="line"><span class="code even" style="--layer: 1" title="7:19-7:35: @0.Call: _4 = std::env::args() -> [return: bb1, unwind: bb37] |
fc512014 | 109 | 7:19-7:35: @1[0]: _3 = &_4 |
6a06907d | 110 | 7:19-7:41: @1.Call: _2 = <std::env::Args as std::iter::ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb36] |
fc512014 XL |
111 | 7:19-7:46: @2[1]: _1 = Eq(move _2, const 1_usize) |
112 | 7:9-7:16: @2[3]: FakeRead(ForLet, _1) | |
113 | 9:21-9:22: @3[2]: _5 = const 0_u8 | |
114 | 9:9-9:14: @3[3]: FakeRead(ForLet, _5) | |
115 | 9:16-9:18: @3[4]: AscribeUserType(_5, o, UserTypeProjection { base: UserType(1), projs: [] }) | |
116 | 10:21-10:22: @3[6]: _6 = const 0_u8 | |
117 | 10:9-10:14: @3[7]: FakeRead(ForLet, _6) | |
118 | 10:16-10:18: @3[8]: AscribeUserType(_6, o, UserTypeProjection { base: UserType(3), projs: [] }) | |
5869c6ff | 119 | 11:8-11:15: @3[11]: _8 = _1"> // dependent conditions.</span></span> |
6a06907d | 120 | <span class="line"><span class="code even" style="--layer: 1" title="7:19-7:35: @0.Call: _4 = std::env::args() -> [return: bb1, unwind: bb37] |
fc512014 | 121 | 7:19-7:35: @1[0]: _3 = &_4 |
6a06907d | 122 | 7:19-7:41: @1.Call: _2 = <std::env::Args as std::iter::ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb36] |
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:21-9:22: @3[2]: _5 = const 0_u8 | |
126 | 9:9-9:14: @3[3]: FakeRead(ForLet, _5) | |
127 | 9:16-9:18: @3[4]: AscribeUserType(_5, o, UserTypeProjection { base: UserType(1), projs: [] }) | |
128 | 10:21-10:22: @3[6]: _6 = const 0_u8 | |
129 | 10:9-10:14: @3[7]: FakeRead(ForLet, _6) | |
130 | 10:16-10:18: @3[8]: AscribeUserType(_6, o, UserTypeProjection { base: UserType(3), projs: [] }) | |
5869c6ff | 131 | 11:8-11:15: @3[11]: _8 = _1"> let is_true = std::env::args().len() == 1;</span></span> |
6a06907d | 132 | <span class="line"><span class="code even" style="--layer: 1" title="7:19-7:35: @0.Call: _4 = std::env::args() -> [return: bb1, unwind: bb37] |
fc512014 | 133 | 7:19-7:35: @1[0]: _3 = &_4 |
6a06907d | 134 | 7:19-7:41: @1.Call: _2 = <std::env::Args as std::iter::ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb36] |
fc512014 XL |
135 | 7:19-7:46: @2[1]: _1 = Eq(move _2, const 1_usize) |
136 | 7:9-7:16: @2[3]: FakeRead(ForLet, _1) | |
137 | 9:21-9:22: @3[2]: _5 = const 0_u8 | |
138 | 9:9-9:14: @3[3]: FakeRead(ForLet, _5) | |
139 | 9:16-9:18: @3[4]: AscribeUserType(_5, o, UserTypeProjection { base: UserType(1), projs: [] }) | |
140 | 10:21-10:22: @3[6]: _6 = const 0_u8 | |
141 | 10:9-10:14: @3[7]: FakeRead(ForLet, _6) | |
142 | 10:16-10:18: @3[8]: AscribeUserType(_6, o, UserTypeProjection { base: UserType(3), projs: [] }) | |
5869c6ff | 143 | 11:8-11:15: @3[11]: _8 = _1"></span></span> |
6a06907d | 144 | <span class="line"><span class="code even" style="--layer: 1" title="7:19-7:35: @0.Call: _4 = std::env::args() -> [return: bb1, unwind: bb37] |
fc512014 | 145 | 7:19-7:35: @1[0]: _3 = &_4 |
6a06907d | 146 | 7:19-7:41: @1.Call: _2 = <std::env::Args as std::iter::ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb36] |
fc512014 XL |
147 | 7:19-7:46: @2[1]: _1 = Eq(move _2, const 1_usize) |
148 | 7:9-7:16: @2[3]: FakeRead(ForLet, _1) | |
149 | 9:21-9:22: @3[2]: _5 = const 0_u8 | |
150 | 9:9-9:14: @3[3]: FakeRead(ForLet, _5) | |
151 | 9:16-9:18: @3[4]: AscribeUserType(_5, o, UserTypeProjection { base: UserType(1), projs: [] }) | |
152 | 10:21-10:22: @3[6]: _6 = const 0_u8 | |
153 | 10:9-10:14: @3[7]: FakeRead(ForLet, _6) | |
154 | 10:16-10:18: @3[8]: AscribeUserType(_6, o, UserTypeProjection { base: UserType(3), projs: [] }) | |
5869c6ff | 155 | 11:8-11:15: @3[11]: _8 = _1"> let mut a: u8 = 0;</span></span> |
6a06907d | 156 | <span class="line"><span class="code even" style="--layer: 1" title="7:19-7:35: @0.Call: _4 = std::env::args() -> [return: bb1, unwind: bb37] |
fc512014 | 157 | 7:19-7:35: @1[0]: _3 = &_4 |
6a06907d | 158 | 7:19-7:41: @1.Call: _2 = <std::env::Args as std::iter::ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb36] |
fc512014 XL |
159 | 7:19-7:46: @2[1]: _1 = Eq(move _2, const 1_usize) |
160 | 7:9-7:16: @2[3]: FakeRead(ForLet, _1) | |
161 | 9:21-9:22: @3[2]: _5 = const 0_u8 | |
162 | 9:9-9:14: @3[3]: FakeRead(ForLet, _5) | |
163 | 9:16-9:18: @3[4]: AscribeUserType(_5, o, UserTypeProjection { base: UserType(1), projs: [] }) | |
164 | 10:21-10:22: @3[6]: _6 = const 0_u8 | |
165 | 10:9-10:14: @3[7]: FakeRead(ForLet, _6) | |
166 | 10:16-10:18: @3[8]: AscribeUserType(_6, o, UserTypeProjection { base: UserType(3), projs: [] }) | |
5869c6ff | 167 | 11:8-11:15: @3[11]: _8 = _1"> let mut b: u8 = 0;</span></span> |
6a06907d | 168 | <span class="line"><span class="code even" style="--layer: 1" title="7:19-7:35: @0.Call: _4 = std::env::args() -> [return: bb1, unwind: bb37] |
fc512014 | 169 | 7:19-7:35: @1[0]: _3 = &_4 |
6a06907d | 170 | 7:19-7:41: @1.Call: _2 = <std::env::Args as std::iter::ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb36] |
fc512014 XL |
171 | 7:19-7:46: @2[1]: _1 = Eq(move _2, const 1_usize) |
172 | 7:9-7:16: @2[3]: FakeRead(ForLet, _1) | |
173 | 9:21-9:22: @3[2]: _5 = const 0_u8 | |
174 | 9:9-9:14: @3[3]: FakeRead(ForLet, _5) | |
175 | 9:16-9:18: @3[4]: AscribeUserType(_5, o, UserTypeProjection { base: UserType(1), projs: [] }) | |
176 | 10:21-10:22: @3[6]: _6 = const 0_u8 | |
177 | 10:9-10:14: @3[7]: FakeRead(ForLet, _6) | |
178 | 10:16-10:18: @3[8]: AscribeUserType(_6, o, UserTypeProjection { base: UserType(3), projs: [] }) | |
5869c6ff XL |
179 | 11: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 |
180 | 13:9-13:14: @4[1]: _6 = const 0_u8 | |
181 | 11: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 | |
183 | 13:9-13:14: @4[1]: _6 = const 0_u8 | |
184 | 11: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 | |
186 | 13:9-13:14: @4[1]: _6 = const 0_u8 | |
187 | 11: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 | |
189 | 13:9-13:14: @4[1]: _6 = const 0_u8 | |
190 | 11: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 | |
192 | 15:15-15:16: @6[7]: _12 = _6 | |
193 | 15:11-15:17: @6[8]: _10 = (move _11, move _12) | |
194 | 15: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) => </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"> _ => </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 |
201 | 23:9-23:14: @12[1]: _6 = const 0_u8 | |
202 | 21: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 | |
204 | 23:9-23:14: @12[1]: _6 = const 0_u8 | |
205 | 21: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 | |
207 | 23:9-23:14: @12[1]: _6 = const 0_u8 | |
208 | 21: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 | |
210 | 23:9-23:14: @12[1]: _6 = const 0_u8 | |
211 | 21: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 | |
213 | 25:15-25:16: @14[7]: _18 = _6 | |
214 | 25:11-25:17: @14[8]: _16 = (move _17, move _18) | |
215 | 25: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) => </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"> _ => </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 |
220 | 31:9-31:14: @20[1]: _6 = const 2_u8 | |
221 | 29: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 | |
223 | 31:9-31:14: @20[1]: _6 = const 2_u8 | |
224 | 29: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 | |
226 | 31:9-31:14: @20[1]: _6 = const 2_u8 | |
227 | 29: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 | |
229 | 31:9-31:14: @20[1]: _6 = const 2_u8 | |
230 | 29: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 | |
232 | 33:15-33:16: @22[7]: _24 = _6 | |
233 | 33:11-33:17: @22[8]: _22 = (move _23, move _24) | |
234 | 33: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) => </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"> _ => </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 |
239 | 39:9-39:14: @28[1]: _6 = const 2_u8 | |
240 | 37: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 | |
242 | 39:9-39:14: @28[1]: _6 = const 2_u8 | |
243 | 37: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 | |
245 | 39:9-39:14: @28[1]: _6 = const 2_u8 | |
246 | 37: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 | |
248 | 39:9-39:14: @28[1]: _6 = const 2_u8 | |
249 | 37: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 | |
251 | 41:15-41:16: @30[6]: _29 = _6 | |
252 | 41:11-41:17: @30[7]: _27 = (move _28, move _29) | |
253 | 41: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) => </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"> _ => </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> |