>>930
そういう意味ではないと思うよ。

>>917 は「仕様でできないようにしてほしい」と言っている。
この仕様というのは言語仕様だろうね。
（別のコンパイラなら通ってしまうのなら >>917 の希望は満たされないし）

仕様でできないようにするということは、
コンパイラがそのようなコードをエラーとして弾くということ。
トリッキーなのか、それ以外なのか、コンパイラが見抜けなければならない。

そのためには、トリッキーとは何かを
言語仕様として組み込める程度には詳細に定義する必要がある。
>>918 で言ってるのはそういう事だと思う。

>>920 のは、言語仕様として組み込むにはほど遠い定義だと俺も思う。

>>920 は定義の意味を取り違えているようなので、
>>926 で改めて、同じ意味の事を別の言葉で問い質したのだと思う。

言語仕様として組み込める程度に詳細な定義というのは、その定義をもとに、
そのような判断をするプログラムをコンパイラ実装者が作れるという意味だよ、と。