<div dir="ltr"><div>Now that most of the migration issues from classes to value classes have been discovered, would it also be possible to allow maybe a subset of superclasses that contains some fields?<br><br></div><div>Probably having "value enums" would be great, but also it would enable to have subclasses of j.u.AbstractList to also become value classes.<br><br></div><div>Probably there are more issues to it than I could remember, but wouldn't it be possible to check at load time if the superclass uses some unsupported features, like synchronized methods, and throw an error?<br></div></div>