summaryrefslogtreecommitdiff
path: root/test/files/neg/variances.check
diff options
context:
space:
mode:
authormichelou <michelou@epfl.ch>2005-12-13 18:21:58 +0000
committermichelou <michelou@epfl.ch>2005-12-13 18:21:58 +0000
commit31a5aa6eca4675bf0b02613751cf5c63d60708db (patch)
tree298fedf570c79a9dc28ac42c8217c34a2cf21ca8 /test/files/neg/variances.check
parent65e8e4cd1c640be5f5f684c0110636e7b0dd3615 (diff)
downloadscala-31a5aa6eca4675bf0b02613751cf5c63d60708db.tar.gz
scala-31a5aa6eca4675bf0b02613751cf5c63d60708db.tar.bz2
scala-31a5aa6eca4675bf0b02613751cf5c63d60708db.zip
*** empty log message ***
Diffstat (limited to 'test/files/neg/variances.check')
-rw-r--r--test/files/neg/variances.check4
1 files changed, 4 insertions, 0 deletions
diff --git a/test/files/neg/variances.check b/test/files/neg/variances.check
new file mode 100644
index 0000000000..a01d0e1e61
--- /dev/null
+++ b/test/files/neg/variances.check
@@ -0,0 +1,4 @@
+variances.scala:2: covariant type a occurs in contravariant position in type Vector[a] of value x
+ def append(x: Vector[a]): Vector[a]
+ ^
+one error found