I completely agree that C's promotion behavior of unsigned types narrower than int going to int is wonky to a certain extent. However, introducing nonconforming

I completely agree that C's promotion behavior of unsigned types narrower than int going to int is wonky to a certain extent. However, introducing nonconforming exceptions to that behavior for bit fields doesn't help things. It just breaks correctly written code intended to be portable.