New analyzer snapshot.

pkg/analyzer/lib/src/generated/element.dart

 // Copyright (c) 2014, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 // This code was auto-generated, is not intended to be edited, and is subject to
 // significant change. Please see the README file for more information.
 
 library engine.element;
 
 import 'dart:collection';
@@ skipping 4606 matching lines @@
   @override
   FieldElement get baseElement => super.baseElement as FieldElement;
 
   @override
   ClassElement get enclosingElement => baseElement.enclosingElement;
 
   @override
   PropertyAccessorElement get getter => PropertyAccessorMember.from(baseElement.getter, definingType);
 
   @override
+  DartType get propagatedType => substituteFor(baseElement.propagatedType);
+
+  @override
   PropertyAccessorElement get setter => PropertyAccessorMember.from(baseElement.setter, definingType);
 
   @override
   bool get isStatic => baseElement.isStatic;
 
   @override
   InterfaceType get definingType => super.definingType as InterfaceType;
 }
 
 /**
@@ skipping 3576 matching lines @@
   }
 
   /**
    * Return the type that results from replacing the type parameters in the given type with the type
    * arguments.
    *
    * @param type the type to be transformed
    * @return the result of transforming the type
    */
   DartType substituteFor(DartType type) {
+    if (type == null) {
+      return null;
+    }
     List<DartType> argumentTypes = _definingType.typeArguments;
     List<DartType> parameterTypes = TypeParameterTypeImpl.getTypes(_definingType.typeParameters);
     return type.substitute2(argumentTypes, parameterTypes);
   }
 
   /**
    * Return the array of types that results from replacing the type parameters in the given types
    * with the type arguments.
    *
    * @param types the types to be transformed
@@ skipping 1570 matching lines @@
 abstract class PropertyInducingElement implements VariableElement {
   /**
    * Return the getter associated with this variable. If this variable was explicitly defined (is
    * not synthetic) then the getter associated with it will be synthetic.
    *
    * @return the getter associated with this variable
    */
   PropertyAccessorElement get getter;
 
   /**
+   * Return the propagated type of this variable, or `null` if type propagation has not been
+   * performed, for example because the variable is not final.
+   *
+   * @return the propagated type of this variable
+   */
+  DartType get propagatedType;
+
+  /**
    * Return the setter associated with this variable, or `null` if the variable is effectively
    * `final` and therefore does not have a setter associated with it. (This can happen either
    * because the variable is explicitly defined as being `final` or because the variable is
    * induced by an explicit getter that does not have a corresponding setter.) If this variable was
    * explicitly defined (is not synthetic) then the setter associated with it will be synthetic.
    *
    * @return the setter associated with this variable
    */
   PropertyAccessorElement get setter;
 
@@ skipping 16 matching lines @@
    */
   PropertyAccessorElement getter;
 
   /**
    * The setter associated with this element, or `null` if the element is effectively
    * `final` and therefore does not have a setter associated with it.
    */
   PropertyAccessorElement setter;
 
   /**
+   * The propagated type of this variable, or `null` if type propagation has not been
+   * performed.
+   */
+  DartType propagatedType;
+
+  /**
    * An empty array of elements.
    */
   static List<PropertyInducingElement> EMPTY_ARRAY = new List<PropertyInducingElement>(0);
 
   /**
    * Initialize a newly created element to have the given name.
    *
    * @param name the name of this element
    */
   PropertyInducingElementImpl.con1(Identifier name) : super.forNode(name);
@@ skipping 1230 matching lines @@
 
   @override
   bool internalEquals(Object object, Set<ElementPair> visitedElementPairs) => identical(object, this);
 
   @override
   bool internalIsMoreSpecificThan(DartType type, bool withDynamic, Set<TypeImpl_TypePair> visitedTypePairs) => isSubtypeOf(type);
 
   @override
   bool internalIsSubtypeOf(DartType type, Set<TypeImpl_TypePair> visitedTypePairs) => identical(type, this) || identical(type, DynamicTypeImpl.instance);
 }