openide/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/quickFix/addAssert/beforeCast.java

// "Assert 'obj instanceof String'" "true"
class X {
  void test(Object obj) {
    if (obj instanceof Integer) System.out.println();
    String string = (<caret>String)obj;
  }
}