>>751-752
typing systemが違えば当然セマンティクスは違ってくると思うのだが。

あと、参照がuniqueかどうかのチェックは構文的な（文脈自由な）チェッ
クじゃ無理だよ。