summaryrefslogtreecommitdiff
path: root/test/files/neg/t0528neg.check
diff options
context:
space:
mode:
authorMartin Odersky <odersky@gmail.com>2008-02-26 09:50:05 +0000
committerMartin Odersky <odersky@gmail.com>2008-02-26 09:50:05 +0000
commite869cd34104701f8c55e19c542775679a1802edd (patch)
tree80f752abc7cd116a489fdc4a9b707fa7352761da /test/files/neg/t0528neg.check
parentbcbeab74566f835219dabf0bbb172fd028a8a032 (diff)
downloadscala-e869cd34104701f8c55e19c542775679a1802edd.tar.gz
scala-e869cd34104701f8c55e19c542775679a1802edd.tar.bz2
scala-e869cd34104701f8c55e19c542775679a1802edd.zip
fixed #520, #489
Diffstat (limited to 'test/files/neg/t0528neg.check')
-rw-r--r--test/files/neg/t0528neg.check4
1 files changed, 4 insertions, 0 deletions
diff --git a/test/files/neg/t0528neg.check b/test/files/neg/t0528neg.check
new file mode 100644
index 0000000000..c8c3ab422f
--- /dev/null
+++ b/test/files/neg/t0528neg.check
@@ -0,0 +1,4 @@
+t0528neg.scala:2: error: covariant type A occurs in invariant position in type => Array[T forSome { type T <: A }] of method toArray
+ def toArray: Array[T forSome {type T <: A}]
+ ^
+one error found