[cpp-threads] Memory model counterproposal: bit-fields

[Peter Dimov]

Nelson, Clark wrote:

> For this and other reasons, I personally would be satisfied with a
> rule that said that any field of a struct object might be written on
> assignment to any other field of that object. But I don't imagine I'd
> be in the majority in a vote on that proposal.

"Any member of a struct can be written on assignment to any bitfield member 
of that struct" seems both sufficient and passable.