>>706
それを言い出すと派生型は全部その類に含まれる（そもそも構造体型へのポインタ型とか言い出すと規格に書ける訳もないし）
元々int *って型は存在しないって言い出した流れ（たぶん>>640）はint *も型だって話（>>626）の中にしかなかったと思うからそもそも話がだいぶズレたんだろうな
今の流れはざっと見返した限り>>708がまとめてくれた通りだと思う