Skip to content

fix: overeager uint constant folding #19386

fix: overeager uint constant folding

fix: overeager uint constant folding #19386

check-lean-files

succeeded Nov 1, 2025 in 30s