2 files changed, 24 insertions, 0 deletions
diff --git a/tests/neg/hk-variance.scala b/tests/neg/hk-variance.scala
new file mode 100644
index 000000000..fec5cc366
--- /dev/null
+++ b/tests/neg/hk-variance.scala
@@ -0,0 +1,11 @@
+object Test {
+
+  def f[C[+X]] = ()
+
+  class D[X] {}
+
+  f[D] // error
+
+  def g[E[-Y]] = f[E] // error
+
+}
diff --git a/tests/pos/hk-subtyping.scala b/tests/pos/hk-subtyping.scala
new file mode 100644
index 000000000..a004c2618
--- /dev/null
+++ b/tests/pos/hk-subtyping.scala
@@ -0,0 +1,13 @@
+object Test {
+
+  def compare[S <: T, T] = ()
+
+  compare[Int, Int]
+  compare[Int, Any]
+
+  def f[C <: List] = {
+    compare[C[Int], List[Int]]
+  }
+
+
+}