fix #25794, infer parameter type from default value

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

Index: pkg/analyzer/test/src/summary/resynthesize_test.dart
diff --git a/pkg/analyzer/test/src/summary/resynthesize_test.dart b/pkg/analyzer/test/src/summary/resynthesize_test.dart
index 881ad8f9b8f9232b7bcd667187a39b33d9cf6407..d31dcd434f2c870b226688614d3cc4104e7f7121 100644
--- a/pkg/analyzer/test/src/summary/resynthesize_test.dart
+++ b/pkg/analyzer/test/src/summary/resynthesize_test.dart
@@ -4107,9 +4107,7 @@ void f<T, U>() {
     checkLibrary('class C { bool operator<=(C other) => false; }');
   }
 
-  test_parameterTypeNotInferred_constructor() {
-    // Strong mode doesn't do type inference on constructor parameters, so it's
-    // ok that we don't store inferred type info for them in summaries.
+  test_parameterType_inferred_constructor() {
     checkLibrary('''
 class C {
   C.positional([x = 1]);
@@ -4118,21 +4116,7 @@ class C {
 ''');
   }
 
-  test_parameterTypeNotInferred_initializingFormal() {
-    // Strong mode doesn't do type inference on initializing formals, so it's
-    // ok that we don't store inferred type info for them in summaries.
-    checkLibrary('''
-class C {
-  var x;
-  C.positional([this.x = 1]);
-  C.named({this.x: 1});
-}
-''');
-  }
-
-  test_parameterTypeNotInferred_staticMethod() {
-    // Strong mode doesn't do type inference on parameters of static methods,
-    // so it's ok that we don't store inferred type info for them in summaries.
+  test_parameterType_inferred_staticMethod() {
     checkLibrary('''
 class C {
   static void positional([x = 1]) {}
@@ -4141,16 +4125,25 @@ class C {
 ''');
   }
 
-  test_parameterTypeNotInferred_topLevelFunction() {
-    // Strong mode doesn't do type inference on parameters of top level
-    // functions, so it's ok that we don't store inferred type info for them in
-    // summaries.
+  test_parameterType_inferred_topLevelFunction() {
     checkLibrary('''
 void positional([x = 1]) {}
 void named({x: 1}) {}
 ''');
   }
 
+  test_parameterTypeNotInferred_initializingFormal() {
+    // Strong mode doesn't do type inference on initializing formals, so it's
+    // ok that we don't store inferred type info for them in summaries.
+    checkLibrary('''
+class C {
+  var x;
+  C.positional([this.x = 1]);
+  C.named({this.x: 1});
+}
+''');
+  }
+
   test_parts() {
     addSource('/a.dart', 'part of my.lib;');
     addSource('/b.dart', 'part of my.lib;');