diff options
author | Adriaan Moors <adriaan.moors@epfl.ch> | 2009-08-13 08:37:19 +0000 |
---|---|---|
committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2009-08-13 08:37:19 +0000 |
commit | 1ceff6729ae30c61ec43e615daf9ef96ea59aae7 (patch) | |
tree | 260b1717abfee5e844dc5d6d46e55298c32e01f6 /test/files/neg/ticket513.check | |
parent | db202748feb20a7d05473a63e5f2a576fcbbd710 (diff) | |
download | scala-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.check | 4 |
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 |