Make int and double nullable by default

test/codegen/expect/DeltaBlue.js

 var DeltaBlue;
 (function(exports) {
   'use strict';
   // Function main: () → dynamic
   function main() {
     new DeltaBlue().report();
   }
   class DeltaBlue extends BenchmarkBase.BenchmarkBase {
     DeltaBlue() {
       super.BenchmarkBase("DeltaBlue");
     }
     run() {
       chainTest(100);
       projectionTest(100);
     }
   }
   class Strength extends dart.Object {
     Strength(value, name) {
       this.value = value;
       this.name = name;
     }
     nextWeaker() {
       return /* Unimplemented const */new List.from([STRONG_PREFERRED, PREFERRED, STRONG_DEFAULT, NORMAL, WEAK_DEFAULT, WEAKEST]).get(this.value);
     }
     static stronger(s1, s2) {
-      return s1.value < s2.value;
+      return dart.notNull(s1.value) < dart.notNull(s2.value);
     }
     static weaker(s1, s2) {
-      return s1.value > s2.value;
+      return dart.notNull(s1.value) > dart.notNull(s2.value);
     }
     static weakest(s1, s2) {
       return weaker(s1, s2) ? s1 : s2;
     }
     static strongest(s1, s2) {
       return stronger(s1, s2) ? s1 : s2;
     }
   }
   let REQUIRED = new Strength(0, "required");
   let STRONG_PREFERRED = new Strength(1, "strongPreferred");
@@ skipping 43 matching lines @@
       this.myOutput = myOutput;
       this.satisfied = false;
       super.Constraint(strength);
       this.addConstraint();
     }
     addToGraph() {
       this.myOutput.addConstraint(this);
       this.satisfied = false;
     }
     chooseMethod(mark) {
-      this.satisfied = dart.notNull(this.myOutput.mark !== mark) && dart.notNull(Strength.stronger(this.strength, this.myOutput.walkStrength));
+      this.satisfied = this.myOutput.mark !== mark && dart.notNull(Strength.stronger(this.strength, this.myOutput.walkStrength));
     }
     isSatisfied() {
       return this.satisfied;
     }
     markInputs(mark) {}
     output() {
       return this.myOutput;
     }
     recalculate() {
       this.myOutput.walkStrength = this.strength;
@@ skipping 34 matching lines @@
   class BinaryConstraint extends Constraint {
     BinaryConstraint(v1, v2, strength) {
       this.v1 = v1;
       this.v2 = v2;
       this.direction = NONE;
       super.Constraint(strength);
       this.addConstraint();
     }
     chooseMethod(mark) {
       if (this.v1.mark === mark) {
-        this.direction = dart.notNull(this.v2.mark !== mark) && dart.notNull(Strength.stronger(this.strength, this.v2.walkStrength)) ? FORWARD : NONE;
+        this.direction = this.v2.mark !== mark && dart.notNull(Strength.stronger(this.strength, this.v2.walkStrength)) ? FORWARD : NONE;
       }
       if (this.v2.mark === mark) {
-        this.direction = dart.notNull(this.v1.mark !== mark) && dart.notNull(Strength.stronger(this.strength, this.v1.walkStrength)) ? BACKWARD : NONE;
+        this.direction = this.v1.mark !== mark && dart.notNull(Strength.stronger(this.strength, this.v1.walkStrength)) ? BACKWARD : NONE;
       }
       if (Strength.weaker(this.v1.walkStrength, this.v2.walkStrength)) {
         this.direction = Strength.stronger(this.strength, this.v1.walkStrength) ? BACKWARD : NONE;
       } else {
         this.direction = Strength.stronger(this.strength, this.v2.walkStrength) ? FORWARD : BACKWARD;
       }
     }
     addToGraph() {
       this.v1.addConstraint(this);
       this.v2.addConstraint(this);
@@ skipping 16 matching lines @@
       out.walkStrength = Strength.weakest(this.strength, ihn.walkStrength);
       out.stay = ihn.stay;
       if (out.stay)
         this.execute();
     }
     markUnsatisfied() {
       this.direction = NONE;
     }
     inputsKnown(mark) {
       let i = this.input();
-      return dart.notNull(dart.notNull(i.mark === mark) || dart.notNull(i.stay)) || dart.notNull(i.determinedBy === null);
+      return i.mark === mark || dart.notNull(i.stay) || dart.notNull(i.determinedBy === null);
     }
     removeFromGraph() {
       if (this.v1 !== null)
         this.v1.removeConstraint(this);
       if (this.v2 !== null)
         this.v2.removeConstraint(this);
       this.direction = NONE;
     }
   }
   class ScaleConstraint extends BinaryConstraint {
@@ skipping 13 matching lines @@
         this.scale.removeConstraint(this);
       if (this.offset !== null)
         this.offset.removeConstraint(this);
     }
     markInputs(mark) {
       super.markInputs(mark);
       this.scale.mark = this.offset.mark = mark;
     }
     execute() {
       if (this.direction === FORWARD) {
-        this.v2.value = this.v1.value * this.scale.value + this.offset.value;
+        this.v2.value = dart.notNull(this.v1.value) * dart.notNull(this.scale.value) + dart.notNull(this.offset.value);
       } else {
-        this.v1.value = ((this.v2.value - this.offset.value) / this.scale.value).truncate();
+        this.v1.value = ((dart.notNull(this.v2.value) - dart.notNull(this.offset.value)) / dart.notNull(this.scale.value)).truncate();
       }
     }
     recalculate() {
       let ihn = this.input(), out = this.output();
       out.walkStrength = Strength.weakest(this.strength, ihn.walkStrength);
-      out.stay = dart.notNull(dart.notNull(ihn.stay) && dart.notNull(this.scale.stay)) && dart.notNull(this.offset.stay);
+      out.stay = dart.notNull(ihn.stay) && dart.notNull(this.scale.stay) && dart.notNull(this.offset.stay);
       if (out.stay)
         this.execute();
     }
   }
   class EqualityConstraint extends BinaryConstraint {
     EqualityConstraint(v1, v2, strength) {
       super.BinaryConstraint(v1, v2, strength);
     }
     execute() {
       this.output().value = this.input().value;
@@ skipping 27 matching lines @@
       for (let overridden = c.satisfy(mark); overridden !== null; overridden = overridden.satisfy(mark))
         ;
     }
     incrementalRemove(c) {
       let out = c.output();
       c.markUnsatisfied();
       c.removeFromGraph();
       let unsatisfied = this.removePropagateFrom(out);
       let strength = REQUIRED;
       do {
-        for (let i = 0; i < unsatisfied.length; i++) {
+        for (let i = 0; dart.notNull(i) < dart.notNull(unsatisfied.length); dart.notNull(i)++) {
           let u = unsatisfied.get(i);
           if (dart.equals(u.strength, strength))
             this.incrementalAdd(u);
         }
         strength = strength.nextWeaker();
       } while (!dart.equals(strength, WEAKEST));
     }
     newMark() {
-      return ++this.currentMark;
+      return ++dart.notNull(this.currentMark);
     }
     makePlan(sources) {
       let mark = this.newMark();
       let plan = new Plan();
       let todo = sources;
-      while (todo.length > 0) {
+      while (dart.notNull(todo.length) > 0) {
         let c = todo.removeLast();
-        if (dart.notNull(c.output().mark !== mark) && dart.notNull(c.inputsKnown(mark))) {
+        if (c.output().mark !== mark && dart.notNull(c.inputsKnown(mark))) {
           plan.addConstraint(c);
           c.output().mark = mark;
           this.addConstraintsConsumingTo(c.output(), todo);
         }
       }
       return plan;
     }
     extractPlanFromConstraints(constraints) {
       let sources = new List.from([]);
-      for (let i = 0; i < constraints.length; i++) {
+      for (let i = 0; dart.notNull(i) < dart.notNull(constraints.length); dart.notNull(i)++) {
         let c = constraints.get(i);
         if (dart.notNull(c.isInput()) && dart.notNull(c.isSatisfied()))
           sources.add(c);
       }
       return this.makePlan(sources);
     }
     addPropagate(c, mark) {
       let todo = new List.from([c]);
-      while (todo.length > 0) {
+      while (dart.notNull(todo.length) > 0) {
         let d = todo.removeLast();
         if (d.output().mark === mark) {
           this.incrementalRemove(c);
           return false;
         }
         d.recalculate();
         this.addConstraintsConsumingTo(d.output(), todo);
       }
       return true;
     }
     removePropagateFrom(out) {
       out.determinedBy = null;
       out.walkStrength = WEAKEST;
       out.stay = true;
       let unsatisfied = new List.from([]);
       let todo = new List.from([out]);
-      while (todo.length > 0) {
+      while (dart.notNull(todo.length) > 0) {
         let v = todo.removeLast();
-        for (let i = 0; i < v.constraints.length; i++) {
+        for (let i = 0; dart.notNull(i) < dart.notNull(v.constraints.length); dart.notNull(i)++) {
           let c = v.constraints.get(i);
           if (!dart.notNull(c.isSatisfied()))
             unsatisfied.add(c);
         }
         let determining = v.determinedBy;
-        for (let i = 0; i < v.constraints.length; i++) {
+        for (let i = 0; dart.notNull(i) < dart.notNull(v.constraints.length); dart.notNull(i)++) {
           let next = v.constraints.get(i);
           if (dart.notNull(!dart.equals(next, determining)) && dart.notNull(next.isSatisfied())) {
             next.recalculate();
             todo.add(next.output());
           }
         }
       }
       return unsatisfied;
     }
     addConstraintsConsumingTo(v, coll) {
       let determining = v.determinedBy;
-      for (let i = 0; i < v.constraints.length; i++) {
+      for (let i = 0; dart.notNull(i) < dart.notNull(v.constraints.length); dart.notNull(i)++) {
         let c = v.constraints.get(i);
         if (dart.notNull(!dart.equals(c, determining)) && dart.notNull(c.isSatisfied()))
           coll.add(c);
       }
     }
   }
   class Plan extends dart.Object {
     Plan() {
       this.list = new List.from([]);
     }
     addConstraint(c) {
       this.list.add(c);
     }
     size() {
       return this.list.length;
     }
     execute() {
-      for (let i = 0; i < this.list.length; i++) {
+      for (let i = 0; dart.notNull(i) < dart.notNull(this.list.length); dart.notNull(i)++) {
         this.list.get(i).execute();
       }
     }
   }
   // Function chainTest: (int) → void
   function chainTest(n) {
     exports.planner = new Planner();
     let prev = null, first = null, last = null;
-    for (let i = 0; i <= n; i++) {
+    for (let i = 0; dart.notNull(i) <= dart.notNull(n); dart.notNull(i)++) {
       let v = new Variable("v", 0);
       if (prev !== null)
         new EqualityConstraint(prev, v, REQUIRED);
       if (i === 0)
         first = v;
       if (i === n)
         last = v;
       prev = v;
     }
     new StayConstraint(last, STRONG_DEFAULT);
     let edit = new EditConstraint(first, PREFERRED);
     let plan = exports.planner.extractPlanFromConstraints(new List.from([edit]));
-    for (let i = 0; i < 100; i++) {
+    for (let i = 0; dart.notNull(i) < 100; dart.notNull(i)++) {
       first.value = i;
       plan.execute();
       if (last.value !== i) {
         core.print("Chain test failed:");
         core.print(`Expected last value to be ${i} but it was ${last.value}.`);
       }
     }
   }
   // Function projectionTest: (int) → void
   function projectionTest(n) {
     exports.planner = new Planner();
     let scale = new Variable("scale", 10);
     let offset = new Variable("offset", 1000);
     let src = null, dst = null;
     let dests = new List.from([]);
-    for (let i = 0; i < n; i++) {
+    for (let i = 0; dart.notNull(i) < dart.notNull(n); dart.notNull(i)++) {
       src = new Variable("src", i);
       dst = new Variable("dst", i);
       dests.add(dst);
       new StayConstraint(src, NORMAL);
       new ScaleConstraint(src, scale, offset, dst, REQUIRED);
     }
     change(src, 17);
     if (dst.value !== 1170)
       core.print("Projection 1 failed");
     change(dst, 1050);
     if (src.value !== 5)
       core.print("Projection 2 failed");
     change(scale, 5);
-    for (let i = 0; i < n - 1; i++) {
-      if (dests.get(i).value !== i * 5 + 1000)
+    for (let i = 0; dart.notNull(i) < dart.notNull(n) - 1; dart.notNull(i)++) {
+      if (dests.get(i).value !== dart.notNull(i) * 5 + 1000)
         core.print("Projection 3 failed");
     }
     change(offset, 2000);
-    for (let i = 0; i < n - 1; i++) {
-      if (dests.get(i).value !== i * 5 + 2000)
+    for (let i = 0; dart.notNull(i) < dart.notNull(n) - 1; dart.notNull(i)++) {
+      if (dests.get(i).value !== dart.notNull(i) * 5 + 2000)
         core.print("Projection 4 failed");
     }
   }
   // Function change: (Variable, int) → void
   function change(v, newValue) {
     let edit = new EditConstraint(v, PREFERRED);
     let plan = exports.planner.extractPlanFromConstraints(new List.from([edit]));
-    for (let i = 0; i < 10; i++) {
+    for (let i = 0; dart.notNull(i) < 10; dart.notNull(i)++) {
       v.value = newValue;
       plan.execute();
     }
     edit.destroyConstraint();
   }
   exports.planner = null;
   // Exports:
   exports.main = main;
   exports.DeltaBlue = DeltaBlue;
   exports.Strength = Strength;
@@ skipping 14 matching lines @@
   exports.BinaryConstraint = BinaryConstraint;
   exports.ScaleConstraint = ScaleConstraint;
   exports.EqualityConstraint = EqualityConstraint;
   exports.Variable = Variable;
   exports.Planner = Planner;
   exports.Plan = Plan;
   exports.chainTest = chainTest;
   exports.projectionTest = projectionTest;
   exports.change = change;
 })(DeltaBlue || (DeltaBlue = {}));