On Thu, 29 Jan 2026 23:14:44 GMT, Joe Darcy <[email protected]> wrote:
>> The Math class has support for "exact" forms of int and long add, subtract, >> multiply, and divide that throw exceptions instead of wrapping around in a >> two's complement sense. This nested class in Integer prototype what adding >> type-level support for that functionality would look like. > > Joe Darcy has updated the pull request incrementally with one additional > commit since the last revision: > > Improve witness related declarations. Basic tests will be added as follow-up work. ------------- PR Comment: https://git.openjdk.org/valhalla/pull/1937#issuecomment-3820888023
