Is checks on the right hand side of an || used in an 'if' do not apply to the then branch of that i…

tests/compiler/dart2js/simple_inferrer_test.dart

Index: tests/compiler/dart2js/simple_inferrer_test.dart
===================================================================
--- tests/compiler/dart2js/simple_inferrer_test.dart	(revision 27124)
+++ tests/compiler/dart2js/simple_inferrer_test.dart	(working copy)
@@ -234,6 +234,18 @@
   }
 }
 
+testIsCheck21(a) {
+  if (a is int || a is List) {
+    return a;
+  } else {
+    return 42;
+  }
+}
+
+testIsCheck22(a) {
+  return a is int || a is List ? a : 42;

[Lasse Reichstein Nielsen, 2013/09/05 07:17:47]

I'd appreciate parentheses around the condition, just because haven't memorized
the precedence rules for ?:. Ain't nobody got time for that.

[ngeoffray, 2013/09/05 07:33:57]

Done.

+}
+
 testIf1(a) {
   var c = null;
   if (a) {
@@ -545,6 +557,8 @@
   testIsCheck18(topLevelGetter());
   testIsCheck19(topLevelGetter());
   testIsCheck20();
+  testIsCheck21(topLevelGetter());
+  testIsCheck22(topLevelGetter());
   testIf1(topLevelGetter());
   testIf2(topLevelGetter());
   returnAsString();
@@ -649,6 +663,8 @@
     checkReturn('testIsCheck18', typesTask.dynamicType);
     checkReturn('testIsCheck19', typesTask.dynamicType);
     checkReturn('testIsCheck20', typesTask.dynamicType.nonNullable());
+    checkReturn('testIsCheck21', typesTask.dynamicType);
+    checkReturn('testIsCheck22', typesTask.dynamicType);
     checkReturn('testIf1', typesTask.intType.nullable());
     checkReturn('testIf2', typesTask.intType.nullable());
     checkReturn('returnAsString',