Index: tests/compiler/dart2js/is_inference2_test.dart |
diff --git a/tests/compiler/dart2js/is_inference2_test.dart b/tests/compiler/dart2js/is_inference2_test.dart |
new file mode 100644 |
index 0000000000000000000000000000000000000000..b3829a89d3804a2fd35a836bce0caa688779bb57 |
--- /dev/null |
+++ b/tests/compiler/dart2js/is_inference2_test.dart |
@@ -0,0 +1,20 @@ |
+// 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. |
+ |
+#import("compiler_helper.dart"); |
+ |
+final String TEST_IF_BOOL_FIRST_INSTRUCTION = @""" |
+negate(x) { |
+ if (x is bool) return !x; |
+ return x; |
+} |
+"""; |
+ |
+main() { |
+ String generated = compile(TEST_IF_BOOL_FIRST_INSTRUCTION, 'negate'); |
+ Expect.isTrue(generated.contains("!")); // We want to see !x. |
+ Expect.isFalse(generated.contains("!=")); // And not !== true. |
+ Expect.isFalse(generated.contains("true")); |
+ Expect.isFalse(generated.contains("false")); |
+} |