From 6c164a5d906c657baa045c1d564c63273eb65f31 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Tue, 21 Feb 2017 17:50:05 +0100 Subject: Extend argument pretyping to case-closures --- tests/pos/inferOverloaded.scala | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'tests/pos/inferOverloaded.scala') diff --git a/tests/pos/inferOverloaded.scala b/tests/pos/inferOverloaded.scala index e5e800644..e7179a04a 100644 --- a/tests/pos/inferOverloaded.scala +++ b/tests/pos/inferOverloaded.scala @@ -28,11 +28,11 @@ object Test { m.map1({ case (k, v) => k - 1 }: PartialFunction[(Int, String), Int]) m.map2({ case (k, v) => k - 1 }: PartialFunction[(Int, String), Int]) - // These ones did not work before, still don't work in dotty: - //m.map1 { case (k, v) => k } - //val r = m.map1 { case (k, v) => (k, k*10) } - //val rt: MyMap[Int, Int] = r - //m.foo { case (k, v) => k - 1 } + // These ones did not work before: + m.map1 { case (k, v) => k } + val r = m.map1 { case (k, v) => (k, k*10) } + val rt: MyMap[Int, Int] = r + m.foo { case (k, v) => k - 1 } // Used to be ambiguous but overload resolution now favors PartialFunction def h[R](pf: Function2[Int, String, R]): Unit = () -- cgit v1.2.3