>>852
> 俺は仕様書に詳しいわけでは無いから動作から説明するしかない。

なら↓お前の理解に基づいてこの動作を説明できるか試してみるといいかもしれない。
https://wandbox.org/permlink/2aKzO4VN3KRDB6Gu

> 君は仕様書には詳しいようだが、キャストした場合にも型が変更されないという記述を出して来れない。

式の型 (static type) とオブジェクトの型 (dynamic type) は別物だという客観的な
前提 [intro.defs] を素直に読みさえすれば何度も見えてるはずなんだけどな。