@@ -130,6 +130,17 @@ class NodeBuilder extends GeneralizingAstVisitor<DecoratedType> {
     return null;
   }
 
+  @override
+  DecoratedType visitDeclaredIdentifier(DeclaredIdentifier node) {
+    node.metadata.accept(this);
+    DecoratedType type = node.type?.accept(this);
+    if (node.identifier != null) {
+      _variables.recordDecoratedElementType(
+          node.identifier.staticElement, type);
+    }
+    return type;
+  }
+
   @override
   DecoratedType visitDefaultFormalParameter(DefaultFormalParameter node) {
     var decoratedType = node.parameter.accept(this);
 
@@ -993,6 +993,15 @@ class C {
         decoratedTypeAnnotation('int i').node);
   }
 
+  test_for_with_declaration() async {
+    await analyze('''
+main() {
+  for (int i in <int>[1, 2, 3]) { print(i); }
+}
+''');
+    // No assertions; just checking that it doesn't crash.
+  }
+
   test_function_assignment() async {
     await analyze('''
 class C {