Typecheck constructor initializers properly

test/checker/checker_test.dart

 // Copyright (c) 2015, 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.
 
 /// General type checking tests
 library ddc.test.checker_test;
 
 import 'package:unittest/compact_vm_config.dart';
 import 'package:unittest/unittest.dart';
 
@@ skipping 112 matching lines @@
           // check at construction.
           T x;
 
           // TODO(vsm): Should this be a different type of DownCast?
           T foo() => /*warning:DownCastLiteral*/null;
         }
       '''
     });
   });
 
+  test('Constructors', () {
+    testChecker({
+      '/main.dart': '''
+      const num z = 25;
+      Object obj = "world";
+
+      class A {
+        int x;
+        String y;
+
+        A(this.x) : this.y = /*severe:StaticTypeError*/42;
+
+        A.c1(p): this.x = /*info:DownCast*/z, this.y = /*info:DownCast*/p;
+
+        A.c2(this.x, this.y);
+
+        A.c3(/*severe:InvalidParameterDeclaration*/num this.x, String this.y);
+      }
+
+      class B extends A {
+        B() : super(/*severe:StaticTypeError*/"hello");
+
+        B.c2(int x, String y) : super.c2(/*severe:StaticTypeError*/y, 
+                                         /*severe:StaticTypeError*/x);
+
+        B.c3(num x, Object y) : super.c3(x, /*info:DownCast*/y);
+      }
+
+      void main() {
+         A a = new A.c2(/*info:DownCast*/z, /*severe:StaticTypeError*/z);
+         var b = new B.c2(/*severe:StaticTypeError*/"hello", /*info:DownCast*/obj);
+      }
+   '''
+    });
+  });
+
   test('Unbound variable', () {
     testChecker({
       '/main.dart': '''
       void main() {
          dynamic y = /*pass should be severe:StaticTypeError*/unboundVariable;
       }
    '''
     });
   });
 
@@ skipping 2460 matching lines @@
         '/main.dart': '''
             class A {}
             class T1 implements A {
                 /*severe:InferableOverride*/toString() {}
             }
          '''
       }, inferFromOverrides: false);
     });
   });
 }