This is basically saying that in

```rust
trait Foo {
     fn bar(&self); // *
}

struct SomeType;

impl Foo for SomeType { fn bar(&self) {} }
impl SomeType { fn baz(&self) {} } // +
```

`SomeType.bar()` will be checking the attributes on the method marked `*`, while `SomeType.baz()` will just be checking the line marked `+` (I guess the second statement is obvious, since there isn't anything else to check anyway).