aboutsummaryrefslogtreecommitdiff
path: root/tests/neg
diff options
context:
space:
mode:
authorMartin Odersky <odersky@gmail.com>2016-07-09 19:48:39 +0200
committerMartin Odersky <odersky@gmail.com>2016-07-11 13:35:08 +0200
commit540b38cbd769cee3e8bc72530829e65f7e87cddb (patch)
treeebad8602acbf1779d759070511ecad2ea6b7edb7 /tests/neg
parent5e90215a01d74ef9c2b154727dea87ef2dcb3a1b (diff)
downloaddotty-540b38cbd769cee3e8bc72530829e65f7e87cddb.tar.gz
dotty-540b38cbd769cee3e8bc72530829e65f7e87cddb.tar.bz2
dotty-540b38cbd769cee3e8bc72530829e65f7e87cddb.zip
More tests
Diffstat (limited to 'tests/neg')
-rw-r--r--tests/neg/hk-variance.scala11
1 files changed, 11 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
+
+}