JDK 13 RFR of JDK-8223112: Clarify operational semantics of java.util.Objects.equals()

[Alan Bateman]

On 02/05/2019 22:42, Joe Darcy wrote:
> :
>
> I don't think code should be added to Objects.equals itself to guard 
> against this case. Instead, I think the operational semantics of the 
> implementation should be made explicit in the specification.
I agree, I think the proposed clarification and the CSR look good.

-Alan