coverage: Tidy up creation of covmap and covfun records#134208
Merged
bors merged 2 commits intorust-lang:masterfrom Dec 14, 2024
Merged
coverage: Tidy up creation of covmap and covfun records#134208bors merged 2 commits intorust-lang:masterfrom
bors merged 2 commits intorust-lang:masterfrom