coverage: Simplify building coverage expressions based on sums#117651
Merged
bors merged 8 commits intorust-lang:masterfrom Zalathar:fold-sumsNov 26, 2023
Commits
Commits on Nov 25, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
