Fix type annotations on local variables.

sdk/lib/_internal/compiler/implementation/resolution/members.dart

 // Copyright (c) 2012, 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.
 
 part of resolution;
 
 abstract class TreeElements {
   Element operator[](Node node);
   Selector getSelector(Send send);
   DartType getType(Node node);
@@ skipping 2042 matching lines @@
   }
 
   visitThrow(Throw node) {
     if (!inCatchBlock && node.expression == null) {
       error(node, MessageKind.THROW_WITHOUT_EXPRESSION);
     }
     visit(node.expression);
   }
 
   visitVariableDefinitions(VariableDefinitions node) {
-    visit(node.type);
     VariableDefinitionsVisitor visitor =
         new VariableDefinitionsVisitor(compiler, node, this,
                                        ElementKind.VARIABLE);
+    // Ensure that we set the type of the [VariableListElement] since it depends
+    // the current scope. If the current scope is a [MethodScope] or

[ngeoffray, 2012/12/09 20:46:56]

it depends *on* the current scope.

[Johnni Winther, 2012/12/11 14:22:58]

Done in https://codereview.chromium.org/11415287/

+    // [BlockScope] it will not be available for the
+    // [VariableListElement.computeType] method.
+    if (node.type != null) {
+      visitor.variables.type = resolveTypeAnnotation(node.type);
+    } else {
+      visitor.variables.type = compiler.types.dynamicType;
+    }
     visitor.visit(node.definitions);
   }
 
   visitWhile(While node) {
     visit(node.condition);
     visitLoopBodyIn(node, node.body, new BlockScope(scope));
   }
 
   visitParenthesizedExpression(ParenthesizedExpression node) {
     visit(node.expression);
@@ skipping 1141 matching lines @@
     return e;
   }
 
   /// Assumed to be called by [resolveRedirectingFactory].
   Element visitReturn(Return node) {
     Node expression = node.expression;
     return finishConstructorReference(visit(expression),
                                       expression, expression);
   }
 }