@Contract
false
true
例:
// メソッドにパラメーターがないのに、契約が 1 つを要求している @Contract("_ -> fail") void x() { throw new AssertionError(); }