Where does this array come from ?

[Brian Goetz]

> Yes, but the record class author can still override Object methods, right?

Sort of!  jl.Record, the implicit super type, overrides equals, hashCode, and toString with refined (strengthened) semantics.  So you can’t override Object::equals, but you can override Record::equals (which of course has to conform to the semantics of Object::equals, but also does more.)