-Zcoverage-options=no-mir-spans
This flag turned out to be less useful than anticipated, and interferes with work towards expansion support.
#[rustc_error]