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