OTOH you could add a test that instantiates a u64 BitField and checks that alignof(var) == 1 (I tested that and it works).