I think there should be a testcase that bit-fields of bit-precise enum type get promoted to their declared type by the integer promotions, like _BitInt bit-fields do. (And then from the enum type to the underlying bit-precise type - conversion to the underlying type is what GCC does with enums in the integer promotions and is the expressed preference of WG14 in C23 issue 1021 for what should be done with enums in integer promotions in general.)
-- Joseph S. Myers [email protected]
