Skip to content

lint-overflowing-ops: unify cases and remove redundancy#121510

Merged
bors merged 1 commit intorust-lang:masterfrom
RalfJung:lint-overflowing-ops
Feb 23, 2024

Commits

Commits on Feb 23, 2024