Index: tests/compiler/dart2js/subtype_test.dart |
diff --git a/tests/compiler/dart2js/subtype_test.dart b/tests/compiler/dart2js/subtype_test.dart |
index bdd9e666f8cef5ae4697376c0203bf39ba812e95..b31e2d8456c8215e2bb0366b96c419b380db3e27 100644 |
--- a/tests/compiler/dart2js/subtype_test.dart |
+++ b/tests/compiler/dart2js/subtype_test.dart |
@@ -277,18 +277,21 @@ void testCallableSubtype() { |
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); |
})); |
} |