The current definition of an inline type in the runtime is an inline type with no non-static fields. This definition can be extended to include inline types whose all non-static fields are empty.

Note that this new definition still doesn't match the definition used by JITs, which requires the empty non-static fields to be also flattened. Unifying the definitions between the runtime and the JITs would be the subject of another CR.