We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
2 parents bdb5f1c + 90c5788 commit 73a5cc1Copy full SHA for 73a5cc1
tests/pos/i21189-alt.scala
@@ -7,6 +7,6 @@ trait Ord[T]
7
trait Sorted[T] extends ParentOfSorted[T]
8
9
trait ParentOfSorted[T]:
10
- given Ord[T] as ord = compiletime.deferred
+ given ord: Ord[T] = compiletime.deferred
11
12
class SortedSet[T : Ord] extends Sorted[T]
tests/pos/i21189.scala
@@ -5,6 +5,6 @@ class MySortedSet[T : Ord] extends SortedSet[T]
5
trait Ord[T]
6
trait Sorted[T]:
+ given orrd: Ord[T] = compiletime.deferred
0 commit comments