diff options
Diffstat (limited to 'tests/coverage/bad_counter_ids.rs')
| -rw-r--r-- | tests/coverage/bad_counter_ids.rs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tests/coverage/bad_counter_ids.rs b/tests/coverage/bad_counter_ids.rs index ef31d682e4f..8fa0d83bf20 100644 --- a/tests/coverage/bad_counter_ids.rs +++ b/tests/coverage/bad_counter_ids.rs @@ -1,4 +1,3 @@ -#![feature(coverage_attribute)] //@ edition: 2021 //@ compile-flags: -Copt-level=0 -Zmir-opt-level=3 |