Visibilty of inherited public fields

[mosconi]

If a role class R1 extends a regular class C1, public fields inherited from C1 are not visible on the interface of role R1.

public class C1 {
    public String test;
}

public team class T1 {
    public class R1 extends C1 {}
    void test(C1 c, R1 r) {
        String cs = c.test;
        String rs = r.test; // gives an error
    }
}

[stephan]

Tests are in 1.4.11-otjld-field-of-regular-super-1 ff.

Fix is in r19849.