scala/scala — pull request #1447 by paulp (2012-10-02 20:50:36+00:00)
Title: Spurious warning elimination.

Review by @retronym.