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

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