diff options
| author | Martin Odersky <odersky@gmail.com> | 2017-02-21 17:50:05 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2017-02-21 17:51:09 +0100 |
| commit | 6c164a5d906c657baa045c1d564c63273eb65f31 (patch) | |
| tree | 178a8854a3b16a78fcf701c3ba8ca60b2669b7c1 /tests/pos | |
| parent | f37b2a1dcddd2fdb8be0f703e3feb9e3c2630514 (diff) | |
| download | dotty-6c164a5d906c657baa045c1d564c63273eb65f31.tar.gz dotty-6c164a5d906c657baa045c1d564c63273eb65f31.tar.bz2 dotty-6c164a5d906c657baa045c1d564c63273eb65f31.zip | |
Extend argument pretyping to case-closures
Diffstat (limited to 'tests/pos')
| -rw-r--r-- | tests/pos/inferOverloaded.scala | 10 |
1 files changed, 5 insertions, 5 deletions
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 = () |