Equality

[John Rose]

On Dec 18, 2015, at 1:05 PM, Brian Goetz <brian.goetz at oracle.com> wrote:
> Recasting in this light:
> 
>    boolean equals(Something o) { ... } // total method
> 
>    <where ref T>
>    boolean equals(Object o) { ... }  // ref-override


I don't get this bit:  Wouldn't you need to say <where ref ThisType>
in order to put the constraint on the type that "hurts" equals?
And in that case, of course, you don't need <where> at all,
since you know if ThisType is ref or val.

— John

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.openjdk.java.net/pipermail/valhalla-spec-experts/attachments/20151219/cffc5776/attachment.html>