Improved the error message given when a concret...

Improved the error message given when a concrete method implementation
doesn't match the abstract one. No review.

1 files changed, 10 insertions, 0 deletions

diff --git a/test/files/neg/abstract-concrete-methods.scala b/test/files/neg/abstract-concrete-methods.scala
new file mode 100644
index 0000000000..7f1aea0dbc
--- /dev/null
+++ b/test/files/neg/abstract-concrete-methods.scala
@@ -0,0 +1,10 @@
+trait Outer[This <: Outer[This]] {
+  self: This =>
+
+  trait Inner
+  def score(i: This#Inner): Double
+}
+class Outer2 extends Outer[Outer2] {
+  class Inner extends super.Inner
+  def score(i: Outer2#Inner) = 0.0
+}