summaryrefslogtreecommitdiff
path: root/test/files/neg/ticket513.check
diff options
context:
space:
mode:
authorAdriaan Moors <adriaan.moors@epfl.ch>2009-08-13 08:37:19 +0000
committerAdriaan Moors <adriaan.moors@epfl.ch>2009-08-13 08:37:19 +0000
commit1ceff6729ae30c61ec43e615daf9ef96ea59aae7 (patch)
tree260b1717abfee5e844dc5d6d46e55298c32e01f6 /test/files/neg/ticket513.check
parentdb202748feb20a7d05473a63e5f2a576fcbbd710 (diff)
downloadscala-1ceff6729ae30c61ec43e615daf9ef96ea59aae7.tar.gz
scala-1ceff6729ae30c61ec43e615daf9ef96ea59aae7.tar.bz2
scala-1ceff6729ae30c61ec43e615daf9ef96ea59aae7.zip
fix for 513: use deep ForeachTypeTraverser in d...
fix for 513: use deep ForeachTypeTraverser in doTypeTraversal instead of shallow one test case+checkfile for #513
Diffstat (limited to 'test/files/neg/ticket513.check')
-rw-r--r--test/files/neg/ticket513.check4
1 files changed, 4 insertions, 0 deletions
diff --git a/test/files/neg/ticket513.check b/test/files/neg/ticket513.check
new file mode 100644
index 0000000000..8994269262
--- /dev/null
+++ b/test/files/neg/ticket513.check
@@ -0,0 +1,4 @@
+ticket513.scala:6: error: type arguments [NotThatBound] do not conform to trait T's type parameter bounds [A <: Bound]
+object Wrong extends Wrap[T[NotThatBound]]
+ ^
+one error found