[LangOptions] Remove the option to enable/disable implicit existential

opening.

Author: hborla

include/swift/Basic/LangOptions.h

@@ -334,10 +334,6 @@ namespace swift {
     /// `func f() -> <T> T`.
     bool EnableExperimentalNamedOpaqueTypes = false;
 
-    /// Enable support for implicitly opening existential argument types
-    /// in calls to generic functions.
-    bool EnableOpenedExistentialTypes = false;
-
     /// Enable experimental flow-sensitive concurrent captures.
     bool EnableExperimentalFlowSensitiveConcurrentCaptures = false;
 

lib/Frontend/CompilerInvocation.cpp

@@ -456,11 +456,6 @@ static bool ParseLangArgs(LangOptions &Opts, ArgList &Args,
   Opts.EnableExperimentalNamedOpaqueTypes |=
       Args.hasArg(OPT_enable_experimental_named_opaque_types);
 
-  Opts.EnableOpenedExistentialTypes =
-    Args.hasFlag(OPT_enable_experimental_opened_existential_types,
-                 OPT_disable_experimental_opened_existential_types,
-                 true);
-
   Opts.EnableExperimentalVariadicGenerics |=
     Args.hasArg(OPT_enable_experimental_variadic_generics);
 

lib/Sema/CSSimplify.cpp

@@ -1519,10 +1519,6 @@ shouldOpenExistentialCallArgument(
   if (isa_and_nonnull<clang::FunctionTemplateDecl>(callee->getClangDecl()))
     return None;
 
-  ASTContext &ctx = callee->getASTContext();
-  if (!ctx.LangOpts.EnableOpenedExistentialTypes)
-    return None;
-
   // The actual parameter type needs to involve a type variable, otherwise
   // type inference won't be possible.
   if (!paramTy->hasTypeVariable())

test/Constraints/openExistential.swift

@@ -1,5 +1,4 @@
 // RUN: %target-typecheck-verify-swift
-// RUN: %target-typecheck-verify-swift -enable-experimental-opened-existential-types
 
 protocol P { }
 

test/Constraints/opened_existentials.swift

@@ -1,4 +1,4 @@
-// RUN: %target-typecheck-verify-swift -enable-experimental-opened-existential-types
+// RUN: %target-typecheck-verify-swift
 
 protocol Q { }
 

test/Constraints/opened_existentials_suppression.swift

@@ -1,4 +1,4 @@
-// RUN: %target-swift-frontend -enable-experimental-opened-existential-types -typecheck -dump-ast -parse-as-library %s | %FileCheck %s
+// RUN: %target-swift-frontend -typecheck -dump-ast -parse-as-library %s | %FileCheck %s
 
 protocol P { }
 extension Optional: P where Wrapped: P { }

test/Constraints/result_builder_availability.swift

@@ -1,5 +1,4 @@
 // RUN: %target-typecheck-verify-swift -target %target-cpu-apple-macosx10.50
-// RUN: %target-typecheck-verify-swift -target %target-cpu-apple-macosx10.50 -enable-experimental-opened-existential-types
 
 // REQUIRES: OS=macosx
 

test/Generics/existential_restrictions.swift

@@ -1,4 +1,4 @@
-// RUN: %target-typecheck-verify-swift -enable-objc-interop -disable-experimental-opened-existential-types
+// RUN: %target-typecheck-verify-swift -enable-objc-interop
 
 protocol P { }
 @objc protocol OP { }
@@ -8,14 +8,14 @@ protocol CP : class { }
   static func createNewOne() -> SP
 }
 
-func fP<T : P>(_ t: T) { }
+func fP<T : P>(_ t: T?) { }
 // expected-note@-1 {{required by global function 'fP' where 'T' = 'any P'}}
 // expected-note@-2 {{required by global function 'fP' where 'T' = 'any OP & P'}}
-func fOP<T : OP>(_ t: T) { }
+func fOP<T : OP>(_ t: T?) { }
 // expected-note@-1 {{required by global function 'fOP' where 'T' = 'any OP & P'}}
 func fOPE(_ t: OP) { }
-func fSP<T : SP>(_ t: T) { }
-func fAO<T : AnyObject>(_ t: T) { }
+func fSP<T : SP>(_ t: T?) { }
+func fAO<T : AnyObject>(_ t: T?) { }
 // expected-note@-1 {{where 'T' = 'any P'}}
 // expected-note@-2 {{where 'T' = 'any CP'}}
 // expected-note@-3 {{where 'T' = 'any OP & P'}}

test/Interop/Cxx/templates/function-template.swift

@@ -1,5 +1,4 @@
 // RUN: %target-run-simple-swift(-I %S/Inputs -Xfrontend -enable-cxx-interop)
-// RUN: %target-run-simple-swift(-I %S/Inputs -Xfrontend -enable-cxx-interop -Xfrontend -enable-experimental-opened-existential-types)
 //
 // REQUIRES: executable_test
 

test/SILGen/opened_existentials.swift

@@ -1,4 +1,4 @@
-// RUN: %target-swift-emit-silgen -enable-experimental-opened-existential-types %s | %FileCheck %s
+// RUN: %target-swift-emit-silgen %s | %FileCheck %s
 
 public protocol P { }