Consider the following:

void test(flag, x) {
  if (flag && x instanceof T) {
    x.methodFromT()
  }
}

typeof(x) is seen as Object and "methodFromT" is showing as unknown (underlined).