Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/member/FieldMember.java |
diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/member/FieldMember.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/member/FieldMember.java |
index cbb2dfda331f6cca4a7fd6c5e6939c187e08bffa..1db4fc9e1a78d4131420a16e55b1ed3f22ec30f7 100644 |
--- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/member/FieldMember.java |
+++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/member/FieldMember.java |
@@ -86,6 +86,11 @@ public class FieldMember extends VariableMember implements FieldElement { |
} |
@Override |
+ public Type getPropagatedType() { |
+ return substituteFor(getBaseElement().getPropagatedType()); |
+ } |
+ |
+ @Override |
public PropertyAccessorElement getSetter() { |
return PropertyAccessorMember.from(getBaseElement().getSetter(), getDefiningType()); |
} |