Fix #9061: Treat type F <: [X] => G like type F[X] <: G.

Author: odersky

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

@@ -156,4 +156,6 @@ object Variances {
     if (v > 0) "+"
     else if (v < 0) "-"
     else ""
+
+  val alwaysInvariant: Any => Invariant.type = Function.const(Invariant)
 }

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

@@ -15,6 +15,7 @@ import util.Spans._
 import util.Property
 import collection.mutable
 import tpd.ListOfTreeDecorator
+import Variances.alwaysInvariant
 import config.{Config, Feature}
 import config.Printers.typr
 import Annotations._
@@ -968,7 +969,10 @@ class Namer { typer: Typer =>
     override final def typeSig(sym: Symbol): Type =
       val tparamSyms = completerTypeParams(sym)(ictx)
       given ctx as Context = nestedCtx
-      def abstracted(tp: TypeBounds): TypeBounds = HKTypeLambda.boundsFromParams(tparamSyms, tp)
+
+      def abstracted(tp: TypeBounds): TypeBounds =
+        HKTypeLambda.boundsFromParams(tparamSyms, tp)
+
       val dummyInfo1 = abstracted(TypeBounds.empty)
       sym.info = dummyInfo1
       sym.setFlag(Provisional)
@@ -998,8 +1002,20 @@ class Namer { typer: Typer =>
       }
       sym.info = dummyInfo2
 
+      // If this type does not have type parameters itself, treat the parameters
+      // of a type lambda on the RHS as non-variant. E.g.
+      //   type F <: [X] =>> G   and   type F[X] <: G
+      // are treated alike.
+      def addVariances(tp: Type): Type = tp match
+        case tp @ TypeBounds(lo, hi) =>
+          tp.derivedTypeBounds(addVariances(lo), addVariances(hi))
+        case tp: HKTypeLambda if tparamSyms.isEmpty && !tp.isDeclaredVarianceLambda =>
+          tp.withVariances(tp.paramNames.map(alwaysInvariant))
+        case _ =>
+          tp
+
       val rhs1 = typedAheadType(rhs)
-      val rhsBodyType: TypeBounds = rhs1.tpe.toBounds
+      val rhsBodyType: TypeBounds = addVariances(rhs1.tpe).toBounds
       val unsafeInfo = if (isDerived) rhsBodyType else abstracted(rhsBodyType)
 
       def opaqueToBounds(info: Type): Type =

compiler/src/dotty/tools/dotc/util/common.scala

@@ -6,8 +6,8 @@ import core.Types.WildcardType
 /** Common values hoisted out for performance */
 object common {
 
-  val alwaysTrue: Any => Boolean = Function.const(true) _
-  val alwaysFalse: Any => Boolean = Function.const(false) _
-  val alwaysZero: Any => Int = Function.const(0) _
-  val alwaysWildcardType: Any => WildcardType.type = Function.const(WildcardType) _
+  val alwaysTrue: Any => Boolean = Function.const(true)
+  val alwaysFalse: Any => Boolean = Function.const(false)
+  val alwaysZero: Any => Int = Function.const(0)
+  val alwaysWildcardType: Any => WildcardType.type = Function.const(WildcardType)
 }

tests/neg/i9061.scala

@@ -0,0 +1,9 @@
+case class Contra[-A](f: A => Int)
+
+case class Covarify[+F <: ([A] =>> Any), +A](fa: F[A]) // error: covariant type A occurs in invariant position in type F[A] of value fa
+
+@main def main = {
+  val x = Covarify[Contra, Int](Contra[Int](_ + 5))
+  val y: Covarify[Contra, Any] = x
+  println(y.fa.f("abc"))
+}