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