If a class extending a trait has the same name as a member from the trait, then Dafny produces an error message that the class does not override the member.
Given:
```
trait J {
method C()
}
class C extends J {
method C() {}
}
```
Dafny erroneously produces:
```
Dafny program verifier version 1.9.3.20107, Copyright (c) 2003-2014, Microsoft.
Example.dfy(4,6): Error: class: C does not implement trait member: C
1 resolution/type errors detected in Trait-bug0.dfy
```
Rustan
Given:
```
trait J {
method C()
}
class C extends J {
method C() {}
}
```
Dafny erroneously produces:
```
Dafny program verifier version 1.9.3.20107, Copyright (c) 2003-2014, Microsoft.
Example.dfy(4,6): Error: class: C does not implement trait member: C
1 resolution/type errors detected in Trait-bug0.dfy
```
Rustan