tests: format block_annotation_data

aleksisch · claude · aleksisch · commit ee03cc1da12e · 2026-07-27T18:50:00.000+03:00
The formatter wants $(x : int), not $ (x : int); dasfmt --verify (the
extended_checks format gate) failed on it.

Co-Authored-By: Claude Opus 5 (1M context) &lt;noreply@anthropic.com&gt;
diff --git a/tests/language/block_annotation_data.das b/tests/language/block_annotation_data.das
@@ -42,7 +42,7 @@ def test_annotated_block_still_invokes(t : T?) {
 // A block with no annotation must report 0, or the test above would pass on a stale read.
 [test]
 def test_unannotated_block_has_no_data(t : T?) {
-    let ad = probe() $ (x : int) : int {
+    let ad = probe() $(x : int) : int {
         return x + 2
     }
     t |> equal(ad, 0ul)

Original file line number	Diff line number	Diff line change
`@@ -42,7 +42,7 @@ def test_annotated_block_still_invokes(t : T?) {`
`42`	`42`	`// A block with no annotation must report 0, or the test above would pass on a stale read.`
`43`	`43`	`[test]`
`44`	`44`	`def test_unannotated_block_has_no_data(t : T?) {`
`45`		`- let ad = probe() $ (x : int) : int {`
	`45`	`+ let ad = probe() $(x : int) : int {`
`46`	`46`	`return x + 2`
`47`	`47`	`}`
`48`	`48`	`t \|> equal(ad, 0ul)`