Add regression test for scala#9355

wi101 · Dec 31, 2020 · e24bb31 · e24bb31
1 parent 0a8bb4b
commit e24bb31
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 0 deletions.
diff --git a/tests/pos/i9355/MainTest_2.scala b/tests/pos/i9355/MainTest_2.scala
@@ -0,0 +1,3 @@
+object MainTest extends App {
+  println(JSON.JArray(1))
+}
diff --git a/tests/pos/i9355/Main_1.scala b/tests/pos/i9355/Main_1.scala
@@ -0,0 +1,9 @@
+object JSON {
+  sealed trait Json
+  final case class JArray(elems: JValue*) extends Json
+  type JValue = Number | JArray
+}
+
+object Main extends App {
+  println(JSON.JArray(1))
+}