[NFC] Merge test/type/explicit_existential & test/type/explicit_existential_swift6

Author: AnthonyLatsis

test/type/explicit_existential.swift

@@ -1,4 +1,7 @@
-// RUN: %target-typecheck-verify-swift -enable-experimental-feature NoncopyableGenerics
+// 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-
+
 
 protocol HasSelfRequirements {
   func foo(_ x: Self)
@@ -11,6 +14,11 @@ protocol Bar {
   func bar() -> any Bar
 }
 
+class Bistro {
+  convenience init(_: Bar){ self.init()} // expected-explicit-any-error{{use of protocol 'Bar' as a type must be written 'any Bar'}}{{23-26=any Bar}}
+  class func returnBar() -> Bar {} // expected-explicit-any-error {{use of protocol 'Bar' as a type must be written 'any Bar'}}{{29-32=any Bar}}
+}
+
 func useBarAsType(_ x: any Bar) {}
 
 protocol Pub : Bar { }
@@ -64,7 +72,7 @@ protocol HasAssoc {
 
 do {
   enum MyError: Error {
-    case bad(Any)
+    case bad(Any) // expected-swift-6-error {{associated value 'bad' of 'Sendable'-conforming enum 'MyError' has non-sendable type 'Any'}}
   }
 
   func checkIt(_ js: Any) throws {
@@ -88,6 +96,8 @@ func testHasAssoc(_ x: Any, _: any HasAssoc) {
     func foo() {}
 
     func method() -> any HasAssoc {}
+    func existentialArray() ->  [any HasAssoc] {}
+    func existentialcSequence() ->  any Sequence<any HasAssoc> {}
   }
 }
 
@@ -137,6 +147,21 @@ struct OuterGeneric<T> {
   func contextuallyGenericMethod() where T == any HasAssoc {}
 }
 
+protocol Collection<T> {
+  associatedtype T
+}
+
+struct TestParameterizedProtocol<T> : Collection {
+  typealias T = T
+
+  let x : Collection<T> // expected-error {{use of protocol 'Collection<T>' as a type must be written 'any Collection<T>'}}
+}
+
+func acceptAny(_: Collection<Int>) {}
+// expected-error@-1 {{use of protocol 'Collection<Int>' as a type must be written 'any Collection<Int>'}}
+func returnsAny() -> Collection<Int> {}
+// expected-error@-1 {{use of protocol 'Collection<Int>' as a type must be written 'any Collection<Int>'}}
+
 func testInvalidAny() {
   struct S: HasAssoc {
     typealias Assoc = Int
@@ -189,7 +214,7 @@ protocol RawRepresentable {
 enum E1: RawRepresentable {
   typealias RawValue = P1
 
-  var rawValue: P1 {
+  var rawValue: P1 { // expected-explicit-any-error {{use of protocol 'P1' as a type must be written 'any P1'}}{{17-19=any P1}}
     return ConcreteComposition()
   }
 }
@@ -237,6 +262,10 @@ func hasInvalidExistential(_: any DoesNotExistIHope) {}
 protocol Input {
   associatedtype A
 }
+protocol InputB {
+  associatedtype B
+}
+
 protocol Output {
   associatedtype A
 }
@@ -250,7 +279,11 @@ typealias ExistentialFunction = (any Input) -> any Output
 func testFunctionAlias(fn: ExistentialFunction) {}
 
 typealias Constraint = Input
-func testConstraintAlias(x: Constraint) {} // expected-error{{use of 'Constraint' (aka 'Input') as a type must be written 'any Constraint'}}{{29-39=any Constraint}}
+typealias ConstraintB = Input & InputB
+
+//expected-error@+2{{use of 'Constraint' (aka 'Input') as a type must be written 'any Constraint' (aka 'any Input')}}
+//expected-error@+1 {{use of 'ConstraintB' (aka 'Input & InputB') as a type must be written 'any ConstraintB' (aka 'any Input & InputB')}}
+func testConstraintAlias(x: Constraint, y: ConstraintB) {}
 
 typealias Existential = any Input
 func testExistentialAlias(x: Existential, y: any Constraint) {}
@@ -278,7 +311,9 @@ enum EE : Equatable, any Empty { // expected-error {{raw type 'any Empty' is not
 
 // Protocols from a serialized module (the standard library).
 do {
+  // expected-explicit-any-error@+1 {{use of protocol 'Decodable' as a type must be written 'any Decodable'}}
   let _: Decodable
+  // expected-explicit-any-error@+1 {{use of 'Codable' (aka 'Decodable & Encodable') as a type must be written 'any Codable' (aka 'any Decodable & Encodable')}}
   let _: Codable
 }
 
@@ -421,8 +456,9 @@ func testAnyFixIt() {
   let _: (~Copyable)?
   // expected-error@+1 {{use of protocol 'HasAssoc' as a type must be written 'any HasAssoc'}}{{10-18=(any HasAssoc)}}
   let _: HasAssoc!
-  // expected-error@+2 {{type '(any Copyable)?' cannot be suppressed}}
-  // expected-warning@+1 {{using '!' is not allowed here; treating this as '?' instead}}
+  // expected-default-swift-mode-warning@+3 {{using '!' is not allowed here; treating this as '?' instead}}
+  // expected-swift-6-error@+2 {{using '!' is not allowed here; perhaps '?' was intended?}} {{19-20=?}}
+  // expected-error@+1 {{type '(any Copyable)?' cannot be suppressed}}
   let _: ~Copyable!
   // expected-error@+1 {{constraint that suppresses conformance requires 'any'}}{{11-20=any ~Copyable}}
   let _: (~Copyable)!
@@ -503,6 +539,7 @@ func testEnumAssociatedValue() {
     case c1((any HasAssoc) -> Void)
     // expected-error@+1 {{use of protocol 'HasAssoc' as a type must be written 'any HasAssoc'}}
     case c2((HasAssoc) -> Void)
+    // expected-explicit-any-error@+1 {{use of protocol 'P' as a type must be written 'any P'}}
     case c3((P) -> Void)
   }
 }
@@ -518,3 +555,14 @@ protocol PP {}
 struct A : PP {}
 let _: any PP = A() // Ok
 let _: any (any PP) = A() // expected-error{{redundant 'any' in type 'any (any PP)'}} {{8-12=}}
+
+// coverage for rdar://123332844
+let x: Any.Type = AnyObject.self
+let y: Any.Type = Any.self
+
+typealias Objectlike = AnyObject
+func f(_ x: Objectlike) {}
+
+typealias Copy = Copyable
+func h(_ z1: Copy, // expected-explicit-any-error {{use of 'Copy' (aka 'Copyable') as a type must be written 'any Copy' (aka 'any Copyable')}}
+       _ z2: Copyable) {} // expected-explicit-any-error {{use of protocol 'Copyable' as a type must be written 'any Copyable'}}