Test case #12077

odersky · odersky · commit 71dd329be2aa · 2023-07-18T11:45:23.000+02:00
diff --git a/tests/pos/i12077.scala b/tests/pos/i12077.scala
@@ -0,0 +1,7 @@
+trait Wrapper[K]
+trait Has0[T]
+
+def test[R](v: Wrapper[Has0[String] with R]):R = ???
+
+val zz:Wrapper[Has0[String] with Has0[Int]] = ???
+val _ = test(zz)
