scala/scala — pull request #218 by som-snytt (2012-02-21 20:27:02+00:00)
Title: Disallow eliding when Nothing is expected

This is a one-line tweak of Paul's edit to GenICode:
https://issues.scala-lang.org/browse/SI-5215

The intention of the tweak is to disallow eliding the method call if the expected type is Nothing:
val junk: Nothing = elided()

There may be more interesting expressions in which Nothing is expected or inferred.

I added a "neg" test, "elide-to-nothing", following the conventions, I hope.

Running "ant test" completes successfully (and runs the new test) on Cygwin.

I hope this helps, even if no one uses elidable this way. It was a useful exercise to learn github.