java/typeMigration/testData/refactoring/typeMigration/t81/after/test.java

class A {}

class B extends A {}

class Test {
   void foo(A o) {
     if (o instanceof B){}
   }
}