On 5/4/2024 4:01 PM, Timon Gehr wrote: > You are breaking the previous invariant that data in a struct lives at relative > addresses `data.offsetof..data.offsetof+data.sizeof`. The data.sizeof for a bitfield will always be the size of the memory object containing the field. The invariant is not broken.