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.doctest/doctest.main.-------.InstrumentCoverage.0.html
7 For revisions in Pull Requests (PR):
8 * Replace "rust-lang" with the github PR author
9 * Replace "master" with the PR branch name
14 <title>doctest.main - Coverage Spans</title>
17 counter-increment: line;
20 content: counter(line) ": ";
21 font-family: Menlo, Monaco, monospace;
24 display: inline-block;
27 -webkit-user-select: none;
31 background-color: #222222;
32 font-family: Menlo, Monaco, monospace;
34 border-bottom: 2px solid #222222;
36 display: inline-block;
39 background-color: #55bbff;
43 background-color: #ee7756;
47 --index: calc(var(--layer) - 1);
48 padding-top: calc(var(--index) * 0.15em);
50 hue-rotate(calc(var(--index) * 25deg))
51 saturate(calc(100% - (var(--index) * 2%)))
52 brightness(calc(100% - (var(--index) * 1.5%)));
56 font-family: monospace;
59 -webkit-user-select: none;
61 body:active .annotation {
62 /* requires holding mouse down anywhere on the page */
63 display: inline-block;
65 span:hover .annotation {
66 /* requires hover over a span ONLY on its first line */
67 display: inline-block;
72 <div class="code" style="counter-reset: line 72"><span class="line"><span><span class="code even" style="--layer: 1"><span class="annotation">@0⦊</span>fn main() <span class="annotation">⦉@0</span></span></span><span class="code" style="--layer: 0">{</span></span>
73 <span class="line"><span class="code" style="--layer: 0"> if </span><span><span class="code even" style="--layer: 1" title="74:8-74:12: @0[1]: _1 = const true
74 74:8-74:12: @0[2]: FakeRead(ForMatchedPlace, _1)"><span class="annotation">@0⦊</span>true<span class="annotation">⦉@0</span></span></span><span class="code" style="--layer: 0"> {</span></span>
75 <span class="line"><span class="code" style="--layer: 0"> </span><span><span class="code odd" style="--layer: 1" title="75:9-75:26: @5[0]: _2 = const ()"><span class="annotation">@5⦊</span></span></span><span class="code even" style="--layer: 2" title="75:9-75:26: @6[5]: _75 = const main::promoted[3]
76 75:9-75:26: @6[6]: _18 = &(*_75)
77 75:9-75:26: @6[7]: _17 = &(*_18)
78 75:9-75:26: @6[8]: _16 = move _17 as &[&str] (Pointer(Unsize))
79 75:9-75:26: @6[17]: _26 = &(*_8)
80 75:9-75:26: @6[18]: _25 = &_26
81 75:9-75:26: @6[21]: _28 = &(*_9)
82 75:9-75:26: @6[22]: _27 = &_28
83 75:9-75:26: @6[23]: _24 = (move _25, move _27)
84 75:9-75:26: @6[26]: FakeRead(ForMatchedPlace, _24)
85 75:9-75:26: @6[28]: _29 = (_24.0: &&i32)
86 75:9-75:26: @6[30]: _30 = (_24.1: &&i32)
87 75:9-75:26: @6[33]: _32 = &(*_29)
88 75:9-75:26: @6[35]: _33 = <&i32 as Debug>::fmt as for<'r, 's, 't0> fn(&'r &i32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error> (Pointer(ReifyFnPointer))
89 75:9-75:26: @6.Call: _31 = ArgumentV1::new::<&i32>(move _32, move _33) -> [return: bb7, unwind: bb17]
90 75:9-75:26: @7[4]: _35 = &(*_30)
91 75:9-75:26: @7[6]: _36 = <&i32 as Debug>::fmt as for<'r, 's, 't0> fn(&'r &i32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error> (Pointer(ReifyFnPointer))
92 75:9-75:26: @7.Call: _34 = ArgumentV1::new::<&i32>(move _35, move _36) -> [return: bb8, unwind: bb17]
93 75:9-75:26: @8[2]: _23 = [move _31, move _34]
94 75:9-75:26: @8[7]: _22 = &_23
95 75:9-75:26: @8[8]: _21 = &(*_22)
96 75:9-75:26: @8[9]: _20 = move _21 as &[std::fmt::ArgumentV1] (Pointer(Unsize))
97 75:9-75:26: @8.Call: _15 = Arguments::new_v1(move _16, move _20) -> [return: bb9, unwind: bb17]
98 75:9-75:26: @9.Call: core::panicking::panic_fmt(move _15) -> bb17"><span class="annotation">@4,6,7,8,9⦊</span>assert_eq!(1, 1);<span class="annotation">⦉@4,6,7,8,9</span></span><span><span class="code odd" style="--layer: 1" title="75:9-75:26: @5[0]: _2 = const ()"><span class="annotation">⦉@5</span></span></span><span class="code" style="--layer: 0"></span></span>
99 <span class="line"><span class="code" style="--layer: 0"> } else {</span></span>
100 <span class="line"><span class="code" style="--layer: 0"> </span><span><span class="code even" style="--layer: 1" title="77:9-77:26: @11[0]: _37 = const ()"><span class="annotation">@11⦊</span></span></span><span class="code even" style="--layer: 2" title="77:9-77:26: @12[5]: _72 = const main::promoted[0]
101 77:9-77:26: @12[6]: _53 = &(*_72)
102 77:9-77:26: @12[7]: _52 = &(*_53)
103 77:9-77:26: @12[8]: _51 = move _52 as &[&str] (Pointer(Unsize))
104 77:9-77:26: @12[17]: _61 = &(*_43)
105 77:9-77:26: @12[18]: _60 = &_61
106 77:9-77:26: @12[21]: _63 = &(*_44)
107 77:9-77:26: @12[22]: _62 = &_63
108 77:9-77:26: @12[23]: _59 = (move _60, move _62)
109 77:9-77:26: @12[26]: FakeRead(ForMatchedPlace, _59)
110 77:9-77:26: @12[28]: _64 = (_59.0: &&i32)
111 77:9-77:26: @12[30]: _65 = (_59.1: &&i32)
112 77:9-77:26: @12[33]: _67 = &(*_64)
113 77:9-77:26: @12[35]: _68 = <&i32 as Debug>::fmt as for<'r, 's, 't0> fn(&'r &i32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error> (Pointer(ReifyFnPointer))
114 77:9-77:26: @12.Call: _66 = ArgumentV1::new::<&i32>(move _67, move _68) -> [return: bb13, unwind: bb17]
115 77:9-77:26: @13[4]: _70 = &(*_65)
116 77:9-77:26: @13[6]: _71 = <&i32 as Debug>::fmt as for<'r, 's, 't0> fn(&'r &i32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error> (Pointer(ReifyFnPointer))
117 77:9-77:26: @13.Call: _69 = ArgumentV1::new::<&i32>(move _70, move _71) -> [return: bb14, unwind: bb17]
118 77:9-77:26: @14[2]: _58 = [move _66, move _69]
119 77:9-77:26: @14[7]: _57 = &_58
120 77:9-77:26: @14[8]: _56 = &(*_57)
121 77:9-77:26: @14[9]: _55 = move _56 as &[std::fmt::ArgumentV1] (Pointer(Unsize))
122 77:9-77:26: @14.Call: _50 = Arguments::new_v1(move _51, move _55) -> [return: bb15, unwind: bb17]
123 77:9-77:26: @15.Call: core::panicking::panic_fmt(move _50) -> bb17"><span class="annotation">@10,12,13,14,15⦊</span>assert_eq!(1, 2);<span class="annotation">⦉@10,12,13,14,15</span></span><span><span class="code even" style="--layer: 1" title="77:9-77:26: @11[0]: _37 = const ()"><span class="annotation">⦉@11</span></span></span><span class="code" style="--layer: 0"></span></span>
124 <span class="line"><span class="code" style="--layer: 0"> }</span></span>
125 <span class="line"><span class="code" style="--layer: 0">}</span><span><span class="code odd" style="--layer: 1" title="79:2-79:2: @16.Return: return"><span class="annotation">@16⦊</span>‸<span class="annotation">⦉@16</span></span></span></span></div>