Full name of submitter (unless configured in github; will be published with the issue): Hubert Tong

Reference (section label): [diff.dcl]

Link to reflector thread (if any): N/A

Issue description:

https://wg21.link/diff.dcl#12 states that the type of enumerators in C is int. This is not true in C23 since the adoption of https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3029.htm and https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3030.htm.

Suggested resolution:

Replace "is int" with "can be int".