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

switch式（Java 14+）で値を返すために使用する新しいキーワードは（Java 12/13でのbreak valueに代わるもの）。