Please don't destroy me

Author: andralex

spec/const3.dd

@@ -12,9 +12,10 @@ $(HEADERNAV_TOC)
 
 $(H2 $(LNAME2 transitive, Transitivity))
 
-        $(P Type qualifiers apply transitively to all subtypes.
-        It is not possible to specify, for example, a const pointer
-        to a mutable type.
+        $(P Type qualifiers apply transitively to all memory transitively
+        reachable from the qualified type.
+        It is not possible to specify, for example, a `const` pointer
+        to a mutable type, or a non-`const` field in a `const` `struct`.
         )
 
         $(P Types are $(I mutable) by default, meaning variables with such