At compile time, you should be able to do this deterministically, yes?
Actually, I’m having trouble with this: the same issue that is preventing access in the example case above is preventing compile-time checks on the offset and size of such members.