Are you saying that it should be an error to take the address of such
an object?
What I was thinking was more that it should be an error to create an object
whose alignment is less than that of its type, but you correctly point out
that an alternate solution is to allow that but, like a bitfield, to forbid
taking its address.