scala/scala — pull request #725 by paulp (2012-06-15 14:48:39+00:00)
Title: Remove unused type parameter.

There should probably be a warning about non-overriding methods
which have unreferenced type parameters.