John Rose john.r.rose at oracle.com
Sat Dec 19 10:29:23 UTC 2015

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>

More information about the valhalla-spec-experts mailing list