feat: strict_top_level_inference

dart-lang/sdk#59562

Author: mockturtl

CHANGELOG.md

@@ -2,6 +2,7 @@
 
 **Prerelease**
 
+- `strict_top_level_inference` [dart-lang/sdk#59562][]
 - REMOVE: `package_api_docs` [dart-lang/sdk#59554][]
 - REMOVE: `unsafe_html` [dart-lang/sdk#57099][]
 
@@ -244,4 +245,5 @@ No changes.
 [dart-lang/linter#4904]: https://github.com/dart-lang/linter/issues/4904
 [dart-lang/sdk#54278]: https://github.com/dart-lang/sdk/issues/54278
 [dart-lang/sdk#57099]: https://github.com/dart-lang/sdk/issues/57099
-[dart-lang/sdk#59554]: https://github.com/dart-lang/sdk/issues/59554
+[dart-lang/sdk#59554]: https://github.com/dart-lang/sdk/issues/59554
+[dart-lang/sdk#59562]: https://github.com/dart-lang/sdk/issues/59562

lib/analysis_options.3.7.0.yaml

@@ -171,6 +171,7 @@ linter:
     #    - sort_pub_dependencies  # conflicts with grouping local packages separately.  Do keep groups sorted.
     - sort_unnamed_constructors_first
     #    - specify_nonobvious_local_variable_types  # conflicts: omit_local_variable_types
+    - strict_top_level_inference
     - test_types_in_equals
     - throw_in_finally
     - tighten_type_of_initializing_formals