needed a stronger pause

This commit is contained in:
Tshepang Mbambo 2025-04-19 17:51:41 +02:00
parent 976d13fe49
commit 6be60e83b5

View file

@ -337,7 +337,8 @@ possible, including `//~?` annotations for diagnostics without span.
If the compile time output is target dependent or too verbose, use directive
`//@ dont-require-annotations: <diagnostic-kind>` to make the line annotation checking
non-exhaustive, some of the compiler messages can stay uncovered by annotations in this mode.
non-exhaustive.
Some of the compiler messages can stay uncovered by annotations in this mode.
For checking runtime output `//@ check-run-results` may be preferable.