@Contract
false
true
예:
// method has no parameters, but contract expects 1 @Contract("_ -> fail") void x() { throw new AssertionError(); }