Track types for arguments passed to calls to static functions

tests/co19/co19-leg.status

 # 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.
 
 [ $compiler == dart2js ]
 # Rename "BadNumberFormatException" to "FormatException"
 # TODO(rnystrom): These can be enabled when
 # http://code.google.com/p/co19/issues/detail?id=167 is fixed.
 LibTest/core/BadNumberFormatException/*: Fail
 LibTest/core/double/toInt_A01_t03: Fail
@@ skipping 281 matching lines @@
 LibTest/core/double/toRadixString_A01_t01: Fail, OK # Unimplemented test stub.
 LibTest/core/double/toStringAsExponential_A01_t01: Fail, OK # Unimplemented test stub.
 LibTest/core/double/toStringAsPrecision_A01_t01: Fail, OK # Unimplemented test stub.
 LibTest/core/int/compareTo_A01_t01: Fail, OK # Requires big int.
 LibTest/core/int/hashCode_A01_t01: Fail, OK # co19 testing missing assertion.
 LibTest/core/int/isEven_A01_t01: Fail, OK # Not in API.
 LibTest/core/int/isOdd_A01_t01: Fail, OK # Not in API.
 LibTest/core/int/operator_NOT_A01_t01: Fail, OK # Requires big int.
 LibTest/core/int/operator_left_shift_A01_t01: Fail, OK # Requires big int.
 LibTest/core/int/operator_remainder_A01_t03: Fail, OK # Leg only has double.
-LibTest/core/int/operator_truncating_division_A01_t01: Fail, OK # Requires big int.
+LibTest/core/int/operator_truncating_division_A01_t01: Fail, Pass # Requires big int unless type inference fools us.
 LibTest/core/int/operator_truncating_division_A01_t02: Fail, OK # Leg only has double.
 LibTest/core/int/remainder_A01_t01: Fail, OK # Requires big int.
 LibTest/core/int/remainder_A01_t03: Fail, OK # Leg only has double.
 LibTest/core/int/toDouble_A01_t01: Fail, OK # Requires big int.
 LibTest/core/int/toInt_A01_t01: Fail, OK # Requires big int.
 LibTest/core/int/toRadixString_A01_t01: Fail, OK # Bad test: uses Expect.fail, Expect.throws, assumes case of result, and uses unsupported radixes.
 LibTest/core/int/toStringAsExponential_A01_t01: Fail, OK # Co19 Issue 112.
 LibTest/core/int/toStringAsFixed_A01_t01: Fail, OK # Co19 Issue 114.
 LibTest/core/int/toStringAsPrecision_A01_t01: Fail, OK # Co19 Issue 113.
 LibTest/core/String/contains_A01_t02: Fail, OK # co19 issue 105.
@@ skipping 409 matching lines @@
 Language/12_Libraries_and_Scripts/3_Includes_A03_t03: Fail # @compile-error
 Language/13_Types/3_Type_Declarations/1_Typedef_A07_t01: Fail # @compile-error
 Language/13_Types/3_Type_Declarations/1_Typedef_A07_t02: Fail # @compile-error
 Language/13_Types/3_Type_Declarations/1_Typedef_A07_t03: Fail # @compile-error
 Language/13_Types/7_Type_Void_A01_t02: Fail # @compile-error
 Language/14_Reference/1_Lexical_Rules/1_Reserved_Words_A30_t04: Fail # @compile-error
 Language/14_Reference/1_Lexical_Rules_A02_t06: Fail # @compile-error
 
 [ $compiler == dart2dart ]
 *: Skip