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.inline/inline.error.-------.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>inline.error - 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 48"><span class=
"line"><span><span class=
"code even" style=
"--layer: 1" title=
"50:5-50:21: @0.Call: std::rt::begin_panic::<&str>(const "error") -> bb1
73 49:12-51:2: @1.Resume: resume"><span class=
"annotation">@
0,
1⦊
</span>fn error() {
</span></span>
74 <span class=
"line"><span class=
"code even" style=
"--layer: 1" title=
"50:5-50:21: @0.Call: std::rt::begin_panic::<&str>(const "error") -> bb1
75 49:12-51:2: @1.Resume: resume"> panic!(
"error");
</span></span>
76 <span class=
"line"><span class=
"code even" style=
"--layer: 1" title=
"50:5-50:21: @0.Call: std::rt::begin_panic::<&str>(const "error") -> bb1
77 49:12-51:2: @1.Resume: resume">}
<span class=
"annotation">⦉@
0,
1</span></span></span></span></div>