Test that closes SI-5839. Bug itself most probably fixed by #602

2 files changed, 13 insertions, 0 deletions

diff --git a/test/files/neg/t5839.check b/test/files/neg/t5839.check
new file mode 100644
index 0000000000..d4b125bd1e
--- /dev/null
+++ b/test/files/neg/t5839.check
@@ -0,0 +1,6 @@
+t5839.scala:5: error: type mismatch;
+ found   : (x: String => String)Int <and> (x: Int)Int
+ required: Int => String
+  val x: String = goo(foo _)
+                      ^
+one error found
diff --git a/test/files/neg/t5839.scala b/test/files/neg/t5839.scala
new file mode 100644
index 0000000000..d3a5d4b25f
--- /dev/null
+++ b/test/files/neg/t5839.scala
@@ -0,0 +1,7 @@
+object Test {
+  def goo[T](x: Int => T): T = x(1)
+  implicit def f(x: Int): String = ""
+  def foo(x: Int): Int = x + 1
+  val x: String = goo(foo _)
+  def foo(x: String => String) = 1
+}