-Znext-solver: adapt overflow rules to avoid breakage#119071

Merged

bors merged 3 commits intorust-lang:masterfrom lcnr:overflowo

Dec 20, 2023

+269-104

Commits on Dec 18, 2023

Commits on Dec 19, 2023

add comment
lcnr
committed