On Thu, 5 May 2022 10:11:05 GMT, Raffaello Giulietti <[email protected]> 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

Reply via email to