Martin Kouba Thanks for pointing out to the older issue. This is really JLS requirement as stated in 4.8 Raw Types:

The superclasses (respectively, superinterfaces) of a raw type are the erasures of the
superclasses (superinterfaces) of any of the parameterizations of the generic type.

I suggest to close the issue as "rejected".