From e24bb31bc260d3eafc9fdaeec842ee29090cca4e Mon Sep 17 00:00:00 2001
From: Tom Grigg <tomegrigg@gmail.com>
Date: Thu, 31 Dec 2020 10:25:48 -0800
Subject: [PATCH] Add regression test for #9355

---
 tests/pos/i9355/MainTest_2.scala | 3 +++
 tests/pos/i9355/Main_1.scala     | 9 +++++++++
 2 files changed, 12 insertions(+)
 create mode 100644 tests/pos/i9355/MainTest_2.scala
 create mode 100644 tests/pos/i9355/Main_1.scala

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))
+}