Merge pull request #13 from scala/backport-lts-3.3-21699

Backport "Fix incorrect caching with dependent method parameters" to LTS

Author: WojciechMazur

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

@@ -140,6 +140,9 @@ object Types extends TypeUtils {
               !t.isPermanentlyInstantiated || test(t.permanentInst, theAcc)
             case t: LazyRef =>
               !t.completed || test(t.ref, theAcc)
+            case t: ParamRef =>
+              (t: Type).mightBeProvisional = false // break cycles
+              test(t.underlying, theAcc)
             case _ =>
               (if theAcc != null then theAcc else ProAcc()).foldOver(false, t)
         end if

tests/pos/dep-poly-class.scala

@@ -0,0 +1,9 @@
+trait A:
+  type B
+
+class CCPoly[T <: A](a: T, b: a.B)
+
+object Test:
+  def test(): Unit =
+    val aa: A { type B = Int } = new A { type B = Int }
+    val x: CCPoly[aa.type] = CCPoly(aa, 1)