文または分岐が実行されるなら、この時点で値は null であり、null 値を利用する (フォワードパスで実行時例外を伴うこと以外は) ことが保証されています。
なお、if (x == null) throw new NullPointerException(); は x の参照解除として扱われることに注意して下さい。
if (x == null) throw new NullPointerException();
x