coverage: Avoid a query stability hazard in function_coverage_map
#119514
Merged
bors merged 1 commit intorust-lang:masterfrom Jan 3, 2024
Merged
coverage: Avoid a query stability hazard in `function_coverage_map`#119514bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom