diff --git a/tests/pos/i9355/MainTest_2.scala b/tests/pos/i9355/MainTest_2.scala
new file mode 100644
index 000000000000..0a0011f011ba
--- /dev/null
+++ 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
new file mode 100644
index 000000000000..cf65e985c778
--- /dev/null
+++ 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))
+}