scala/scala — pull request #2934 by paulp (2013-09-11 15:35:22+00:00)
Title: Override finalResultType in SingleType.

Otherwise we get unintended widening if a method's result is
a singleton type.