Merge pull request #6002 from dotty-staging/fix-5015

Fix #5015: disallow empty enum definition

Author: liufengyun

compiler/src/dotty/tools/dotc/parsing/Parsers.scala

@@ -2556,6 +2556,11 @@ object Parsers {
       val clsName = modName.toTypeName
       val constr = classConstr()
       val templ = templateOpt(constr, isEnum = true)
+      templ match {
+        case Template(_, _, _, List(EmptyTree)) =>
+          syntaxError("enum body should not be empty.", start)
+        case _ =>
+      }
       finalizeDef(TypeDef(clsName, templ), addMod(mods, enumMod), start)
     }
 

compiler/test/dotty/tools/dotc/reporting/ErrorMessagesTests.scala

@@ -22,7 +22,7 @@ class ErrorMessagesTests extends ErrorMessagesTest {
   @Test def caseClassExtendsEnum =
     checkMessagesAfter(RefChecks.name) {
       """
-        |enum Foo {}
+        |enum Foo { case A, B }
         |case class Bar() extends Foo
       """.stripMargin
     }

tests/neg/i5015.scala

@@ -0,0 +1 @@
+enum A extends AnyRef { } // error