Dereference stable types recursively

mbovel · mbovel · commit 7c8667e6265d · 2022-06-14T13:50:12.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/core/Types.scala b/compiler/src/dotty/tools/dotc/core/Types.scala
@@ -4242,7 +4242,7 @@ object Types {
             // final val one = 1
             // type Two = one.type + one.type
             // ```
-            case tp: TermRef => tp.underlying
+            case tp: TypeProxy if tp.underlying.isStable => tp.underlying.fixForEvaluation
             case tp => tp
           }
 

Original file line number	Diff line number	Diff line change
`@@ -4242,7 +4242,7 @@ object Types {`
`4242`	`4242`	`// final val one = 1`
`4243`	`4243`	`// type Two = one.type + one.type`
`4244`	`4244`	// ```
`4245`		`- case tp: TermRef => tp.underlying`
	`4245`	`+ case tp: TypeProxy if tp.underlying.isStable => tp.underlying.fixForEvaluation`
`4246`	`4246`	`case tp => tp`
`4247`	`4247`	`}`
`4248`	`4248`