Zalathar 51e62a09a3 coverage: Remove -Zcoverage-options=no-mir-spans ...

This flag turned out to be less useful than anticipated, and interferes with
work towards expansion support.

2025-08-04 13:48:40 +10:00

..

generics.cov-map

…

generics.coverage

…

generics.rs

…

guard.cov-map

…

guard.coverage

…

guard.rs

…

if-let.cov-map

…

if-let.coverage

…

if-let.rs

…

if.cov-map

…

if.coverage

…

if.rs

…

lazy-boolean.cov-map

…

lazy-boolean.coverage

…

lazy-boolean.rs

…

let-else.cov-map

…

let-else.coverage

…

let-else.rs

…

match-arms.cov-map

…

match-arms.coverage

…

match-arms.rs

…

match-trivial.cov-map

…

match-trivial.coverage

…

match-trivial.rs

…

while.cov-map

…

while.coverage

…

while.rs

…