varキーワード（型推論）が使用できない場所はどれか。

コンパイル時に定数式として評価されるif文の条件式により、到達不能コードが削除される仕組みは何か。