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

import org.jetbrains.annotations.Contract;

class Foo {
  @Contract("_, null -> fail")
  static <T, R extends T> boolean canCast(T inst, Class<R> toType) {
    return toType.isInstance(inst);
  }
}