例外のスロー

値が null でないことを検証し、対応する非 NULL 型に値をキャストし、その値を返します。

したがって、{non-null x} は、null ではないことが保証された x のバージョンを作成するか、エラーを発生させます。

参照：unchecked-non-null, if-non-null

x を #String 型の変数とします。次に、式 {non-null x} は、x != null の場合は String 型の値を返しますが、x == null の場合は NullDereferenceException を発生させます。