Merge pull request #9723 from dotty-staging/fix-9325

nicolasstucki · web-flow · commit 1ab71c10f56c · 2020-09-04T14:36:53.000+02:00
fix #9325: add regression test
diff --git a/tests/neg/i9325.scala b/tests/neg/i9325.scala
@@ -0,0 +1,2 @@
+enum Foo[T] extends java.lang.Enum[Foo[T]] { case Red extends Foo[Int]; case Blue extends Foo[String] }
+val res0 = (Foo.Red: Foo[?]) compareTo Foo.Blue // error: type mismatch Found (Foo.Blue : Foo[String]) Expected ?1.E

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	`+enum Foo[T] extends java.lang.Enum[Foo[T]] { case Red extends Foo[Int]; case Blue extends Foo[String] }`
	`2`	`+val res0 = (Foo.Red: Foo[?]) compareTo Foo.Blue // error: type mismatch Found (Foo.Blue : Foo[String]) Expected ?1.E`