Compiletime check for bit-positions in bit-field

[Klaus Doldinger <klaus.doldinger64@xxxxxxxxx>]

Hello,

does anybody see a possibility to perform a compiletime-check to verify
that a bit of a bit-field is at an exact position of the underlying type?

I would see a possible using the forecoming std::bit_cast, but what can
one do with c++17?

Thanks for help,
 Wilhelm