Fix #17115: Try to normalize while computing typeSize.

scala · Aug 11, 2023 · ad29ce8 · ad29ce8
1 parent fed94f3
commit ad29ce8
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 1 deletion.
diff --git a/compiler/src/dotty/tools/dotc/core/Types.scala b/compiler/src/dotty/tools/dotc/core/Types.scala
@@ -6459,7 +6459,9 @@ object Types {
         seen += tp
         tp match {
           case tp: AppliedType =>
-            foldOver(n + 1, tp)
+            val tpNorm = tp.tryNormalize
+            if tpNorm.exists then apply(n, tpNorm)
+            else foldOver(n + 1, tp)
           case tp: RefinedType =>
             foldOver(n + 1, tp)
           case tp: TypeRef if tp.info.isTypeAlias =>

diff --git a/tests/pos/i17115.scala b/tests/pos/i17115.scala
@@ -0,0 +1,9 @@
+trait A[T <: Tuple] { val x: Int }
+given empty: A[EmptyTuple] with { val x = 1 }
+given inductive[Tup <: NonEmptyTuple](using A[Tuple.Tail[Tup]]): A[Tup] with { val x = summon[A[Tuple.Tail[Tup]]].x + 1 }
+
+object Test:
+  def main(args: Array[String]): Unit =
+    println(summon[A[(String, String, String)]].x) //this line is fine
+    println(summon[A[(String, String, String, String)]].x) //this line gives error
+end Test