The name NONE is accepted as formal generic parameter in a generic
class.

Still not fixed in Prerelease 93.02.17.