If a TypeDefinition with a Sequential or Explicit layout is marked, we should mark all the instance fields on it.
As a possible additional optimization, we can postpone this on reference types until the type is allocated (i.e. until we have a ConstructedTypeNode for it in the system).
If a TypeDefinition with a Sequential or Explicit layout is marked, we should mark all the instance fields on it.
As a possible additional optimization, we can postpone this on reference types until the type is allocated (i.e. until we have a ConstructedTypeNode for it in the system).