Issue 28862. Implement type inference for invokeConstructor with field formal parameter.

pkg/analyzer/test/src/summary/resynthesize_ast_test.dart

 // Copyright (c) 2016, 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 analyzer.test.src.summary.resynthesize_ast_test;
 
 import 'package:analyzer/dart/ast/ast.dart';
 import 'package:analyzer/dart/element/element.dart';
 import 'package:analyzer/error/error.dart';
 import 'package:analyzer/src/dart/element/element.dart';
@@ skipping 141 matching lines @@
     variablesWithNotConstInitializers.add('a2');
     super.test_canInferAlsoFromStaticAndInstanceFieldsFlagOn();
   }
 
   @override
   @failingTest
   void test_circularReference_viaClosures_initializerTypes() {
     super.test_circularReference_viaClosures_initializerTypes();
   }
 
-  @override
-  @failingTest
-  void test_constructors_inferFromArguments() {
-    // TODO(jmesserly): does this need to be implemented in AST summaries?
-    // The test might need a change as well to not be based on local variable
-    // types, which don't seem to be available.
-    super.test_constructors_inferFromArguments();
-  }
-
-  @override
-  @failingTest
-  void test_constructors_inferFromArguments_const() {
-    super.test_constructors_inferFromArguments_const();
-  }
-
   void test_infer_extractIndex_custom() {
     var unit = checkFile('''
 class A {
   String operator [](_) => null;
 }
 var a = new A();
 var b = a[0];
   ''');
     expect(unit.topLevelVariables[1].type.toString(), 'String');
   }
@@ skipping 733 matching lines @@
   }
 
   @override
   DartSdk createDartSdk() => AbstractContextTest.SHARED_MOCK_SDK;
 
   @override
   TestSummaryResynthesizer encodeDecodeLibrarySource(Source source) {
     return _encodeLibrary(source);
   }
 }