| LL| |#![feature(coverage_attribute)] | |
| LL| |// Checks that `#[coverage(..)]` in a trait method is not inherited in an | |
| LL| |// implementation. | |
| LL| |//@ edition: 2021 | |
| LL| |//@ reference: attributes.coverage.trait-impl-inherit | |
| LL| | | |
| LL| |trait T { | |
| LL| | #[coverage(off)] | |
| LL| | fn f(&self) { | |
| LL| | println!("default"); | |
| LL| | } | |
| LL| |} | |
| LL| | | |
| LL| |struct S; | |
| LL| | | |
| LL| |impl T for S { | |
| LL| 1| fn f(&self) { | |
| LL| 1| println!("impl S"); | |
| LL| 1| } | |
| LL| |} | |
| LL| | | |
| LL| |#[coverage(off)] | |
| LL| |fn main() { | |
| LL| | S.f(); | |
| LL| |} | |