diff options
author | Martin Odersky <odersky@gmail.com> | 2007-01-03 15:56:13 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2007-01-03 15:56:13 +0000 |
commit | a961d3dcd6f93ee006cff1d386052bf62326739a (patch) | |
tree | 5af3312932236340708522dfd078f32beed20519 /test/files/neg/bug846.scala | |
parent | 02a45e20bb6f68808708dca377bc72ccaf5bba3d (diff) | |
download | scala-a961d3dcd6f93ee006cff1d386052bf62326739a.tar.gz scala-a961d3dcd6f93ee006cff1d386052bf62326739a.tar.bz2 scala-a961d3dcd6f93ee006cff1d386052bf62326739a.zip |
1.
Diffstat (limited to 'test/files/neg/bug846.scala')
-rwxr-xr-x | test/files/neg/bug846.scala | 13 |
1 files changed, 13 insertions, 0 deletions
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); +} |