Enable stricter dynamic-related analysis

analysis_options.yaml

@@ -8,6 +8,7 @@ analyzer:
   language:
     strict-casts: true
     strict-inference: true
+    strict-raw-types: true
 
 linter:
   rules:
@@ -28,6 +29,7 @@ linter:
 
     # correctness
     - always_declare_return_types
+    - avoid_annotating_with_dynamic
     - avoid_catching_errors
     - avoid_dynamic_calls
     - comment_references
@@ -41,4 +43,5 @@ linter:
 
     - omit_obvious_local_variable_types
     - specify_nonobvious_local_variable_types
-    - specify_nonobvious_property_types
+    - specify_nonobvious_property_types
+    - strict_top_level_inference

examples/travel_app/lib/src/tools/booking/booking_service.dart

@@ -24,17 +24,15 @@ class BookingService {
   }
 
   Future<HotelSearchResult> listHotels(HotelSearch search) async {
-    // ignore: inference_failure_on_instance_creation
-    await Future.delayed(const Duration(milliseconds: 100));
+    await Future<void>.delayed(const Duration(milliseconds: 100));
     return listHotelsSync(search);
   }
 
   Future<void> bookSelections(
     List<String> listingSelectionIds,
     String paymentMethodId,
   ) async {
-    // ignore: inference_failure_on_instance_creation
-    await Future.delayed(const Duration(milliseconds: 400));
+    await Future<void>.delayed(const Duration(milliseconds: 400));
   }
 
   /// Synchronous version for example data generation.

packages/genui/test/model/data_model_test.dart

@@ -148,9 +148,9 @@ void main() {
       });
 
       test('notifies on child updates', () {
-        final ValueNotifier<Map<dynamic, dynamic>?> notifier = dataModel
-            .subscribe<Map>(DataPath('/a'));
-        Map? value;
+        final ValueNotifier<Map<Object?, Object?>?> notifier = dataModel
+            .subscribe<Map<Object?, Object?>>(DataPath('/a'));
+        Map<Object?, Object?>? value;
         notifier.addListener(() => value = notifier.value);
         dataModel.update(DataPath('/a/b'), 1);
         expect(value, {'b': 1});
@@ -180,8 +180,8 @@ void main() {
       });
 
       test('does not notify on child updates', () {
-        final ValueNotifier<Map<dynamic, dynamic>?> notifier = dataModel
-            .subscribeToValue<Map>(DataPath('/a'));
+        final ValueNotifier<Map<Object?, Object?>?> notifier = dataModel
+            .subscribeToValue<Map<Object?, Object?>>(DataPath('/a'));
         var callCount = 0;
         notifier.addListener(() => callCount++);
         dataModel.update(DataPath('/a/b'), 1);
@@ -232,7 +232,10 @@ void main() {
             ],
           },
         ]);
-        expect(dataModel.getValue<Map>(DataPath('/d')), {'d1': 'v1', 'd2': 2});
+        expect(dataModel.getValue<Map<Object?, Object?>>(DataPath('/d')), {
+          'd1': 'v1',
+          'd2': 2,
+        });
       });
 
       test('is permissive with multiple value types', () {
@@ -304,7 +307,9 @@ void main() {
 
     test('Empty path on getValue returns current data', () {
       dataModel.update(DataPath('/a'), {'b': 1});
-      expect(dataModel.getValue<Map>(DataPath('/a')), {'b': 1});
+      expect(dataModel.getValue<Map<Object?, Object?>>(DataPath('/a')), {
+        'b': 1,
+      });
     });
 
     test('Nested structures are created automatically', () {

packages/genui_dartantic/example/lib/src/jumping_dots.dart

@@ -55,9 +55,11 @@ class _JumpingDotsState extends State<JumpingDots>
           controller.reverse();
         }
       });
-      await Future.delayed(const Duration(milliseconds: 100)); // Stagger delay
+      await Future<void>.delayed(
+        const Duration(milliseconds: 100),
+      ); // Stagger delay
     }
-    await Future.delayed(
+    await Future<void>.delayed(
       const Duration(milliseconds: 1000),
     ); // Delay between loops
     if (mounted) _startAnimations(); // Loop

packages/genui_dartantic/test/dartantic_schema_adapter_test.dart

@@ -116,7 +116,7 @@ void main() {
       final result = adaptSchema(schema);
 
       expect(result, isNotNull);
-      expect(result!.schemaMap!['anyOf'], isA<List>());
+      expect(result!.schemaMap!['anyOf'], isA<List<Object?>>());
     });
   });
 }

packages/json_schema_builder/lib/src/schema_registry.dart

@@ -97,7 +97,7 @@ class SchemaRegistry {
       _registerIds(Schema.fromMap(map), baseUri);
     }
 
-    void recurseOnList(List list) {
+    void recurseOnList(List<Object?> list) {
       for (final item in list) {
         if (item is Map<String, Object?>) {
           recurseOnMap(item);
@@ -144,7 +144,7 @@ class SchemaRegistry {
     // Keywords with list-of-schemas values
     const listOfSchemasKeywords = ['allOf', 'anyOf', 'oneOf', 'prefixItems'];
     for (final keyword in listOfSchemasKeywords) {
-      if (schema.value[keyword] case final List list) {
+      if (schema.value[keyword] case final List<Object?> list) {
         recurseOnList(list);
       }
     }

packages/json_schema_builder/lib/src/schema_validation.dart

@@ -352,7 +352,7 @@ extension SchemaValidation on Schema {
     }
 
     // 2. Schema Combiners: allOf, anyOf, oneOf, not
-    if (allOf case final List allOfList?) {
+    if (allOf case final List<Object?> allOfList) {
       final allOfAnnotations = <AnnotationSet>[];
       for (final subSchema in allOfList) {
         final ValidationResult result = await validateSubSchema(
@@ -370,7 +370,7 @@ extension SchemaValidation on Schema {
       allAnnotations = allAnnotations.mergeAll(allOfAnnotations);
     }
 
-    if (anyOf case final List anyOfList?) {
+    if (anyOf case final List<Object?> anyOfList) {
       var passedCount = 0;
       final anyOfAnnotations = <AnnotationSet>[];
       final allAnyOfErrors = <ValidationError>[];
@@ -397,7 +397,7 @@ extension SchemaValidation on Schema {
       allAnnotations = allAnnotations.mergeAll(anyOfAnnotations);
     }
 
-    if (oneOf case final List oneOfList?) {
+    if (oneOf case final List<Object?> oneOfList) {
       var passedCount = 0;
       AnnotationSet? oneOfAnnotations;
       for (final subSchema in oneOfList) {
@@ -590,7 +590,7 @@ extension SchemaValidation on Schema {
         );
       case JsonType.list:
         return await (this as ListSchema).validateList(
-          data as List,
+          data as List<Object?>,
           currentPath,
           context,
           dynamicScope,
@@ -895,7 +895,7 @@ extension SchemaValidation on Schema {
   /// This method is called by [validateTypeSpecificKeywords] when the data is
   /// a [List].
   Future<ValidationResult> validateList(
-    List data,
+    List<Object?> data,
     List<String> currentPath,
     ValidationContext context,
     List<Schema> dynamicScope,

tool/fix_copyright/test/fix_copyright_test.dart

@@ -388,7 +388,7 @@ class FakeProcessManager implements ProcessManager {
   final List<List<String>> commands = [];
 
   @override
-  bool canRun(dynamic executable, {String? workingDirectory}) => true;
+  bool canRun(Object? executable, {String? workingDirectory}) => true;
 
   @override
   bool killPid(int pid, [ProcessSignal signal = ProcessSignal.sigterm]) => true;