New analyzer snaphot.

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 11189 matching lines @@
       prefix = ",";
     }
     builder.append("}");
   }
 
   @override
   bool internalEquals(Object object, Set<ElementPair> visitedElementPairs) => this == object;
 
   @override
   bool internalIsMoreSpecificThan(DartType type, bool withDynamic, Set<TypeImpl_TypePair> visitedTypePairs) {
-    // TODO(collinsn): what version of subtyping do we want?
+    // What version of subtyping do we want? See discussion below in [internalIsSubtypeOf].
     //
     // The more unsound version: any.
-    /*
-    for (Type t : types) {
-      if (((TypeImpl) t).internalIsMoreSpecificThan(type, withDynamic, visitedTypePairs)) {
+    for (DartType t in _types) {
+      if ((t as TypeImpl).internalIsMoreSpecificThan(type, withDynamic, visitedTypePairs)) {
         return true;
       }
     }
     return false;
-    */
-    // The less unsound version: all.
-    for (DartType t in _types) {
-      if (!(t as TypeImpl).internalIsMoreSpecificThan(type, withDynamic, visitedTypePairs)) {
-        return false;
-      }
-    }
-    return true;
   }
 
   @override
   bool internalIsSubtypeOf(DartType type, Set<TypeImpl_TypePair> visitedTypePairs) {
-    // TODO(collinsn): what version of subtyping do we want?
-    //
     // The more unsound version: any.
-    /*
-    for (Type t : types) {
-      if (((TypeImpl) t).internalIsSubtypeOf(type, visitedTypePairs)) {
+    for (DartType t in _types) {
+      if ((t as TypeImpl).internalIsSubtypeOf(type, visitedTypePairs)) {
         return true;
       }
     }
     return false;
-    */
-    // The less unsound version: all.
-    for (DartType t in _types) {
-      if (!(t as TypeImpl).internalIsSubtypeOf(type, visitedTypePairs)) {
-        return false;
-      }
-    }
-    return true;
   }
 
   /**
    * The more-specific-than test for union types on the RHS is uniform in non-union LHSs. So, other
    * `TypeImpl`s can call this method to implement `internalIsMoreSpecificThan` for
    * union types.
    *
    * @param type
    * @param visitedTypePairs
    * @return true if `type` is more specific than this union type
@@ skipping 374 matching lines @@
     if (type is UnionType) {
       return (type as UnionTypeImpl).internalUnionTypeIsSuperTypeOf(this, visitedTypePairs);
     }
     // The only subtype relations that pertain to void are therefore:
     // void <: void (by reflexivity)
     // bottom <: void (as bottom is a subtype of all types).
     // void <: dynamic (as dynamic is a supertype of all types)
     return identical(type, this) || identical(type, DynamicTypeImpl.instance);
   }
 }