Less inequivalence on Hello World!

pkg/compiler/lib/src/elements/types.dart

 // Copyright (c) 2016, 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.
 
 import '../common_elements.dart';
 import '../util/util.dart' show equalElements;
 import 'entities.dart';
 
 /// Hierarchy to describe types in Dart.
 ///
@@ skipping 771 matching lines @@
   /// where the type arguments are the type variables of [cls].
   InterfaceType getThisType(ClassEntity cls);
 
   /// Returns the supertype of [cls], i.e. the type in the `extends` clause of
   /// [cls].
   InterfaceType getSupertype(ClassEntity cls);
 
   /// Returns all supertypes of [cls].
   Iterable<InterfaceType> getSupertypes(ClassEntity cls);
 
+  /// Returns all types directly implemented by [cls].
+  Iterable<InterfaceType> getInterfaces(ClassEntity cls);
+
   /// Returns the type of the `call` method on [type], or `null` if the class
   /// of [type] does not have a `call` method.
   FunctionType getCallType(InterfaceType type);
 
   /// Checks the type arguments of [type] against the type variable bounds
   /// declared on `type.element`. Calls [checkTypeVariableBound] on each type
   /// argument and bound.
   void checkTypeVariableBounds(
       InterfaceType type,
       void checkTypeVariableBound(InterfaceType type, DartType typeArgument,
@@ skipping 11 matching lines @@
     // include a runtime value for method type variables this must be updated.
     // For full support the global assumption that all type variables are
     // declared by the same enclosing class will not hold: Both an enclosing
     // method and an enclosing class may define type variables, so the return
     // type cannot be [ClassElement] and the caller must be prepared to look in
     // two locations, not one. Currently we ignore method type variables by
     // returning in the next statement.
     return contextClass;
   }
 }