Don't generate Mirror.Sum for simple enum cases

Author: andrzejressel

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

@@ -273,7 +273,7 @@ class Synthesizer(typer: Typer)(using @constructorOnly c: Context):
     val cls = mirroredType.classSymbol
     val useCompanion = cls.useCompanionAsSumMirror
 
-    if cls.isGenericSum(if useCompanion then cls.linkedClass else ctx.owner) then
+    if (!mirroredType.termSymbol.isEnumCase && (cls.isGenericSum(if useCompanion then cls.linkedClass else ctx.owner))) then
       val elemLabels = cls.children.map(c => ConstantType(Constant(c.name.toString)))
 
       def solve(sym: Symbol): Type = sym match

tests/neg/scala_enum_testing.scala

@@ -0,0 +1,15 @@
+import scala.util.NotGiven
+import scala.compiletime.*
+import scala.deriving.Mirror
+
+enum Color:
+  case Red, Green, Blue
+end Color
+
+object Test {
+
+    def main(args: Array[String]): Unit = {
+      summon[Mirror.ProductOf[Color]] // error
+      summon[Mirror.SumOf[Color.Red.type]] // error
+    }
+}

tests/run/scala_enum_testing.scala

@@ -0,0 +1,17 @@
+import scala.util.NotGiven
+import scala.compiletime.*
+import scala.deriving.Mirror
+
+enum Color:
+  case Red, Green, Blue
+end Color
+
+object Test {
+
+    def main(args: Array[String]): Unit = {
+      summon[Mirror.Of[Color.Red.type]]
+      summon[Mirror.Of[Color]]
+      summon[Mirror.ProductOf[Color.Red.type]]
+      summon[Mirror.SumOf[Color]]
+    }
+}