{% 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 digits-{{max_nb_digits}}"> {# #}
    <pre class="rust"> {# #}
        <code>
            {{code_html|safe}}
        </code> {# #}
    </pre> {# #}
</div> {# #}
