coverage: Don't show coverage for code paths that must panic/diverge#120013

Zalathar wants to merge 2 commits into

rust-lang:mainrust-lang/rust:mainfrom

Zalathar:divergeZalathar/rust:divergeCopy head branch name to clipboard