Chromium Code Reviews| Index: tests/compiler/dart2js/cps_ir/input/argument_refinement_num_8.dart |
| diff --git a/tests/compiler/dart2js/cps_ir/input/argument_refinement_num_8.dart b/tests/compiler/dart2js/cps_ir/input/argument_refinement_num_8.dart |
| new file mode 100644 |
| index 0000000000000000000000000000000000000000..9aef9e2e0825f7a114728421bde19b2d19a93cd1 |
| --- /dev/null |
| +++ b/tests/compiler/dart2js/cps_ir/input/argument_refinement_num_8.dart |
| @@ -0,0 +1,9 @@ |
| +main() { |
| + var x = int.parse('1233'); |
| + var y = int.parse('1234'); |
| + print(x is num); |
| + print(y is num); |
| + print(x | y); |
| + print(x is num); |
| + print(y is num); // will be compiled to `true` if we know the type of `y`. |
| +} |