Revert "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 d31dcd434f2c870b226688614d3cc4104e7f7121..881ad8f9b8f9232b7bcd667187a39b33d9cf6407 100644
--- a/pkg/analyzer/test/src/summary/resynthesize_test.dart
+++ b/pkg/analyzer/test/src/summary/resynthesize_test.dart
@@ -4107,7 +4107,9 @@ void f<T, U>() {
     checkLibrary('class C { bool operator<=(C other) => false; }');
   }
 
-  test_parameterType_inferred_constructor() {
+  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.
     checkLibrary('''
 class C {
   C.positional([x = 1]);
@@ -4116,31 +4118,36 @@ class C {
 ''');
   }
 
-  test_parameterType_inferred_staticMethod() {
+  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 {
-  static void positional([x = 1]) {}
-  static void named({x: 1}) {}
+  var x;
+  C.positional([this.x = 1]);
+  C.named({this.x: 1});
 }
 ''');
   }
 
-  test_parameterType_inferred_topLevelFunction() {
+  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.
     checkLibrary('''
-void positional([x = 1]) {}
-void named({x: 1}) {}
+class C {
+  static void positional([x = 1]) {}
+  static 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.
+  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.
     checkLibrary('''
-class C {
-  var x;
-  C.positional([this.x = 1]);
-  C.named({this.x: 1});
-}
+void positional([x = 1]) {}
+void named({x: 1}) {}
 ''');
   }