diff options
| author | Martin Odersky <odersky@gmail.com> | 2009-11-13 17:31:12 +0000 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2009-11-13 17:31:12 +0000 |
| commit | 6c4064a77086ee82de861ec30dfd87fe120c6b0d (patch) | |
| tree | b8f815eb95603d1f023c22162d82f8fda4ae6718 /test/files/neg/t1477.check | |
| parent | 92c280f6d1116a551b805543a216eb01ab94c8cf (diff) | |
| download | scala-6c4064a77086ee82de861ec30dfd87fe120c6b0d.tar.gz scala-6c4064a77086ee82de861ec30dfd87fe120c6b0d.tar.bz2 scala-6c4064a77086ee82de861ec30dfd87fe120c6b0d.zip | |
Fixes #1477 by requiring that abstract types wi...
Fixes #1477 by requiring that abstract types with non-volatile upper
bounds cannot be overridden by volatile types.
Diffstat (limited to 'test/files/neg/t1477.check')
| -rw-r--r-- | test/files/neg/t1477.check | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/test/files/neg/t1477.check b/test/files/neg/t1477.check new file mode 100644 index 0000000000..e497637857 --- /dev/null +++ b/test/files/neg/t1477.check @@ -0,0 +1,5 @@ +t1477.scala:13: error: overriding type V in trait C with bounds >: Nothing <: Middle.this.D; + type V is a volatile type; cannot override a type with non-volatile upper bound + type V <: (D with U) + ^ +one error found |