openide/java/java-tests/testData/inspection/dataFlow/contractCheck/CheckConstructorContracts.java

import org.jetbrains.annotations.Contract;

class Zoo {
  @Contract("null-><warning descr="Contract return value 'null': not applicable to constructor">null</warning>" )
  Zoo(Object o) {}

  @Contract("_->fail" )
  <warning descr="Contract clause '_ -> fail' is violated: no exception is thrown">Zoo</warning>(int o) {}

  @Contract("true->fail" )
  Zoo(boolean o) {
    if (o) throw new RuntimeException();
  }

}