From dbdb123ae7180b66e5d29ad4dd89b746641a3457 Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Mon, 19 Dec 2016 16:35:48 +0100
Subject: 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.
---
 tests/pos/hkwild.scala | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 tests/pos/hkwild.scala

(limited to 'tests/pos/hkwild.scala')

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)
+    ???
+  }
+}
-- 
cgit v1.2.3