It's hard to find anywhere that states it explicitly; it's a natural consequence of the rule that the alignment of a struct is the highest alignment among its members.

You can also confirm what the compiler thinks like this:

    static_assert(__alignof(BitField<0,7,unsigned>) == 1, "");