Skip to content

Commit 51f3fa1

Browse files
committed
Add import to tests
1 parent ea8c81c commit 51f3fa1

21 files changed

+56
-5
lines changed

scaladoc-testcases/src/tests/extensionParams.scala

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -52,7 +52,12 @@ extension [A <: List[Char]](using String)(using Unit)(a: A)(using Int)(using Num
5252
extension (using String)(using Unit)(a: Animal)(using Int)(using Number)
5353
def f11(b: Any)(c: Any): Any
5454
= ???
55+
56+
import scala.language.experimental.clauseInterleaving
57+
58+
extension (using String)(using Unit)(a: Animal)(using Int)(using Number)
5559
def f13(b: Any)[T](c: T): T
5660
= ???
5761
def f14[D](b: D)[T](c: T): T
5862
= ???
63+

scaladoc-testcases/src/tests/methodsAndConstructors.scala

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -60,5 +60,8 @@ class Methods:
6060
def withImplicitParam2(v: String)(implicit ab: Double, a: Int, b: String): String
6161
= ???
6262

63+
import scala.language.experimental.clauseInterleaving
64+
6365
def clauseInterleaving[T](x: T)[U](y: U)(using (T, U)): (T, U)
6466
= ???
67+

tests/neg/interleaving-ab.scala

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,5 @@
1+
import scala.language.experimental.clauseInterleaving
2+
13
object Ab:
24
given String = ""
35
given Double = 0

tests/neg/interleaving-params.scala

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,5 @@
1+
import scala.language.experimental.clauseInterleaving
2+
13
class Params{
24
def bar[T](x: T)[T]: String = ??? // error
35
def zoo(x: Int)[T, U](x: U): T = ??? // error
Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,5 @@
1+
import scala.language.experimental.clauseInterleaving
2+
13
object signatureCollision:
24
def f[T](x: T)[U](y: U) = (x,y)
35
def f[T](x: T, y: T) = (x,y) // error

tests/neg/interleaving-typeApply.scala

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,5 @@
1+
import scala.language.experimental.clauseInterleaving
2+
13
object typeApply:
24

35
def f3[T <: Int](using DummyImplicit)[U <: String](): T => T = ???
Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,5 @@
1+
import scala.language.experimental.clauseInterleaving
2+
13
object unmatched:
24
def f1[T (x: T)] = ??? // error
35
def f2(x: Any[)T] = ??? // error // error

tests/neg/namedTypeParams.scala

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -27,6 +27,7 @@ object Test:
2727

2828
object TestInterleaving:
2929
import language.experimental.namedTypeArguments
30+
import language.experimental.clauseInterleaving
3031
def f2[X](using DummyImplicit)[Y](x: X, y: Y): Int = ???
3132

3233
f2[Y = String][X = Int](1, "") // error: Y is undefined

tests/neg/overrides.scala

Lines changed: 10 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -39,30 +39,36 @@ package p2 { // all being in the same package compiles fine
3939
class A[T] {
4040

4141
def f(x: T)(y: T = x) = y
42-
def b[U <: T](x: Int)[V >: T](y: String) = false
4342

4443
def next: T = ???
4544

45+
import scala.language.experimental.clauseInterleaving
46+
47+
def b[U <: T](x: Int)[V >: T](y: String) = false
4648
}
4749

4850
class B extends A[Int] {
4951

5052
def f(x: Int)(y: Int) = y // error: needs `override' modifier
5153

5254
f(2)()
53-
override def b[T <: Int](x: Int)(y: String) = true // error
5455

5556
override def next(): Int = ??? // error: incompatible type
57+
58+
import scala.language.experimental.clauseInterleaving
59+
60+
override def b[T <: Int](x: Int)(y: String) = true // error
5661
}
5762

5863
class C extends A[String] {
5964

6065
override def f(x: String) = x // error
6166

62-
override def b[T <: String](x: Int)[U >: Int](y: String) = true // error: incompatible type
63-
6467
override def next: Int = ??? // error: incompatible type
6568

69+
import scala.language.experimental.clauseInterleaving
70+
71+
override def b[T <: String](x: Int)[U >: Int](y: String) = true // error: incompatible type
6672
}
6773

6874
class X {

tests/pos/interleaving-ba.scala

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
1+
import scala.language.experimental.clauseInterleaving
12

23
object BA {
34
given String = ""

0 commit comments

Comments
 (0)