Fix subtyping of hk types with wildcard arguments

Argument comparison of hk types did not take into account that
the compared types could have themselves wildcard arguments.

1 files changed, 6 insertions, 0 deletions

diff --git a/tests/pos/hkwild.scala b/tests/pos/hkwild.scala
new file mode 100644
index 000000000..49bea7d01
--- /dev/null
+++ b/tests/pos/hkwild.scala
@@ -0,0 +1,6 @@
+class Test[T1](val x: T1) {
+  def invert[El1, CC1[X]](implicit w1: T1 <:< CC1[El1]) = {
+    val buf: CC1[_] = w1(x)
+    ???
+  }
+}