diff options
author | Antonio Cunei <antonio.cunei@epfl.ch> | 2009-11-30 19:00:20 +0000 |
---|---|---|
committer | Antonio Cunei <antonio.cunei@epfl.ch> | 2009-11-30 19:00:20 +0000 |
commit | 4559f45c7ede9f11c1108dc14df1676ce181d32c (patch) | |
tree | 60527697ae7eec681f9dfd9885841bc6dd1a40f3 | |
parent | 706c86380e035a07a9f33eec20111b35368a6271 (diff) | |
download | scala-4559f45c7ede9f11c1108dc14df1676ce181d32c.tar.gz scala-4559f45c7ede9f11c1108dc14df1676ce181d32c.tar.bz2 scala-4559f45c7ede9f11c1108dc14df1676ce181d32c.zip |
(Temporarily) closes #2139
-rw-r--r-- | test/files/neg/t2139.check | 6 | ||||
-rw-r--r-- | test/files/neg/t2139.scala | 15 |
2 files changed, 21 insertions, 0 deletions
diff --git a/test/files/neg/t2139.check b/test/files/neg/t2139.check new file mode 100644 index 0000000000..e26f290761 --- /dev/null +++ b/test/files/neg/t2139.check @@ -0,0 +1,6 @@ +t2139.scala:13: error: type mismatch; + found : Int(4) + required: Nothing + val z:Int=(u.f _)(4) + ^ +one error found diff --git a/test/files/neg/t2139.scala b/test/files/neg/t2139.scala new file mode 100644 index 0000000000..4f09b5a5d1 --- /dev/null +++ b/test/files/neg/t2139.scala @@ -0,0 +1,15 @@ +/* + NOTE: if inference is changed so that + T is inferred to be Int, rather than Nothing, + the piece of code below will start to compile OK. + In that case, see ticket #2139, and make sure that + the generated code will no longer crash! +*/ +class U { + def f[T](x:T):T=x +} +object H extends Application { + val u=new U + val z:Int=(u.f _)(4) + println("done") +} |