Skip to content

Commit 9735aa3

Browse files
committed
Add more tests
# Conflicts: # tests/neg-custom-args/no-experimental/experimental.scala
1 parent 28b5154 commit 9735aa3

File tree

1 file changed

+15
-6
lines changed

1 file changed

+15
-6
lines changed

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

Lines changed: 15 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -2,24 +2,33 @@ class Test0 {
22
import language.experimental.namedTypeArguments // error
33
object Foo {
44
inline def f[S, T](x: S): T = ???
5-
def g(x: Int) = f[T = Any](x) // error
5+
def g(x: Int) = f[T = Any](x)
66
}
77
}
88

99
class Test1 {
10-
import language.experimental.erasedDefinitions // error
10+
import scala.language.experimental.erasedDefinitions // error
1111
import scala.compiletime.erasedValue
1212
type UnivEq[A]
1313
object UnivEq:
14-
erased def force[A]: UnivEq[A] = erasedValue // error // error // error
15-
extension [A](erased proof: UnivEq[A]) // error
14+
erased def force[A]: UnivEq[A] = erasedValue
15+
extension [A](erased proof: UnivEq[A])
1616
inline def univEq(a: A, b: A): Boolean =
1717
a == b
1818
}
1919

20-
class Test1 {
21-
import language.experimental.genericNumberLiterals // error
20+
class Test2 {
21+
import _root_.scala.language.experimental.{genericNumberLiterals, namedTypeArguments => _} // error
2222
val x: BigInt = 13232202002020202020202
2323
val y: BigInt = -0xaabb12345ACF12345AC
2424
}
2525

26+
class Test6 {
27+
import scala.language.experimental // ok
28+
}
29+
30+
class Test7 {
31+
import scala.language.experimental
32+
import experimental.genericNumberLiterals // error: no aliases can be used to refer to a language import
33+
val x: BigInt = 13232202002020202020202 // error
34+
}

0 commit comments

Comments
 (0)