fix #25573, add option to disable implicit dynamic

pkg/analyzer/lib/src/generated/engine.dart

Index: pkg/analyzer/lib/src/generated/engine.dart
diff --git a/pkg/analyzer/lib/src/generated/engine.dart b/pkg/analyzer/lib/src/generated/engine.dart
index 69df7ab5d5f139b08e6867dbe6e452a0a22d13e8..706541ab2a3ec91a3b88907769e77d6efdef413a 100644
--- a/pkg/analyzer/lib/src/generated/engine.dart
+++ b/pkg/analyzer/lib/src/generated/engine.dart
@@ -1315,6 +1315,18 @@ class AnalysisOptionsImpl implements AnalysisOptions {
   bool finerGrainedInvalidation = false;
 
   /**
+   * A flag indicating whether implicit dynamic type is allowed, on by default.
+   *
+   * This flag can be used without necessarily enabling [strongMode], but it is
+   * designed with strong mode's type inference in mind. Without type inference,
+   * it will raise many errors. Also it does not provide type safety without
+   * strong mode.
+   *
+   * This option is experimental and subject to change.
+   */
+  bool implicitDynamic = true;
+
+  /**
    * Initialize a newly created set of analysis options to have their default
    * values.
    */
@@ -1346,6 +1358,7 @@ class AnalysisOptionsImpl implements AnalysisOptions {
     if (options is AnalysisOptionsImpl) {
       strongModeHints = options.strongModeHints;
       implicitCasts = options.implicitCasts;
+      implicitDynamic = options.implicitDynamic;
     }
     trackCacheDependencies = options.trackCacheDependencies;
     finerGrainedInvalidation = options.finerGrainedInvalidation;