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