Closed ltratt closed 1 year ago
Previously we didn't detect some cases of overflow properly due to integer tagging.
Spotted indirectly by @smarr in #217.
LGTM
bors r+
Build succeeded:
Previously we didn't detect some cases of overflow properly due to integer tagging.
Spotted indirectly by @smarr in #217.