Another test

odersky · odersky · commit 3db1b253fbfa · 2022-04-05T23:27:33.000+02:00
diff --git a/tests/run/i7281.scala b/tests/run/i7281.scala
@@ -0,0 +1,12 @@
+
+trait T {
+    case class X[A]()
+}
+
+object a extends T
+object b extends T
+
+val ax = a.X()
+val bx = b.X()
+
+@main def Test = assert(ax != bx)
