scala/scala — pull request #705 by paulp (2012-06-13 02:31:26+00:00)
Title: Suppress non-local return unchecked warnings.

There doesn't seem to be any way to do that by adding
a synthetic annotation.