Closes #3434.

1 files changed, 20 insertions, 0 deletions

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)
+}