diff options
author | Adriaan Moors <adriaan.moors@epfl.ch> | 2012-05-26 07:51:35 -0700 |
---|---|---|
committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2012-05-26 07:51:35 -0700 |
commit | 8b133028b9e8e7901c4f5be471b8f6239bc0fa4b (patch) | |
tree | 0d68e06b2542d2c3114cb7c6899cee28f1e5ecf8 /test | |
parent | 454674c38a58322ab2e55624b8967a46337aeabf (diff) | |
parent | 64c57631ab64308327504a56a27a74630b22f434 (diff) | |
download | scala-8b133028b9e8e7901c4f5be471b8f6239bc0fa4b.tar.gz scala-8b133028b9e8e7901c4f5be471b8f6239bc0fa4b.tar.bz2 scala-8b133028b9e8e7901c4f5be471b8f6239bc0fa4b.zip |
Merge pull request #626 from retronym/ticket/4818
Test case closes SI-4818
Diffstat (limited to 'test')
-rw-r--r-- | test/files/neg/t4818.check | 6 | ||||
-rw-r--r-- | test/files/neg/t4818.scala | 7 |
2 files changed, 13 insertions, 0 deletions
diff --git a/test/files/neg/t4818.check b/test/files/neg/t4818.check new file mode 100644 index 0000000000..a5e15e456b --- /dev/null +++ b/test/files/neg/t4818.check @@ -0,0 +1,6 @@ +t4818.scala:4: error: type mismatch; + found : Int(5) + required: Nothing + def f(x: Any) = x match { case Fn(f) => f(5) } + ^ +one error found diff --git a/test/files/neg/t4818.scala b/test/files/neg/t4818.scala new file mode 100644 index 0000000000..faae229206 --- /dev/null +++ b/test/files/neg/t4818.scala @@ -0,0 +1,7 @@ +object Test { + case class Fn[A, B](f: A => B) + + def f(x: Any) = x match { case Fn(f) => f(5) } + + Fn((x: String) => x) +} |