Index: tests/compiler/dart2js/cpa_inference_test.dart |
diff --git a/tests/compiler/dart2js/cpa_inference_test.dart b/tests/compiler/dart2js/cpa_inference_test.dart |
index a8db3d513305e96e2cd3c225c143ef7157e2eaf3..8e059fecdb4bb5ed8abc7ad1d01c3b1d25802dda 100644 |
--- a/tests/compiler/dart2js/cpa_inference_test.dart |
+++ b/tests/compiler/dart2js/cpa_inference_test.dart |
@@ -588,6 +588,25 @@ testFieldInitialization() { |
result.checkFieldHasType('A', 'y', [result.int]); |
} |
+testSendWithWrongArity() { |
+ final String source = r""" |
+ f(x) { } |
+ class A { g(x) { } } |
+ main () { |
+ var x = f(); |
+ var y = f(1, 2); |
+ var z = new A().g(); |
+ var w = new A().g(1, 2); |
+ x; y; z; w; |
+ } |
+ """; |
+ AnalysisResult result = analyze(source); |
+ result.checkNodeHasType('x', []); |
+ result.checkNodeHasType('y', []); |
+ result.checkNodeHasType('z', []); |
+ result.checkNodeHasType('w', []); |
+} |
+ |
void main() { |
testLiterals(); |
testRedefinition(); |
@@ -614,4 +633,5 @@ void main() { |
testCompoundOperators1(); |
testCompoundOperators2(); |
// testFieldInitialization(); // TODO(polux) |
+ testSendWithWrongArity(); |
} |