Change how we deal with manual inlining of argument error and NSM when propagating types. This chan…

tests/compiler/dart2js/value_range_test.dart

 // 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 "package:expect/expect.dart";
 import 'compiler_helper.dart';
 
 const int REMOVED = 0;
 const int ABOVE_ZERO = 1;
 const int BELOW_LENGTH = 2;
@@ skipping 141 matching lines @@
   }
   return sum;
 }
 """,
 REMOVED,
 
 """
 main(value) {
   // Force [value] to be an int by having the speculative optimizer
   // want an int.
-  int sum = 0;
+  int sum = ~value;
   for (int i = 0; i < 42; i++) sum += (value & 4);
   var a = new List();
   if (value > a.length - 1) return;
   if (value < 0) return;
   return a[value];
 }
 """,
 REMOVED,
 
 """
 main(value) {
   // Force [value] to be an int by having the speculative optimizer
   // want an int.
-  int sum = 0;
+  int sum = ~value;
   for (int i = 0; i < 42; i++) sum += (value & 4);
   var a = new List();
   if (value <= a.length - 1) {
     if (value >= 0) {
       return a[value];
     }
   }
 }
 """,
 REMOVED,
 """
 main(value) {
   // Force [value] to be an int by having the speculative optimizer
   // want an int.
-  int sum = 0;
+  int sum = ~value;
   for (int i = 0; i < 42; i++) sum += (value & 4);
   var a = new List();
   if (value >= a.length) return;
   if (value <= -1) return;
   return a[value];
 }
 """,
 REMOVED,
 ];
 
@@ skipping 52 matching lines @@
     operator |(other) {}
     operator &(other) {}
     operator ^(other) {}
     operator <(other) {}
     operator >(other) {}
     operator <=(other) {}
     operator >=(other) {}
     operator ==(other) {}
   }
   class JSInt extends JSNumber {
+    operator~() => this;
   }
   class JSDouble extends JSNumber {
   }
   class JSNull {
   }
   class JSBool {
   }
   class JSFunction {
   }
   class ObjectInterceptor {
@@ skipping 38 matching lines @@
       break;
   }
 }
 
 
 main() {
   for (int i = 0; i < TESTS.length;  i += 2) {
     expect(TESTS[i], TESTS[i + 1]);
   }
 }