records as specialization of j.l.Record

[Mateusz Romanowski]

Hi All,
Do you think that specialization could be used for record's implicit
methods, while rehabilitating meaning of @Override?

specialized public abstract class j.l.Record<R extends j.l.Record<R>> {
  specialized int hashCode();
  specialized boolean equals(Object o);
  specialized accessor for each RecordComponent;
}

Then for a record named Coordinates, the Coordinates.class  would only
contain fields, constructor and explicitly overridden methods.

Sorry if such idea has already been raised?

Thanks,
Mateusz