Typecheck constructor initializers properly

test/codegen/expect/math/math.js

 var math;
 (function(math) {
   'use strict';
   let E = 2.718281828459045;
   let LN10 = 2.302585092994046;
   let LN2 = 0.6931471805599453;
   let LOG2E = 1.4426950408889634;
   let LOG10E = 0.4342944819032518;
   let PI = 3.141592653589793;
   let SQRT1_2 = 0.7071067811865476;
@@ skipping 237 matching lines @@
       }
       ['=='](other) {
         if (!dart.is(other, Point))
           return false;
         return dart.notNull(dart.equals(this.x, dart.dload(other, 'x'))) && dart.notNull(dart.equals(this.y, dart.dload(other, 'y')));
       }
       get hashCode() {
         return _JenkinsSmiHash.hash2(this.x.hashCode, this.y.hashCode);
       }
       ['+'](other) {
-        return new Point(this.x['+'](other.x), this.y['+'](other.y));
+        return new Point(dart.as(this.x['+'](other.x), T), dart.as(this.y['+'](other.y), T));
       }
       ['-'](other) {
-        return new Point(this.x['-'](other.x), this.y['-'](other.y));
+        return new Point(dart.as(this.x['-'](other.x), T), dart.as(this.y['-'](other.y), T));
       }
       ['*'](factor) {
-        return new Point(this.x['*'](factor), this.y['*'](factor));
+        return new Point(dart.as(this.x['*'](factor), T), dart.as(this.y['*'](factor), T));
       }
       get magnitude() {
         return sqrt(dart.notNull(this.x['*'](this.x)) + dart.notNull(this.y['*'](this.y)));
       }
       distanceTo(other) {
         let dx = this.x['-'](other.x);
         let dy = this.y['-'](other.y);
         return sqrt(dart.notNull(dart.notNull(dx) * dart.notNull(dx)) + dart.notNull(dart.notNull(dy) * dart.notNull(dy)));
       }
       squaredDistanceTo(other) {
@@ skipping 33 matching lines @@
       get hashCode() {
         return _JenkinsSmiHash.hash4(this.left.hashCode, this.top.hashCode, this.right.hashCode, this.bottom.hashCode);
       }
       intersection(other) {
         let x0 = max(this.left, other.left);
         let x1 = min(this.left['+'](this.width), other.left['+'](other.width));
         if (dart.notNull(x0) <= dart.notNull(x1)) {
           let y0 = max(this.top, other.top);
           let y1 = min(this.top['+'](this.height), other.top['+'](other.height));
           if (dart.notNull(y0) <= dart.notNull(y1)) {
-            return new Rectangle(x0, y0, dart.notNull(x1) - dart.notNull(x0), dart.notNull(y1) - dart.notNull(y0));
+            return new Rectangle(dart.as(x0, T), dart.as(y0, T), dart.as(dart.notNull(x1) - dart.notNull(x0), T), dart.as(dart.notNull(y1) - dart.notNull(y0), T));
           }
         }
         return null;
       }
       intersects(other) {
         return dart.notNull(dart.notNull(dart.notNull(this.left['<='](dart.notNull(other.left) + dart.notNull(other.width))) && dart.notNull(dart.notNull(other.left) <= dart.notNull(this.left['+'](this.width)))) && dart.notNull(this.top['<='](dart.notNull(other.top) + dart.notNull(other.height)))) && dart.notNull(dart.notNull(other.top) <= dart.notNull(this.top['+'](this.height)));
       }
       boundingBox(other) {
         let right = max(this.left['+'](this.width), other.left['+'](other.width));
         let bottom = max(this.top['+'](this.height), other.top['+'](other.height));
         let left = min(this.left, other.left);
         let top = min(this.top, other.top);
-        return new Rectangle(left, top, dart.notNull(right) - dart.notNull(left), dart.notNull(bottom) - dart.notNull(top));
+        return new Rectangle(dart.as(left, T), dart.as(top, T), dart.as(dart.notNull(right) - dart.notNull(left), T), dart.as(dart.notNull(bottom) - dart.notNull(top), T));
       }
       containsRectangle(another) {
         return dart.notNull(dart.notNull(dart.notNull(this.left['<='](another.left)) && dart.notNull(dart.notNull(this.left['+'](this.width)) >= dart.notNull(dart.notNull(another.left) + dart.notNull(another.width)))) && dart.notNull(this.top['<='](another.top))) && dart.notNull(dart.notNull(this.top['+'](this.height)) >= dart.notNull(dart.notNull(another.top) + dart.notNull(another.height)));
       }
       containsPoint(another) {
         return dart.notNull(dart.notNull(dart.notNull(core.num['>='](another.x, this.left)) && dart.notNull(dart.notNull(another.x) <= dart.notNull(this.left['+'](this.width)))) && dart.notNull(core.num['>='](another.y, this.top))) && dart.notNull(dart.notNull(another.y) <= dart.notNull(this.top['+'](this.height)));
       }
       get topLeft() {
         return new Point(this.left, this.top);
       }
       get topRight() {
-        return new Point(this.left['+'](this.width), this.top);
+        return new Point(dart.as(this.left['+'](this.width), T), this.top);
       }
       get bottomRight() {
-        return new Point(this.left['+'](this.width), this.top['+'](this.height));
+        return new Point(dart.as(this.left['+'](this.width), T), dart.as(this.top['+'](this.height), T));
       }
       get bottomLeft() {
-        return new Point(this.left, this.top['+'](this.height));
+        return new Point(this.left, dart.as(this.top['+'](this.height), T));
       }
     }
     return _RectangleBase;
   });
   let _RectangleBase = _RectangleBase$(dynamic);
   let Rectangle$ = dart.generic(function(T) {
     class Rectangle extends _RectangleBase$(T) {
       Rectangle(left, top, width, height) {
         this.left = left;
         this.top = top;
-        this.width = width['<'](0) ? dart.notNull(dart.throw_("Unimplemented PrefixExpression: -width")) * 0 : width;
-        this.height = height['<'](0) ? dart.notNull(dart.throw_("Unimplemented PrefixExpression: -height")) * 0 : height;
+        this.width = dart.as(width['<'](0) ? dart.notNull(dart.throw_("Unimplemented PrefixExpression: -width")) * 0 : width, T);
+        this.height = dart.as(height['<'](0) ? dart.notNull(dart.throw_("Unimplemented PrefixExpression: -height")) * 0 : height, T);
         super._RectangleBase();
       }
       Rectangle$fromPoints(a, b) {
         let left = dart.as(min(a.x, b.x), T);
         let width = dart.as(core.num['-'](max(a.x, b.x), left), T);
         let top = dart.as(min(a.y, b.y), T);
         let height = dart.as(core.num['-'](max(a.y, b.y), top), T);
         return new Rectangle(left, top, width, height);
       }
     }
     dart.defineNamedConstructor(Rectangle, 'fromPoints');
     return Rectangle;
   });
   let Rectangle = Rectangle$(dynamic);
   let MutableRectangle$ = dart.generic(function(T) {
     class MutableRectangle extends _RectangleBase$(T) {
       MutableRectangle(left, top, width, height) {
         this.left = left;
         this.top = top;
-        this._width = width['<'](0) ? _clampToZero(width) : width;
-        this._height = height['<'](0) ? _clampToZero(height) : height;
+        this._width = dart.as(width['<'](0) ? _clampToZero(width) : width, T);
+        this._height = dart.as(height['<'](0) ? _clampToZero(height) : height, T);
         super._RectangleBase();
       }
       MutableRectangle$fromPoints(a, b) {
         let left = dart.as(min(a.x, b.x), T);
         let width = dart.as(core.num['-'](max(a.x, b.x), left), T);
         let top = dart.as(min(a.y, b.y), T);
         let height = dart.as(core.num['-'](max(a.y, b.y), top), T);
         return new MutableRectangle(left, top, width, height);
       }
       get width() {
@@ skipping 45 matching lines @@
   math.exp = exp;
   math.log = log;
   math.Point = Point;
   math.Point$ = Point$;
   math.Random = Random;
   math.Rectangle = Rectangle;
   math.Rectangle$ = Rectangle$;
   math.MutableRectangle = MutableRectangle;
   math.MutableRectangle$ = MutableRectangle$;
 })(math || (math = {}));