Fix #7648: Heal variances when comparing eta-expansions

Author: odersky

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

@@ -579,10 +579,15 @@ class TypeComparer(initctx: Context) extends ConstraintHandling[AbsentContext] w
             val saved = comparedTypeLambdas
             comparedTypeLambdas += tp1
             comparedTypeLambdas += tp2
-            try
-              variancesConform(tp1.typeParams, tp2.typeParams) &&
-              boundsOK &&
-              isSubType(tp1.resType, tp2.resType.subst(tp2, tp1))
+            val variancesOK =
+              variancesConform(tp1.typeParams, tp2.typeParams)
+              || { // if tp1 is of the form [X] =>> C[X] where `C` is co- or contra-variant
+                   // assume the variance of `C` for `tp1` instead. Fixes #7648.
+                tp1 match
+                  case EtaExpansion(tycon1) => variancesConform(tycon1.typeParams, tp2.typeParams)
+                  case _ => false
+              }
+            try variancesOK && boundsOK && isSubType(tp1.resType, tp2.resType.subst(tp2, tp1))
             finally comparedTypeLambdas = saved
           case _ =>
             val tparams1 = tp1.typeParams

tests/pos/i7648.scala

@@ -0,0 +1,18 @@
+package i7648
+
+class IO[+A]
+
+trait Functor[F[_]]
+trait Monad[F[_]] extends Functor[F]
+
+class Stream[+F[_], +A] {
+  def take[F1[x] >: F[x]](n: Int)(implicit f: Functor[F1]): Stream[F1, A] = {
+    this
+  }
+}
+
+object Test with
+
+  implicit val ioMonad: Monad[IO] = null
+
+  val x = new Stream[IO, Int].take[IO](10)