On Thu, 5 May 2022 10:11:05 GMT, Raffaello Giulietti <d...@openjdk.org> wrote:
> Add a family of "safe" cast methods. This pull request has been closed without being integrated. ------------- PR: https://git.openjdk.org/jdk/pull/8548
On Thu, 5 May 2022 10:11:05 GMT, Raffaello Giulietti <d...@openjdk.org> wrote:
> Add a family of "safe" cast methods. This pull request has been closed without being integrated. ------------- PR: https://git.openjdk.org/jdk/pull/8548