Defer a check from the typer to refcheck so the...

Defer a check from the typer to refcheck so the error message makes some
sense. Closes #4174, review by rytz.

1 files changed, 9 insertions, 0 deletions

diff --git a/test/files/neg/bug4174.scala b/test/files/neg/bug4174.scala
new file mode 100644
index 0000000000..b4a5ab29da
--- /dev/null
+++ b/test/files/neg/bug4174.scala
@@ -0,0 +1,9 @@
+class C
+
+object Test {
+  def foo(c: C) = 0
+
+  def main(args: Array[String]): Unit = {
+    foo(new C { override def bar = 1 })
+  }
+}