なるほど。でも解析できないけど実は正しい場合とかが生じそう

12:40 AM

実行時に構築される値を使って辞書に出し入れしたりしたら

12:40 AM

値の同一性が追跡できない場合が出てくる

12:41 AM

逆か静的解析で間違ってることがわかる場合にだけコンパイルエラーにするならいけそう