Merge pull request #602 from hubertp/issue/5735

Closes SI-5735. Review by @adriaanm.

2 files changed, 13 insertions, 0 deletions

diff --git a/test/files/neg/t5735.check b/test/files/neg/t5735.check
new file mode 100644
index 0000000000..f6e0028044
--- /dev/null
+++ b/test/files/neg/t5735.check
@@ -0,0 +1,6 @@
+t5735.scala:6: error: type mismatch;
+ found   : (x: Int)Int <and> => String
+ required: Int
+  val z: Int = a
+               ^
+one error found
diff --git a/test/files/neg/t5735.scala b/test/files/neg/t5735.scala
new file mode 100644
index 0000000000..fde71ff962
--- /dev/null
+++ b/test/files/neg/t5735.scala
@@ -0,0 +1,7 @@
+abstract class Base {
+  def a: String = "one"
+}
+class Clazz extends Base {
+  def a(x: Int): Int = 2
+  val z: Int = a
+}