File: MoreFields.java

package info (click to toggle)

checker-framework-java 3.2.0%2Bds-3

file content (9 lines) | stat: -rw-r--r-- 127 bytes

public class MoreFields {
    void testOtherFieds(Test other, int f) {
        other.f = f;
    }
}

class Test {
    int f;
}