plugins/groovy/testdata/groovy/completion/NotInstanceofDoesntHelpDetermineType.groovy

public class Parent {

  def foo(o) {
    if (!(o instanceof String)) {
      o.substr<caret>
    }
  }

}