Fix more-specific for interface types with call functions.

tests/compiler/dart2js/subtype_test.dart

 // Copyright (c) 2013, 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 subtype_test;
 
 import 'package:expect/expect.dart';
 import "package:async_helper/async_helper.dart";
 import 'type_test_helper.dart';
 import 'package:compiler/src/dart_types.dart';
@@ skipping 259 matching lines @@
       }
       """).then((env) {
     void expect(bool expectSubtype, DartType T, DartType S,
                 {bool expectMoreSpecific}) {
       testTypes(env, T, S, expectSubtype, expectMoreSpecific);
     }
 
     ClassElement classA = env.getElement('A');
     DartType A = classA.rawType;
     DartType function = env['Function'];
+    DartType call = env.getMemberType(classA, 'call');
     DartType m1 = env.getMemberType(classA, 'm1');
     DartType m2 = env.getMemberType(classA, 'm2');
     DartType m3 = env.getMemberType(classA, 'm3');
     DartType m4 = env.getMemberType(classA, 'm4');
     DartType m5 = env.getMemberType(classA, 'm5');
 
-    expect(true, A, function, expectMoreSpecific: false);
-    expect(true, A, m1, expectMoreSpecific: false);
+    expect(true, A, function);

[ahe, 2016/09/02 13:07:11]

I'm not sure this is what the specification says.

[Johnni Winther, 2016/09/02 13:12:37]

A << call and call << Function + transitivity.

+    expect(true, A, call);
+    expect(true, call, m1);
+    expect(true, A, m1);
     expect(true, A, m2, expectMoreSpecific: false);
     expect(false, A, m3);
     expect(false, A, m4);
-    expect(true, A, m5, expectMoreSpecific: false);
+    expect(true, A, m5);
   }));
 }
 
 testFunctionSubtyping() {
   asyncTest(() => TypeEnvironment.create(r"""
       _() => null;
       void void_() {}
       void void_2() {}
       int int_() => 0;
       int int_2() => 0;
@@ skipping 446 matching lines @@
     expect(false, J_U, num_);
     expect(false, J_U, int_);
     expect(false, J_U, String_);
     expect(true, J_U, dynamic_);
     expect(false, J_U, J_T);
     expect(true, J_U, J_S);
     expect(true, J_U, J_U);
     expect(false, J_U, A_T);
   }));
 }