.. comment: generated by t_assert_comp_bad
.. code-block:: sv
$warning("User elaboration-time warning");