`record` generates a constructor, accessors, `equals`, `hashCode`, and `toString` from a one-line declaration. Replaces 50 lines of POJO boilerplate. Records are implicitly final and immutable.
Combine `instanceof` with a variable binding — no separate cast needed. Eliminates the most common "check then cast" bug pattern and is significantly less verbose.