needed a stronger pause

This commit is contained in:
Tshepang Mbambo 2025-04-19 17:51:41 +02:00
parent 3587bad938
commit 58d5664e4e
1 changed files with 2 additions and 1 deletions

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 If the compile time output is target dependent or too verbose, use directive
`//@ dont-require-annotations: <diagnostic-kind>` to make the line annotation checking `//@ 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. For checking runtime output `//@ check-run-results` may be preferable.