We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
2 parents ceb359b + 6837445 commit 4a28652Copy full SHA for 4a28652
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