[diff.basic] Stop claiming, as harmless, type-based aliasing violations

Author: hubert-reinterpretcast

source/compatibility.tex

@@ -2927,9 +2927,8 @@
 \difficulty
 Semantic transformation.
 The ``typesafe linkage'' mechanism will find many, but not all,
-of such problems.
-Those problems not found by typesafe linkage will continue to
-function properly,
+such problems.
+Some cases are allowed by \Cpp{}
 according to the ``layout compatibility rules'' of this
 document.
 \howwide