this code is being accepted by javac:

value class V {
    int i;

    V() {
        super();
        i = 1;
    }
}

it should be rejected. Also, with value records, the implicit super call always ends up before the field stores. Reported by Tobias