scala/scala — pull request #1468 by paulp (2012-10-06 18:51:56+00:00)
Title: Issue/6482

Review by @odersky if possible, or @adriaanm or @retronym.