From 6ad6e3b6e9547caeebd66061a52294914c667219 Mon Sep 17 00:00:00 2001 From: Hubert Plociniczak Date: Wed, 27 Jun 2012 10:07:15 +0200 Subject: Test that closes SI-5839. Bug itself most probably fixed by #602 --- test/files/neg/t5839.check | 6 ++++++ test/files/neg/t5839.scala | 7 +++++++ 2 files changed, 13 insertions(+) create mode 100644 test/files/neg/t5839.check create mode 100644 test/files/neg/t5839.scala (limited to 'test/files/neg') 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 (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 +} -- cgit v1.2.3