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

class List<T> {
  T t;
}

class A extends List{
}

class Test {
  void foo (List y){
    y.t = "";
    A z = (A) y;
  }
}