Fix of Fix of t1236: higher-kinded

Fix of d6df293d2120f2247198cb6646a23c338f7dcbbf. It turned out the original commit
was faulty in that iterator.flatten did not typecheck. The problem is fixed in this
commit and flatten is added to the collections test.

1 files changed, 3 insertions, 3 deletions

diff --git a/src/dotty/tools/dotc/core/TypeComparer.scala b/src/dotty/tools/dotc/core/TypeComparer.scala
index d66d4069c..ce1c1e869 100644
--- a/src/dotty/tools/dotc/core/TypeComparer.scala
+++ b/src/dotty/tools/dotc/core/TypeComparer.scala
@@ -649,13 +649,13 @@ class TypeComparer(initctx: Context) extends DotClass {
         val base = tp1.narrow
         tparams.map(base.memberInfo)
       }
-    val hkArgs = tp2.argInfos
-    hk.println(s"isSubTypeHK: args1 = $args1, hkargs = $hkArgs")
-    val boundsOK = (args1 corresponds hkArgs)(isSubType)
+    val hkBounds = tp2.argInfos.map(_.asInstanceOf[TypeBounds])
+    val boundsOK = (hkBounds corresponds args1)(_ contains _)
     val variancesOK =
       argInfos1.nonEmpty || (tparams corresponds tp2.typeSymbol.name.hkVariances) { (tparam, v) =>
         v == 0 || tparam.variance == v
       }
+    hk.println(s"isSubTypeHK: args1 = $args1, hk-bounds = $hkBounds $boundsOK $variancesOK")
     boundsOK && variancesOK
   }