fixed missing deprecated warning on types; fixe...

fixed missing deprecated warning on types; fixed problem with traits in
refinements.

1 files changed, 12 insertions, 0 deletions

diff --git a/test/files/pos/t0438.scala b/test/files/pos/t0438.scala
new file mode 100644
index 0000000000..fa5b7711ff
--- /dev/null
+++ b/test/files/pos/t0438.scala
@@ -0,0 +1,12 @@
+class Foo {
+  implicit def pair2fun2[A, B, C](f: (A, B) => C) =
+     {p: (A, B) => f(p._1, p._2) }
+
+  def foo(f: ((Int, Int)) => Int) = f
+  def bar(x: Int, y: Int) = x + y
+
+  foo({ (x: Int, y: Int) => x + y }) // works
+  foo(pair2fun2(bar _)) // works
+  foo(bar _) // error
+  foo(bar)   // same error
+}