Typecheck constructor initializers properly

lib/src/info.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.
 
 /// Defines static information collected by the type checker and used later by
 /// emitters to generate code.
 library ddc.src.info;
 
 import 'dart:mirrors';
 
@@ skipping 356 matching lines @@
 class InvalidVariableDeclaration extends StaticError {
   final DartType expectedType;
 
   InvalidVariableDeclaration(
       TypeRules rules, AstNode declaration, this.expectedType)
       : super(declaration);
 
   String get message => 'Type check failed: null is not of type $expectedType';
 }
 
+class InvalidParameterDeclaration extends StaticError {
+  final DartType expectedType;
+
+  InvalidParameterDeclaration(
+      TypeRules rules, FormalParameter declaration, this.expectedType)
+      : super(declaration);
+
+  String get message => 'Type check failed: $node is not of type $expectedType';
+}
+
 class InvalidRuntimeCheckError extends StaticError {
   final DartType type;
 
   InvalidRuntimeCheckError(AstNode node, this.type) : super(node) {
     assert(node is IsExpression || node is AsExpression);
   }
 
   String get message => "Invalid runtime check on non-ground type $type";
 }
 
@@ skipping 182 matching lines @@
   for (var cls in lib.declarations.values.where((d) => d is ClassMirror)) {
     if (cls.isSubtypeOf(infoMirror)) {
       allTypes.add(cls);
       baseTypes.add(cls.superclass);
     }
   }
   allTypes.removeAll(baseTypes);
   return new List<Type>.from(allTypes.map((mirror) => mirror.reflectedType))
     ..sort((t1, t2) => '$t1'.compareTo('$t2'));
 }();