class foo {
    Int a; // success
    Null a; // 2/2 failure of clause 3 (field already defined)
}

{
    foo f = new foo(1);
    f.a; // success of clause 4 (class with new field is in scope)
}