JavaPatternMatching/resources/javFiles/FieldAccess.jav

class Box<A> {
A f;
}
class B {
 }

class Box_Main extends B {

    m(b) {
    	b.f = new Box_Main();
    	b.f = new B();
    }
}