Method foo

src/test/resources/pta/basic/PropagateNull.java:11–19

(A a)

    }

    static String foo(A a) {
        a.f = null;
        Object nn = a.f;
        a.hashCode();

        Object o = null;
        String s = (String) o;
        return s;
    }
}

class A {