CastInstanceofedQualifier_after.java

public abstract class Zzza {

    void foo(Object o) {
      if (o instanceof String) {
        ((String) o).substring(<caret>)
      }
    }


}