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

   %Error-PARAMNODEFAULT: example.v:1:13 Parameter without default requires ANSI-style parameter list (IEEE 1800-2023 6.20.1): 'NODEF'
       8 |   parameter NODEF;
         |             ^~~~~