Fix #12278: Also tryNormalize LazyRefs

Author: OlivierBlanvillain

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

@@ -2816,6 +2816,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,10 @@
+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 fib3: Fib[3] = 2
+}