records as specialization of j.l.Record

[Mateusz Romanowski]

Ah, and the specialization j.l.Record<R> would somehow have to become
nestmate of R..

On Wednesday, April 15, 2020, Mateusz Romanowski <
romanowski.mateusz at gmail.com> wrote:
> 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
>