From a961d3dcd6f93ee006cff1d386052bf62326739a Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Wed, 3 Jan 2007 15:56:13 +0000 Subject: 1. --- test/files/neg/bug846.check | 6 ++++++ test/files/neg/bug846.scala | 13 +++++++++++++ 2 files changed, 19 insertions(+) create mode 100644 test/files/neg/bug846.check create mode 100755 test/files/neg/bug846.scala (limited to 'test/files/neg') diff --git a/test/files/neg/bug846.check b/test/files/neg/bug846.check new file mode 100644 index 0000000000..b60b4c7125 --- /dev/null +++ b/test/files/neg/bug846.check @@ -0,0 +1,6 @@ +bug846.scala:9 error: type mismatch; + found : scala.Null(null) + required: B + if (a != null) f(a) else null + ^ +one error found diff --git a/test/files/neg/bug846.scala b/test/files/neg/bug846.scala new file mode 100755 index 0000000000..be105a71aa --- /dev/null +++ b/test/files/neg/bug846.scala @@ -0,0 +1,13 @@ +package test; +trait Test { + type Bar; + trait FooImpl; + trait Bob { + def bar : Bar with FooImpl; + } + def ifn[A,B](a : A)(f : A => B): B = + if (a != null) f(a) else null + val bob : Bob = null; + val bar = ifn(bob)(.bar); + assert(bar == null); +} -- cgit v1.2.3