On Wed, 8 Apr 2026 22:10:14 GMT, Justin Lu <[email protected]> wrote: > One alternative is weakening the specified NullPointerException to "_may > throw_" for null elements within the collections, if the up-front performance > cost is a concern.
Yeah, this seems more accommodating. We could explicitly state in the spec that early matching is allowed. ------------- PR Comment: https://git.openjdk.org/jdk/pull/30632#issuecomment-4210103830
