Fix infinite loop in Mirror synthesis of unreducible match type

This regressed in f7e2e7c (present in 3.4.0).
scala · Apr 8, 2024 · 5d0c47a · 5d0c47a
1 parent 133e709
commit 5d0c47a
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 1 deletion.
diff --git a/compiler/src/dotty/tools/dotc/typer/Synthesizer.scala b/compiler/src/dotty/tools/dotc/typer/Synthesizer.scala
@@ -379,7 +379,7 @@ class Synthesizer(typer: Typer)(using @constructorOnly c: Context):
                 // avoid type aliases for tuples
                 Right(MirrorSource.GenericTuple(types))
               case _ => reduce(tp.underlying)
-          case tp: MatchType => reduce(tp.normalized)
+          case tp: MatchType => reduce(tp.tryNormalize.orElse(tp.superType))
           case _ => reduce(tp.superType)
       case tp @ AndType(l, r) =>
         for

diff --git a/tests/neg/i19198.scala b/tests/neg/i19198.scala
@@ -0,0 +1,9 @@
+import deriving.Mirror
+import compiletime.summonInline
+
+type DoesNotReduce[T] = T match
+  case String => Any
+
+class Foo
+@main def Test: Unit =
+  summonInline[Mirror.Of[DoesNotReduce[Option[Int]]]] // error