Fix annotation of promoted parameters in Fasta inference tests.

pkg/analyzer/test/src/task/strong/front_end_inference_test.dart

 // Copyright (c) 2017, 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.
 
 import 'dart:async';
 import 'dart:convert';
 import 'dart:io';
 
 import 'package:analyzer/dart/ast/ast.dart';
 import 'package:analyzer/dart/ast/visitor.dart';
@@ skipping 258 matching lines @@
       DartType type = node.staticType;
       if (type is InterfaceType) {
         _recordTypeArguments(node.offset, type.typeArguments);
       }
     }
   }
 
   visitSimpleIdentifier(SimpleIdentifier node) {
     super.visitSimpleIdentifier(node);
     Element element = node.staticElement;
-    if (element is LocalVariableElement && node.inGetterContext()) {
-      int offset = node.offset;
-      DartType type = node.staticType;
-      if (identical(type, element.type)) {
-        _instrumentation.record(uri, offset, 'promotedType',
-            const fasta.InstrumentationValueLiteral('none'));
-      } else {
-        _instrumentation.record(uri, offset, 'promotedType',
-            new _InstrumentationValueForType(type));
+    void recordPromotions(DartType elementType) {
+      if (node.inGetterContext() && !node.inDeclarationContext()) {
+        int offset = node.offset;
+        DartType type = node.staticType;
+        if (identical(type, elementType)) {
+          _instrumentation.record(uri, offset, 'promotedType',
+              const fasta.InstrumentationValueLiteral('none'));
+        } else {
+          _instrumentation.record(uri, offset, 'promotedType',
+              new _InstrumentationValueForType(type));
+        }
       }
     }
+
+    if (element is LocalVariableElement) {
+      recordPromotions(element.type);
+    } else if (element is ParameterElement) {
+      recordPromotions(element.type);
+    }
   }
 
   visitVariableDeclarationList(VariableDeclarationList node) {
     super.visitVariableDeclarationList(node);
     if (node.type == null) {
       for (VariableDeclaration variable in node.variables) {
         VariableElement element = variable.element;
         if (element is LocalVariableElement) {
           _recordType(variable.name.offset, element.type);
         } else {
@@ skipping 11 matching lines @@
   void _recordType(int offset, DartType type) {
     _instrumentation.record(
         uri, offset, 'type', new _InstrumentationValueForType(type));
   }
 
   void _recordTypeArguments(int offset, List<DartType> typeArguments) {
     _instrumentation.record(uri, offset, 'typeArgs',
         new _InstrumentationValueForTypeArgs(typeArguments));
   }
 }