Frontend: Allow -enable-experimental-feature to specify upcoming features.

During the lifecycle of a feature, it may start as an experimental feature and
then graduate to become an upcoming feature. To preserve compatibility with
projects that adopted the feature when it was experimental,
`-enable-experimental-feature` ought to be able to enable upcoming features,
too.

Since projects may use `-enable-experimental-feature` for compatibility with an
older toolchain that does not have the feature as an upcoming feature, there is
no warning when the flag is used to enable an upcoming feature.

Resolves rdar://134276783.

Author: tshortli

lib/Frontend/CompilerInvocation.cpp

@@ -1014,6 +1014,21 @@ static bool ParseLangArgs(LangOptions &Opts, ArgList &Args,
     Opts.EnableExperimentalStringProcessing = true;
   }
 
+  auto enableUpcomingFeature = [&Opts, &Diags](Feature feature) -> bool {
+    // Check if this feature was introduced already in this language version.
+    if (auto firstVersion = getFeatureLanguageVersion(feature)) {
+      if (Opts.isSwiftVersionAtLeast(*firstVersion)) {
+        Diags.diagnose(SourceLoc(), diag::error_upcoming_feature_on_by_default,
+                       getFeatureName(feature), *firstVersion);
+        return true;
+      }
+    }
+
+    Opts.enableFeature(feature);
+    return false;
+  };
+
+  // Enable experimental features.
   for (const Arg *A : Args.filtered(OPT_enable_experimental_feature)) {
     // Allow StrictConcurrency to have a value that corresponds to the
     // -strict-concurrency=<blah> settings.
@@ -1040,12 +1055,14 @@ static bool ParseLangArgs(LangOptions &Opts, ArgList &Args,
       } else {
         Opts.enableFeature(*feature);
       }
+    }
 
-      if (*feature == Feature::NoncopyableGenerics2)
-        Opts.enableFeature(Feature::NoncopyableGenerics);
-
-      if (*feature == Feature::IsolatedAny2)
-        Opts.enableFeature(Feature::IsolatedAny);
+    // For compatibility, upcoming features can be enabled with the
+    // -enable-experimental-feature flag too since the feature may have
+    // graduated from being experimental.
+    if (auto feature = getUpcomingFeature(value)) {
+      if (enableUpcomingFeature(*feature))
+        HadError = true;
     }
 
     // Hack: In order to support using availability macros in SPM packages, we
@@ -1062,24 +1079,15 @@ static bool ParseLangArgs(LangOptions &Opts, ArgList &Args,
     }
   }
 
-  // Map historical flags over to future features.
+  // Enable upcoming features.
   for (const Arg *A : Args.filtered(OPT_enable_upcoming_feature)) {
     // Ignore unknown features.
     auto feature = getUpcomingFeature(A->getValue());
     if (!feature)
       continue;
 
-    // Check if this feature was introduced already in this language version.
-    if (auto firstVersion = getFeatureLanguageVersion(*feature)) {
-      if (Opts.isSwiftVersionAtLeast(*firstVersion)) {
-        Diags.diagnose(SourceLoc(), diag::error_upcoming_feature_on_by_default,
-                       A->getValue(), *firstVersion);
-        continue;
-      }
-    }
-
-    // Add the feature.
-    Opts.enableFeature(*feature);
+    if (enableUpcomingFeature(*feature))
+      HadError = true;
   }
 
   // Map historical flags over to experimental features. We do this for all

test/Frontend/upcoming_feature.swift

@@ -12,9 +12,13 @@
 // RUN: %target-swift-frontend -typecheck -enable-upcoming-feature ConciseMagicFile -enable-upcoming-feature UnknownFeature %s
 // RUN: %target-swift-frontend -typecheck -enable-upcoming-feature UnknownFeature -enable-upcoming-feature ConciseMagicFile %s
 
+// For compatibility when a feature graduates, it's fine to refer to an
+// upcoming feature as an experimental feature.
+// RUN: %target-swift-frontend -typecheck -enable-experimental-feature ConciseMagicFile %s
 
 // It's not fine to provide a feature that's in the specified language version.
 // RUN: not %target-swift-frontend -typecheck -enable-upcoming-feature ConciseMagicFile -swift-version 6 %s 2>&1 | %FileCheck %s
+// RUN: not %target-swift-frontend -typecheck -enable-experimental-feature ConciseMagicFile -swift-version 6 %s 2>&1 | %FileCheck %s
 
 // CHECK: error: upcoming feature 'ConciseMagicFile' is already enabled as of Swift version 6
 

test/Sema/access-level-import-flag-check.swift

@@ -19,7 +19,6 @@
 // RUN: %target-swift-frontend -typecheck %t/ClientWithoutTheFlag.swift -I %t \
 // RUN:   -enable-upcoming-feature InternalImportsByDefault \
 // RUN:   -package-name package -verify
-// REQUIRES: asserts
 
 /// swiftinterfaces don't need the flag.
 // RUN: %target-swift-typecheck-module-from-interface(%t/Client.swiftinterface) -I %t

test/type/explicit_existential.swift

@@ -1,6 +1,7 @@
 // RUN: %target-typecheck-verify-swift -verify-additional-prefix default-swift-mode-
 // RUN: %target-typecheck-verify-swift -swift-version 6 -verify-additional-prefix swift-6-
 // RUN: %target-typecheck-verify-swift -enable-upcoming-feature ExistentialAny -verify-additional-prefix explicit-any- -verify-additional-prefix default-swift-mode-
+// RUN: %target-typecheck-verify-swift -enable-experimental-feature ExistentialAny -verify-additional-prefix explicit-any- -verify-additional-prefix default-swift-mode-
 
 
 protocol HasSelfRequirements {