| 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());
|
| }
|
|
|