Proper errors on invalid specializations.
TypeSpecializer prepared for action.