We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 6972e06 commit b9baa71Copy full SHA for b9baa71
tests/pos-deep-subtype/9849.scala renamed to tests/neg-custom-args/allow-deep-subtypes/9849.scala
@@ -1,4 +1,4 @@
1
-type *:[A, B] = A match
+type *:[A, B] = A match // error: Recursion limit exceeded.
2
case (B *: x) => A
3
case (x *: y) => x *: (B *: y)
4
case _ => A *: B
0 commit comments