| {% match file_path %} |
| {% when Some with ((path, name)) %} |
| <div class="main-heading"> {# #} |
| <h1> {# #} |
| <div class="sub-heading">{{path}}/</div> |
| {{name}} |
| </h1> {# #} |
| <rustdoc-toolbar></rustdoc-toolbar> {# #} |
| </div> |
| {% else %} |
| {% endmatch %} |
| <div class="example-wrap"> |
| {# https://developers.google.com/search/docs/crawling-indexing/robots-meta-tag#data-nosnippet-attr |
| Do not show "1 2 3 4 5 ..." in web search results. #} |
| <div data-nosnippet><pre class="src-line-numbers"> |
| {% for line in lines.clone() %} |
| {# ~#} |
| <a href="#{{line|safe}}" id="{{line|safe}}">{{line|safe}}</a> |
| {% endfor %} |
| </pre></div> {# #} |
| <pre class="rust"> {# #} |
| <code> |
| {{code_html|safe}} |
| </code> {# #} |
| </pre> {# #} |
| </div> {# #} |