On Thu, 5 May 2022 10:11:05 GMT, Raffaello Giulietti <duke at 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