Add no_coverage to the 'removed features' list

2023-08-11 20:39:20 +01:00 · 2023-08-11 20:39:20 +01:00 · de1600d110
commit de1600d110
parent 8e03371fc3
5 changed files with 19 additions and 5 deletions
--- a/compiler/rustc_span/src/symbol.rs
+++ b/compiler/rustc_span/src/symbol.rs
@ -1038,6 +1038,7 @@ symbols! {
        no,
        no_builtins,
        no_core,
+        no_coverage,
        no_crate_inject,
        no_debug,
        no_default_passes,