Fix tests

scala · Jul 25, 2024 · 62c71c0 · 62c71c0
1 parent c40760d
commit 62c71c0
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/tests/neg/i13580.check b/tests/neg/i13580.check
@@ -0,0 +1,4 @@
+-- Error: tests/neg/i13580.scala:9:7 -----------------------------------------------------------------------------------
+9 |given (using tracked val w: IntWidth) => IntCandidate: // error
+  |       ^^^^^
+  |       `using` is already implied here, should not be given explicitly
diff --git a/tests/pos/i13580.scala b/tests/pos/i13580.scala
@@ -1,12 +1,12 @@
 //> using options -language:experimental.modularity -source future
 trait IntWidth:
   type Out
-given IntWidth with
+given IntWidth:
   type Out = 155
 
 trait IntCandidate:
   type Out
-given (using tracked val w: IntWidth): IntCandidate with
+given (tracked val w: IntWidth) => IntCandidate:
   type Out = w.Out
 
 val x = summon[IntCandidate]