Specify updated repr(C) enum discriminat type correspondence

src/glossary.rst

@@ -1009,6 +1009,14 @@ C representation
 :dt:`C representation` is a :t:`type representation` that lays out :t:`[type]s`
 such that they are interoperable with the :t:`C` language.
 
+.. _fls_fls_J0xUy4Mcxoe6:
+
+C signed int type
+^^^^^^^^^^^^^^^^^
+
+:dp:`fls_8QIcvapJehqY`
+:dt:`C signed int type` is the `signed int` :t:`type` of the :t:`C` language.
+
 .. _fls_Egfa8tdbqllA:
 
 Call conformance
@@ -2554,7 +2562,7 @@ generic associated type
 ^^^^^^^^^^^^^^^^^^^^^^^
 
 :dp:`fls_O4wckPZPmree`
-A :dt:`generic associated type` is an :t:`associated type` with 
+A :dt:`generic associated type` is an :t:`associated type` with
 :t:`[generic parameter]s`.
 
 .. _fls_3uFg0NK5fYQ6:
@@ -3057,7 +3065,7 @@ implied bound
 :dp:`fls_t77d8xwG1l9Q`
 An :dt:`implied bound` is a :t:`bound` that is not expressed in syntax, but is
 is the byproduct of relations between :t:`[lifetime parameter]s` and
-:t:`[function parameter]s`, between :t:`[lifetime parameter]s` and a 
+:t:`[function parameter]s`, between :t:`[lifetime parameter]s` and a
 :t:`return type`, and between :t:`[lifetime parameter]s` and :t:`[field]s`.
 
 .. _fls_3lo8ygoyxxyf:

src/types-and-traits.rst

@@ -1478,7 +1478,8 @@ subject to :t:`C representation`, :t:`default representation`, or
 
 :dp:`fls_s9c0a0lg6c0p`
 The :t:`discriminant type` of an :t:`enum type` with :t:`C representation` is
-the :t:`type` of a :t:`C` ``enum`` for the target platform's :t:`C` :t:`ABI`.
+the corresponding :t:`c signed int type` for the target platform's :t:`C`
+:t:`ABI`.
 
 :dp:`fls_slhvf3gmqz4h`
 The :t:`discriminant type` of an :t:`enum type` with :t:`default representation`