From 4559f45c7ede9f11c1108dc14df1676ce181d32c Mon Sep 17 00:00:00 2001 From: Antonio Cunei Date: Mon, 30 Nov 2009 19:00:20 +0000 Subject: (Temporarily) closes #2139 --- test/files/neg/t2139.check | 6 ++++++ test/files/neg/t2139.scala | 15 +++++++++++++++ 2 files changed, 21 insertions(+) create mode 100644 test/files/neg/t2139.check create mode 100644 test/files/neg/t2139.scala (limited to 'test/files') 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") +} -- cgit v1.2.3