java/java-tests/testData/refactoring/typeCook/t129/after/test.java

class A {}
class B extends A {}

class Collection<T>{
  T t;
}

class Set<X> extends Collection<X>{

}

class Test {
  void g(Collection ancestors) {
    A a = (A) ancestors.t;
  }

  void f() {
    Set x = null;
    x.t = new B();
    g(x);
  }
}