/** Fails to compile on purpose: record fields are final. */
public class RecordFieldMutation {
    record Point(int x, int y) { void move() { this.x = 10; } }
    public static void main(String[] args) { }
}