というか、>>639の説明もあんまり適切とは思えんね。

キャストが使ったプログラマが必ずしも仕様上常に正しい変換が行われることを意図しているとは限らないし、
（不適切な変換が行われて例外が投げられる場合もありうる仕様かもしれない）
asを使ったからってその逆とも限らない。