.. comment: generated by t_assert_comp_bad
.. code-block::

   -Info: example.v:1:7 User elaboration-time info