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

class C{}

class A {}

class B extends A {}

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