>>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