On Mon, 28 Apr 2025 22:14:29 GMT, simon <d...@openjdk.org> wrote:

>> Javadoc for java.util.Optional.orElseThrow(Supplier) misses mentioning of 
>> another possible cause of a NullPointerException - when the exception 
>> supplying function returns a null result.
>> ---------
>> ### Progress
>> - [x] Change must be properly reviewed (1 review required, with at least 1 
>> [Reviewer](https://openjdk.org/bylaws#reviewer))
>> - [x] Change requires CSR request 
>> [JDK-8354953](https://bugs.openjdk.org/browse/JDK-8354953) to be approved
>> - [x] Change must not contain extraneous whitespace
>> - [x] Commit message must refer to an issue
>> 
>> ### Error
>> &nbsp;⚠️ The pull request body must not be empty.
>> 
>> 
>> 
>> ### Reviewing
>> <details><summary>Using <code>git</code></summary>
>> 
>> Checkout this PR locally: \
>> `$ git fetch https://git.openjdk.org/jdk.git pull/23905/head:pull/23905` \
>> `$ git checkout pull/23905`
>> 
>> Update a local copy of the PR: \
>> `$ git checkout pull/23905` \
>> `$ git pull https://git.openjdk.org/jdk.git pull/23905/head`
>> 
>> </details>
>> <details><summary>Using Skara CLI tools</summary>
>> 
>> Checkout this PR locally: \
>> `$ git pr checkout 23905`
>> 
>> View PR using the GUI difftool: \
>> `$ git pr show -t 23905`
>> 
>> </details>
>> <details><summary>Using diff file</summary>
>> 
>> Download this PR as a diff file: \
>> <a 
>> href="https://git.openjdk.org/jdk/pull/23905.diff";>https://git.openjdk.org/jdk/pull/23905.diff</a>
>> 
>> </details>
>
> simon has updated the pull request incrementally with one additional commit 
> since the last revision:
> 
>   8350542: update orElseThrow JavaDoc from CSR specification.

Marked as reviewed by clanger (Reviewer).

-------------

PR Review: https://git.openjdk.org/jdk/pull/23905#pullrequestreview-2801915033

Reply via email to