equal
deleted
inserted
replaced
1233 if (res != null) |
1233 if (res != null) |
1234 return res; |
1234 return res; |
1235 // if origin is derived from a raw type, we might have missed |
1235 // if origin is derived from a raw type, we might have missed |
1236 // an implementation because we do not know enough about instantiations. |
1236 // an implementation because we do not know enough about instantiations. |
1237 // in this case continue with the supertype as origin. |
1237 // in this case continue with the supertype as origin. |
1238 if (types.isDerivedRaw(origin.type)) |
1238 if (types.isDerivedRaw(origin.type) && !origin.isInterface()) |
1239 return implementation(types.supertype(origin.type).tsym, types, checkResult); |
1239 return implementation(types.supertype(origin.type).tsym, types, checkResult); |
1240 else |
1240 else |
1241 return null; |
1241 return null; |
1242 } |
1242 } |
1243 |
1243 |