record Student(String name, int score) {}

void main() {
    Student ada = new Student("Ada", 88);
    ada.score = 91;
    IO.println(ada);
}

// From Groundwork, chapter 10 (ch10-records), box 2.
// This example is from Groundwork, licensed CC BY-NC-SA 4.0.
// Run with: java ch10_02.java
// This fails on purpose: it does not compile—A record's component is assigned to, which javac refuses: a record cannot be changed. The error message is the lesson.