Super classes of inline types must be either java.lang.Object or a 'special' abstract class.

These 'special' abstract super classes must have no fields, and have an empty (possibly marked ACC_ABSTRACT) no-arg constructor.

The JVM needs to check that abstract super classes of inline types meet the above requirements, and if not, throw ICCE.
~