Fix scala#6601: Check that an enum case extends its enum class

Author: odersky

compiler/src/dotty/tools/dotc/transform/PostTyper.scala

@@ -229,6 +229,7 @@ class PostTyper extends MacroTransform with IdentityDenotTransformer { thisPhase
           cpy.Inlined(tree)(callTrace, transformSub(bindings), transform(expansion)(inlineContext(call)))
         case tree: Template =>
           withNoCheckNews(tree.parents.flatMap(newPart)) {
+            Checking.checkEnumParentOK(tree.symbol.owner)
             val templ1 = paramFwd.forwardParamAccessors(tree)
             synthMbr.addSyntheticMembers(
                 superAcc.wrapTemplate(templ1)(

compiler/src/dotty/tools/dotc/typer/Checking.scala

@@ -592,6 +592,17 @@ object Checking {
       stats.foreach(checkValueClassMember)
     }
   }
+
+  /** Check that an enum case extends its enum class */
+  def checkEnumParentOK(cls: Symbol)(using ctx: Context): Unit =
+    val enumCase =
+      if cls.isAllOf(EnumCase) then cls
+      else if cls.isAnonymousClass && cls.owner.isAllOf(EnumCase) then cls.owner
+      else NoSymbol
+    if enumCase.exists then
+      val enumCls = enumCase.owner.linkedClass
+      if !cls.info.parents.exists(_.typeSymbol == enumCls) then
+        ctx.error(i"enum case does not extend its enum $enumCls", enumCase.sourcePos)
 }
 
 trait Checking {

tests/neg/i6601.scala

@@ -0,0 +1,10 @@
+object GADTs2 {
+  enum Var[G, A] {
+    case Z[A, G]() extends Expr[(A, G), A] // error
+    case X extends AnyRef                  // error
+  }
+  enum Expr[G, A] {
+    case Lit[G](n: Int) extends Expr[G, Int]
+        // case S[A, G](x:
+  }
+}