Implement subtype relation for kernel based elements.

pkg/compiler/lib/src/universe/world_builder.dart

 // Copyright (c) 2012, 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.
 
 library world_builder;
 
 import 'dart:collection';
 
 import '../common.dart';
 import '../common/names.dart' show Identifiers;
@@ skipping 78 matching lines @@
   ///     class A {
   ///        foo(a, b) {}
   ///     }
   ///     class B {
   ///        foo(a, b) {}
   ///     }
   ///     new A().foo(a, b);
   ///
   /// Ideally the selector constraints for calls `foo` with two positional
   /// arguments apply to `A.foo` but `B.foo`.
-  bool applies(MemberElement element, Selector selector, World world);
+  bool applies(MemberEntity element, Selector selector, World world);
 
   /// Returns `true` if at least one of the receivers matching these constraints
   /// in the closed [world] have no implementation matching [selector].
   ///
   /// For instance for this code snippet
   ///
   ///     class A {}
   ///     class B { foo() {} }
   ///     m(b) => (b ? new A() : new B()).foo();
   ///
@@ skipping 22 matching lines @@
 
   OpenWorldConstraints createSelectorConstraints(Selector selector) {
     return new OpenWorldConstraints();
   }
 }
 
 class OpenWorldConstraints extends UniverseSelectorConstraints {
   bool isAll = false;
 
   @override
-  bool applies(Element element, Selector selector, World world) => isAll;
+  bool applies(MemberEntity element, Selector selector, World world) => isAll;
 
   @override
   bool needsNoSuchMethodHandling(Selector selector, World world) => isAll;
 
   @override
   bool addReceiverConstraint(ReceiverConstraint constraint) {
     if (isAll) return false;
     isAll = true;
     return true;
   }
@@ skipping 23 matching lines @@
 
   /// All directly instantiated types, that is, the types of the directly
   /// instantiated classes.
   // TODO(johnniwinther): Improve semantic precision.
   Iterable<InterfaceType> get instantiatedTypes;
 
   /// Registers that [type] is checked in this world builder. The unaliased type
   /// is returned.
   void registerIsCheck(DartType type);
 }