Remember propagated types for PropertyInducingElement(s).

editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/element/PropertyInducingElement.java

Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/element/PropertyInducingElement.java
diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/element/PropertyInducingElement.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/element/PropertyInducingElement.java
index c529dc08189bff45d9bab5e163f7784a964d2ffa..59ded6a989e9e9368bbd2e2fe4dcdd0f323f6c97 100644
--- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/element/PropertyInducingElement.java
+++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/element/PropertyInducingElement.java
@@ -13,6 +13,8 @@
  */
 package com.google.dart.engine.element;
 
+import com.google.dart.engine.type.Type;
+
 /**
  * The interface {@code PropertyInducingElement} defines the behavior of elements representing a
  * variable that has an associated getter and possibly a setter. Note that explicitly defined
@@ -41,6 +43,14 @@ public interface PropertyInducingElement extends VariableElement {
   public PropertyAccessorElement getGetter();
 
   /**
+   * Return the propagated type of this variable, or {@code null} if type propagation has not been
+   * performed, for example because the variable is not final.
+   * 
+   * @return the propagated type of this variable
+   */
+  public Type getPropagatedType();
+
+  /**
    * Return the setter associated with this variable, or {@code null} if the variable is effectively
    * {@code final} and therefore does not have a setter associated with it. (This can happen either
    * because the variable is explicitly defined as being {@code final} or because the variable is