Implement type inference for PropertySet.

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 84 matching lines @@
       return;
     }
 
     LibraryElement library = element.library;
     if (library == null) {
       throw new StateError('Unexpected element without library: $element');
     }
     String libraryName = library.name;
 
     String name = element.name ?? '';
+    if (name.endsWith('=') &&
+        element is PropertyAccessorElement &&
+        element.isSetter) {
+      name = name.substring(0, name.length - 1);
+    }
     if (libraryName != 'dart.core' &&
         libraryName != 'dart.async' &&
         libraryName != 'test') {
       buffer.write('$libraryName::');
     }
     var enclosing = element.enclosingElement;
     if (enclosing is ClassElement) {
       buffer.write('${enclosing.name}::');
       if (currentFactoryConstructor != null &&
-          identical(enclosing, currentFactoryConstructor.enclosingElement)) {
+          identical(enclosing, currentFactoryConstructor.enclosingElement) &&
+          element is TypeParameterElement) {
         String factoryConstructorName = currentFactoryConstructor.name;
         if (factoryConstructorName == '') {
           factoryConstructorName = '•';
         }
         buffer.write('$factoryConstructorName::');
       }
     }
     buffer.write('$name');
   }
 }
@@ skipping 11 matching lines @@
 
     provider.newFile(path, code);
 
     AnalysisResult result = await driver.getResult(path);
     result.unit.accept(new _InstrumentationVisitor(validation, uri));
 
     validation.finish();
 
     if (validation.hasProblems) {
       if (fixProblems) {
-        validation.fixSource(uri);
+        validation.fixSource(uri, true);
         return null;
       } else {
         return validation.problemsAsString;
       }
     } else {
       return null;
     }
   }
 }
 
@@ skipping 230 matching lines @@
         _recordTypeArguments(node.methodName.offset, inferredTypeArguments);
       }
     }
   }
 
   @override
   visitPrefixedIdentifier(PrefixedIdentifier node) {
     super.visitPrefixedIdentifier(node);
     if (node.prefix.staticElement is! PrefixElement &&
         node.prefix.staticElement is! ClassElement) {
-      if (node.identifier.inGetterContext()) {
+      if (node.identifier.inGetterContext() ||
+          node.identifier.inSetterContext()) {
         _recordTarget(node.identifier.offset, node.identifier.staticElement);
       }
     }
   }
 
   visitPrefixExpression(PrefixExpression node) {
     super.visitPrefixExpression(node);
     _recordTarget(node.operator.charOffset, node.staticElement);
   }
 
   @override
   visitPropertyAccess(PropertyAccess node) {
     super.visitPropertyAccess(node);
-    if (node.propertyName.inGetterContext()) {
+    if (node.propertyName.inGetterContext() ||
+        node.propertyName.inSetterContext()) {
       _recordTarget(node.propertyName.offset, node.propertyName.staticElement);
     }
   }
 
   visitSimpleIdentifier(SimpleIdentifier node) {
     super.visitSimpleIdentifier(node);
     Element element = node.staticElement;
     void recordPromotions(DartType elementType) {
       if (node.inGetterContext() && !node.inDeclarationContext()) {
         int offset = node.offset;
@@ skipping 63 matching lines @@
 
   /// Based on DDC code generator's `_recoverTypeArguments`
   Iterable<DartType> _recoverTypeArguments(FunctionType g, FunctionType f) {
     assert(identical(g.element, f.element));
     assert(g.typeFormals.isNotEmpty && f.typeFormals.isEmpty);
     assert(g.typeFormals.length + g.typeArguments.length ==
         f.typeArguments.length);
     return f.typeArguments.skip(g.typeArguments.length);
   }
 }