Update types-and-traits.rst

Author: rcseacord

src/coding-guidelines/types-and-traits.rst

@@ -59,8 +59,8 @@ Types and Traits
       :id: non_compl_ex_UnionBool
       :status: draft
 
-      This noncompliant example reads a Boolean from a union field containing an invalid bit pattern.
-      The value ``3`` is not a valid Boolean (only ``0`` and ``1`` are valid).
+      This noncompliant example reads an invalid bit pattern from a Boolean union field.
+      The value ``3`` is not a valid value of type ``bool`` (only ``0`` and ``1`` are valid).
 
       .. code-block:: rust
 
@@ -80,7 +80,7 @@ Types and Traits
       :id: non_compl_ex_UnionChar
       :status: draft
 
-      This noncompliant example reads a ``char`` from a ``union`` containing an invalid Unicode value.
+      This noncompliant example reads an invalid Unicode value from a ``union`` field of type ``char`` .
 
       .. code-block:: rust
 
@@ -129,7 +129,8 @@ Types and Traits
       :id: non_compl_ex_UnionRef
       :status: draft
 
-      This noncompliant example reads a reference from a ``union`` containing a null or misaligned pointer.
+      This noncompliant example reads a reference from a ``union`` containing a null pointer.
+      A similar problem occurs when reading a misaligned pointer.
 
       .. code-block:: rust
 
@@ -141,8 +142,8 @@ Types and Traits
          fn main() {
              let u = PtrOrRef { p: std::ptr::null() };
              
-             // Non-compliant: null is not a valid reference
-             let invalid_ref = unsafe { u.r };  // UB: references cannot be null
+             //  Undefined behavior reading a null value from a reference field of a union
+             unsafe { u.r };  // Noncompliant
          }
 
    .. compliant_example::
@@ -204,7 +205,7 @@ Types and Traits
       :id: compl_ex_UnionSameField
       :status: draft
 
-      This compliant solution read from the same field that was written.
+      This compliant solution reads from the same field that was written.
 
       .. code-block:: rust