diff options
author | Jason Zaugg <jzaugg@gmail.com> | 2013-10-09 01:31:13 -0700 |
---|---|---|
committer | Jason Zaugg <jzaugg@gmail.com> | 2013-10-09 01:31:13 -0700 |
commit | 185ff4c929645a14fcfe77b6bcdea2bc28ece100 (patch) | |
tree | 9e3d37e8a950ac446b94d71d60b43d618a1fccb5 /test/files/run/t7584b.scala | |
parent | acd77803f7da7c369f4ffdc70b5eeec4a23e35ae (diff) | |
parent | 8ed7099f7db6a1060a490a594c958ca9a8b41487 (diff) | |
download | scala-185ff4c929645a14fcfe77b6bcdea2bc28ece100.tar.gz scala-185ff4c929645a14fcfe77b6bcdea2bc28ece100.tar.bz2 scala-185ff4c929645a14fcfe77b6bcdea2bc28ece100.zip |
Merge pull request #3022 from retronym/ticket/7899
Don't infer by-name types during, e.g. eta-expansion
Diffstat (limited to 'test/files/run/t7584b.scala')
-rw-r--r-- | test/files/run/t7584b.scala | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/test/files/run/t7584b.scala b/test/files/run/t7584b.scala new file mode 100644 index 0000000000..fd560f0418 --- /dev/null +++ b/test/files/run/t7584b.scala @@ -0,0 +1,14 @@ +object Test extends App { + def fold[A, B](f: (A, => B) => B) = (b: B) => f(null.asInstanceOf[A], b) + def f[A, B](x: A, y: B): B = y + def bip[A, B] = fold[A, B]((x, y) => f(x, y)) + def bop[A, B] = fold[A, B](f(_, _)) + + // these work: + fold[Int, Int]((x, y) => f(x, y))(0) + fold[Int, Int](f(_, _))(0) + + // Used to throw a ClassCastException. Since the fix for SI-7899, these issue type errors. + // fold[Int, Int](f _)(0) + // fold[Int, Int](f)(0) +} |