@Contract
false
true
示例:
// 方法没有形参,参约定预期 1 @Contract("_ -> fail") void x() { throw new AssertionError(); }