summaryrefslogtreecommitdiff
path: root/test/pending
diff options
context:
space:
mode:
authorAdriaan Moors <adriaan.moors@epfl.ch>2007-04-06 09:39:53 +0000
committerAdriaan Moors <adriaan.moors@epfl.ch>2007-04-06 09:39:53 +0000
commitf96b6beefc08f56218ac68b37a4cecd757cb60ee (patch)
tree2001a44efae7ddd1699520d3855598ef13e30803 /test/pending
parent10a651a13c323366223160bfa1b4fe8a6e818d1d (diff)
downloadscala-f96b6beefc08f56218ac68b37a4cecd757cb60ee.tar.gz
scala-f96b6beefc08f56218ac68b37a4cecd757cb60ee.tar.bz2
scala-f96b6beefc08f56218ac68b37a4cecd757cb60ee.zip
adding test files from tcpoly branch without hi...
adding test files from tcpoly branch without history -- much faster this way, sorry
Diffstat (limited to 'test/pending')
-rw-r--r--test/pending/neg/tcpoly_variance_enforce_getter_setter.scala12
1 files changed, 12 insertions, 0 deletions
diff --git a/test/pending/neg/tcpoly_variance_enforce_getter_setter.scala b/test/pending/neg/tcpoly_variance_enforce_getter_setter.scala
new file mode 100644
index 0000000000..7888b9e2a1
--- /dev/null
+++ b/test/pending/neg/tcpoly_variance_enforce_getter_setter.scala
@@ -0,0 +1,12 @@
+trait coll[+m[+x]]
+
+class FooInvar[x]
+class FooContra[-x]
+class FooCov[+x]
+
+object test {
+ var ok: coll[FooCov] = _
+
+ var x: coll[FooInvar] = _ // TODO: error should be reported only once instead of separately for getter and setter
+ var y: coll[FooContra] = _
+} \ No newline at end of file