https://github.com/llvm-beanz approved this pull request. One small request: can you add a test that verifies we produce an error if you try to cast to or from a structure containing a bitfield? https://github.com/llvm/llvm-project/pull/118842