1190 } |
1190 } |
1191 } |
1191 } |
1192 |
1192 |
1193 // check for an inherited implementation |
1193 // check for an inherited implementation |
1194 if ((flags() & ABSTRACT) != 0 || |
1194 if ((flags() & ABSTRACT) != 0 || |
1195 (other.flags() & ABSTRACT) == 0 || |
1195 (other.flags() & ABSTRACT) == 0 || |
1196 !other.isOverridableIn(origin) || |
1196 !other.isOverridableIn(origin) || |
1197 !this.isMemberOf(origin, types)) |
1197 !this.isMemberOf(origin, types)) |
1198 return false; |
1198 return false; |
1199 |
1199 |
1200 // assert types.asSuper(origin.type, other.owner) != null; |
1200 // assert types.asSuper(origin.type, other.owner) != null; |
1201 Type mt = types.memberType(origin.type, this); |
1201 Type mt = types.memberType(origin.type, this); |
1202 Type ot = types.memberType(origin.type, other); |
1202 Type ot = types.memberType(origin.type, other); |