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

sdk/lib/_internal/compiler/implementation/types/inferrer_visitor.dart

Index: sdk/lib/_internal/compiler/implementation/types/inferrer_visitor.dart
===================================================================
--- sdk/lib/_internal/compiler/implementation/types/inferrer_visitor.dart	(revision 27124)
+++ sdk/lib/_internal/compiler/implementation/types/inferrer_visitor.dart	(working copy)
@@ -759,10 +759,11 @@
       return types.boolType;
     } else if (const SourceString("||") == op.source) {
       conditionIsSimple = false;
-      visit(node.receiver);
+      List<Send> tests = <Send>[];
+      handleCondition(node.receiver, tests);
       LocalsHandler<T> saved = locals;
       locals = new LocalsHandler<T>.from(locals, node);
-      updateIsChecks(isChecks, usePositive: false);
+      updateIsChecks(tests, usePositive: false);
       bool oldAccumulateIsChecks = accumulateIsChecks;
       accumulateIsChecks = false;
       visit(node.arguments.head);