// "Replace 's' with pattern variable" "true"
class X {
  void test(float obj) {
    if (obj instanceof int) {
      int <caret>s = (int)obj;
    }
  }
}