>>823 なんでせっかくリンク貼られた定義を無視するの?(・・・英語まともに読めないならそう言ってね。) dynamic type は式を評価した結果の属性であって型の分類ではない。
aliasing rule は basic.lval にあるルール "If a program attempts to access ... the behavior is undefined" を指す。 https://timsong-cpp.github.io/cppwp/n4659/basic.lval#8