On Tue, 13 Aug 2024 19:37:09 GMT, Weijun Wang <wei...@openjdk.org> wrote:
>> @seanjmullan: This text was added here at @wangweij's request, since he felt >> that it should be explicitly stated that null cannot be returned. > > Ignore my suggestion. I'm convinced now that unless specified we should > consider the return value non nullable. Sorry. Addressed in https://github.com/openjdk/jdk/pull/20301/commits/c6f491cd05c76088e6431b2ba9d4ab42b29e4055. Please indicate if this is resolved. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/20301#discussion_r1720348622
