scala/scala — pull request #211 by non (2012-02-19 16:47:50+00:00)
Title: Fix [@spec A] to correctly induce AnyRef specialization.

While [@specialized A] already tries to include specialization,
a bug in specializedOn prevented this from happening: any empty
list could mean that the type var was unspecialized, or that it
was specialized on everything.

The fix is to have this function create the full list of symbols
in the case where the @specialized annotation doesn't explicitly
include any types.

NOTE: Unlike last time, I rebuilt and ran all the tests so it should be OK.