Merge pull request #9092 from dotty-staging/fix-fix-9061

Fix variance fixing code in the fix of #9061

Author: odersky

compiler/src/dotty/tools/dotc/typer/Namer.scala

@@ -1009,8 +1009,8 @@ class Namer { typer: Typer =>
         case tp: TypeBounds =>
           def recur(tp: Type): Type = tp match
             case tp: HKTypeLambda if !tp.isDeclaredVarianceLambda =>
-              tp.withVariances(tp.paramNames.map(alwaysInvariant))
-               .derivedLambdaType(resType = recur(tp.resType))
+              val tp1 = tp.withVariances(tp.paramNames.map(alwaysInvariant))
+              tp1.derivedLambdaType(resType = recur(tp1.resType))
             case tp => tp
           tp.derivedTypeBounds(tp.lo, recur(tp.hi))
         case _ =>

tests/pos/nestedLambdas.scala

@@ -10,11 +10,11 @@ class Test {
 
   val y: A[Int][Boolean] = x
 
-  def f[X <: T[Int]] = ???
+  def f[X <: [Y] =>> T[Int][Y]] = ???
 
   f[A[Int]]
 
-  def g[X <: T] = ???
+  def g[X <: [Y] =>> [Z] =>> T[Y][Z]] = ???
 
   g[A]