diff options
| author | Martin Odersky <odersky@gmail.com> | 2010-08-12 09:03:30 +0000 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2010-08-12 09:03:30 +0000 |
| commit | b781e25afea36e2839d207125d3b91b35571d8ec (patch) | |
| tree | 666181f980cbd9f0352e78e1d9baddd8cd4b0619 /test/files/neg/override.check | |
| parent | e3743b812ab05f15db8a8e64e47f8b92948fe180 (diff) | |
| download | scala-b781e25afea36e2839d207125d3b91b35571d8ec.tar.gz scala-b781e25afea36e2839d207125d3b91b35571d8ec.tar.bz2 scala-b781e25afea36e2839d207125d3b91b35571d8ec.zip | |
Fixed type soundness problem someone raised on ...
Fixed type soundness problem someone raised on hackers news. Test in
override.scala. Review by moors.
Diffstat (limited to 'test/files/neg/override.check')
| -rw-r--r-- | test/files/neg/override.check | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/test/files/neg/override.check b/test/files/neg/override.check new file mode 100644 index 0000000000..0336fb2b11 --- /dev/null +++ b/test/files/neg/override.check @@ -0,0 +1,5 @@ +override.scala:9: error: overriding type T in trait A with bounds >: Int <: Int; + type T in trait B with bounds >: String <: String has incompatible type + lazy val x : A with B = x + ^ +one error found |