| Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/completion/CompletionEngine.java
|
| diff --git a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/completion/CompletionEngine.java b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/completion/CompletionEngine.java
|
| index c46a590040c4c78d585a781e188f8f447625d749..4c07efaceab5c36ae9fad18e8420b30af6428716 100644
|
| --- a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/completion/CompletionEngine.java
|
| +++ b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/completion/CompletionEngine.java
|
| @@ -904,7 +904,7 @@ public class CompletionEngine {
|
| List<InterfaceType> types = TypeUtil.allSupertypes((InterfaceType) type);
|
| for (InterfaceType itype : types) {
|
| ClassElement cls = itype.getElement();
|
| - Iterable<Element> members = cls.getMembers();
|
| + Iterable<? extends Element> members = cls.getMembers();
|
| for (Element elem : members) {
|
| String name = elem.getName();
|
| if (!map.containsKey(name)) {
|
|
|