Type check initializer lists.

sdk/lib/_internal/compiler/implementation/elements/modelx.dart

 // Copyright (c) 2013, 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.
 
 library elements.modelx;
 
 import 'dart:collection' show LinkedHashMap;
 
 import 'elements.dart';
 import '../../compiler.dart' as api;
@@ skipping 950 matching lines @@
  */
 class FieldParameterElementX extends VariableElementX
     implements FieldParameterElement {
   VariableElement fieldElement;
 
   FieldParameterElementX(SourceString name,
                          this.fieldElement,
                          VariableListElement variables,
                          Node node)
       : super(name, variables, ElementKind.FIELD_PARAMETER, node);
+
+  DartType computeType(Compiler compiler) {
+    VariableDefinitions definitions = variables.parseNode(compiler);
+    if (definitions.type == null && !definitions.modifiers.isVar()) {

[ngeoffray, 2013/07/12 09:34:03]

Maybe add a comment on where in the spec this is?

+      return fieldElement.computeType(compiler);
+    }
+    return super.computeType(compiler);
+  }
 }
 
 // This element represents a list of variable or field declaration.
 // It contains the node, and the type. A [VariableElement] always
 // references its [VariableListElement]. It forwards its
 // [computeType] and [parseNode] methods to this element.
 class VariableListElementX extends ElementX implements VariableListElement {
   VariableDefinitions cachedNode;
   DartType type;
   final Modifiers modifiers;
@@ skipping 1227 matching lines @@
 
   MetadataAnnotation ensureResolved(Compiler compiler) {
     if (resolutionState == STATE_NOT_STARTED) {
       compiler.resolver.resolveMetadataAnnotation(this);
     }
     return this;
   }
 
   String toString() => 'MetadataAnnotation($value, $resolutionState)';
 }