We should check state generation with the following values:
Pointer to forward-declared struct.
Pointer to forward-declared enum.
Pointer to forward-declared union.
If we have an area that is only referenced by a pointer to an incomplete type, we should still lay it out, perhaps with an informative message saying that the type is incomplete.
If we have an area that is only reference by a void pointer, then we should still lay it out.
We should check state generation with the following values:
If we have an area that is only referenced by a pointer to an incomplete type, we should still lay it out, perhaps with an informative message saying that the type is incomplete.
If we have an area that is only reference by a void pointer, then we should still lay it out.