Merge pull request #12281 from dotty-staging/fix-12278

Fix #12278: Also tryNormalize LazyRefs

Author: odersky

compiler/src/dotty/tools/dotc/core/Types.scala

@@ -2824,6 +2824,8 @@ object Types {
     private var myRef: Type = null
     private var computed = false
 
+    override def tryNormalize(using Context): Type = ref.tryNormalize
+
     def ref(using Context): Type =
       if computed then
         if myRef == null then

tests/pos/12278.scala

@@ -0,0 +1,16 @@
+import scala.compiletime.ops.int.*
+
+object Test {
+  type Fib[N <: Int] <: Int = N match {
+    case 0 => 0
+    case 1 => 1
+    case Any => Fib[N - 1] + Fib[N - 2]
+  }
+  val fib0: Fib[0] = 0
+  val fib1: Fib[1] = 1
+  val fib2: Fib[2] = 1
+  val fib3: Fib[3] = 2
+  val fib4: Fib[4] = 3
+  val fib5: Fib[5] = 5
+  val fib6: Fib[6] = 8
+}