Skip to content

Commit 9ee3389

Browse files
committed
Add more tests
1 parent cf598ec commit 9ee3389

File tree

1 file changed

+38
-4
lines changed

1 file changed

+38
-4
lines changed

tests/neg-custom-args/no-experimental/experimental.scala

Lines changed: 38 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -17,9 +17,43 @@ class Test1 {
1717
a == b
1818
}
1919

20-
class Test1 {
21-
import language.experimental.genericNumberLiterals // error
22-
val x: BigInt = 13232202002020202020202
23-
val y: BigInt = -0xaabb12345ACF12345AC
20+
class Test2 {
21+
import scala.language.experimental.genericNumberLiterals // error
22+
val x: BigInt = 13232202002020202020202 // error
23+
val y: BigInt = -0xaabb12345ACF12345AC // error
24+
}
25+
26+
class Test3 {
27+
import scala.language.experimental.namedTypeArguments // error
28+
object Foo {
29+
inline def f[S, T](x: S): T = ???
30+
def g(x: Int) = f[T = Any](x) // error
31+
}
32+
}
33+
34+
class Test4 {
35+
import scala.language.experimental.erasedDefinitions // error
36+
import scala.compiletime.erasedValue
37+
type UnivEq[A]
38+
object UnivEq:
39+
erased def force[A]: UnivEq[A] = erasedValue // error // error // error
40+
extension [A](erased proof: UnivEq[A]) // error
41+
inline def univEq(a: A, b: A): Boolean =
42+
a == b
43+
}
44+
45+
class Test5 {
46+
import scala.language.experimental.genericNumberLiterals // error
47+
val x: BigInt = 13232202002020202020202 // error
48+
val y: BigInt = -0xaabb12345ACF12345AC // error
49+
}
50+
51+
class Test6 {
52+
import scala.language.experimental
2453
}
2554

55+
class Test7 {
56+
import scala.language.experimental
57+
import experimental.genericNumberLiterals // error: no aliases can be used to refer to a language import
58+
val x: BigInt = 13232202002020202020202 // error
59+
}

0 commit comments

Comments
 (0)