null checks vs. class resolution, and translation strategy for casts

[John Rose]

On Apr 9, 2020, at 2:07 PM, John Rose <john.r.rose at oracle.com> wrote:
> 
> Perhaps we want another (intrinsically optimized) version
> of Objects::requireNonNull, which takes a second argument
> that assists in generating a better diagnostic.

(D’oh; there it stands in the the JDK already.)

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.java.net/pipermail/valhalla-spec-experts/attachments/20200409/527376b2/attachment.htm>