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 8d89345 commit cf74996Copy full SHA for cf74996
tests/neg/mt-deskolemize.scala renamed to tests/neg-deep-subtype/mt-deskolemize.scala
@@ -1,3 +1,4 @@
1
+// LTS specific change: -Yno-deep-subtypes makes it crash, in Next is placed in neg/
2
trait Expr:
3
type Value
4
object Expr:
0 commit comments