diff options
author | Iulian Dragos <jaguarul@gmail.com> | 2010-05-13 11:21:39 +0000 |
---|---|---|
committer | Iulian Dragos <jaguarul@gmail.com> | 2010-05-13 11:21:39 +0000 |
commit | fa75d20c42b520eae0bf5b550fc4094a9cc895c5 (patch) | |
tree | d53b0cabe130a9b5bf6b6f8d3d62be08c8502372 /test | |
parent | e7ce9b9723f98c77dd2d47b1c00cd4f214198243 (diff) | |
download | scala-fa75d20c42b520eae0bf5b550fc4094a9cc895c5.tar.gz scala-fa75d20c42b520eae0bf5b550fc4094a9cc895c5.tar.bz2 scala-fa75d20c42b520eae0bf5b550fc4094a9cc895c5.zip |
Closes #3434.
Diffstat (limited to 'test')
-rw-r--r-- | test/files/run/spec-overrides.check | 0 | ||||
-rw-r--r-- | test/files/run/spec-overrides.scala | 20 |
2 files changed, 20 insertions, 0 deletions
diff --git a/test/files/run/spec-overrides.check b/test/files/run/spec-overrides.check new file mode 100644 index 0000000000..e69de29bb2 --- /dev/null +++ b/test/files/run/spec-overrides.check diff --git a/test/files/run/spec-overrides.scala b/test/files/run/spec-overrides.scala new file mode 100644 index 0000000000..f5d2e2f9c7 --- /dev/null +++ b/test/files/run/spec-overrides.scala @@ -0,0 +1,20 @@ + trait Base[@specialized(Double) B] { + def default: B; + } + + trait D1 extends Base[Double] { + override def default = 0.0; + } + + class D2 extends D1 { + override def default: Double = 1.0; + } + + +object Test extends Application { + val d2 = new D2 + + assert(d2.default == 1.0, d2.default) + assert((d2: Base[_]).default == 1.0, (d2: Base[_]).default) + assert((d2: D1).default == 1.0, (d2: D1).default) +} |