Note from Frederic:

In the current type-restrictions branch, javac has the option -XDflattenWithTypeRestrictions
to generate class files with an erased type (the value projection) in descriptors and a sharp
type in the RestrictedField attribute. But in order to be able to really evaluate the type
restriction model, I think we need a way to generate class file with only the erased type,
to simulate ‘old client’ classes not aware of the specialization.

We could generate this classes manually, but this is a long and fastidious work, and it would
fill our test directories with JASM files. It sounds more appealing to have an option in javac
to generate this kind of classes. The changes don’t look so big, javac would just have to
generate same class files as with -XDflattenWithTypeRestrictions minus the RestrictedField
attributes.