[Test] Add accepted extension use cases to access level on imports test

Author: xymus

test/Sema/access-level-import-classic-exportability.swift

@@ -58,35 +58,150 @@ private import PrivateLib // expected-note 2 {{struct 'PrivateImportType' import
 
 public protocol PublicConstrainedExtensionProto {}
 extension Array: PublicConstrainedExtensionProto where Element == PublicImportType {}
+extension PublicImportType {
+    public func publicMethod() {}
+}
 
+package protocol PublicConstrainedExtensionProtoInPackage {}
+extension Array: PublicConstrainedExtensionProtoInPackage where Element == PackageImportType {}
 extension PublicImportType {
-    public func foo() {}
+    package func packageMethod() {}
+}
+
+internal protocol PublicConstrainedExtensionProtoInInternal {}
+extension Array: PublicConstrainedExtensionProtoInInternal where Element == PublicImportType {}
+extension PublicImportType {
+    internal func internalMethod() {}
+}
+
+fileprivate protocol PublicConstrainedExtensionProtoInFileprivate {}
+extension Array: PublicConstrainedExtensionProtoInFileprivate where Element == PublicImportType {}
+extension PublicImportType {
+    fileprivate func fileprivateMethod() {}
+}
+
+private protocol PublicConstrainedExtensionProtoInPrivate {}
+extension Array: PublicConstrainedExtensionProtoInPrivate where Element == PublicImportType {}
+extension PublicImportType {
+    private func privateMethod() {}
 }
 
 public protocol PackageConstrainedExtensionProto {}
 extension Array: PackageConstrainedExtensionProto where Element == PackageImportType {} // expected-error {{cannot use struct 'PackageImportType' in an extension with conditional conformances; 'PackageLib' was not imported publicly}}
-
 extension PackageImportType { // expected-error {{cannot use struct 'PackageImportType' in an extension with public or '@usableFromInline' members; 'PackageLib' was not imported publicly}}
-    public func foo() {}
+    public func publicMethod() {}
+}
+
+package protocol PackageConstrainedExtensionProtoInPackage {}
+extension Array: PackageConstrainedExtensionProtoInPackage where Element == PackageImportType {}
+extension PackageImportType {
+    package func packageMethod() {}
+}
+
+internal protocol PackageConstrainedExtensionProtoInInternal {}
+extension Array: PackageConstrainedExtensionProtoInInternal where Element == PackageImportType {}
+extension PackageImportType {
+    internal func internalMethod() {}
+}
+
+fileprivate protocol PackageConstrainedExtensionProtoInFileprivate {}
+extension Array: PackageConstrainedExtensionProtoInFileprivate where Element == PackageImportType {}
+extension PackageImportType {
+    fileprivate func fileprivateMethod() {}
+}
+
+private protocol PackageConstrainedExtensionProtoInPrivate {}
+extension Array: PackageConstrainedExtensionProtoInPrivate where Element == PackageImportType {}
+extension PackageImportType {
+    private func privateMethod() {}
 }
 
 public protocol InternalConstrainedExtensionProto {}
 extension Array: InternalConstrainedExtensionProto where Element == InternalImportType {} // expected-error {{cannot use struct 'InternalImportType' in an extension with conditional conformances; 'InternalLib' was not imported publicly}}
-
 extension InternalImportType { // expected-error {{cannot use struct 'InternalImportType' in an extension with public or '@usableFromInline' members; 'InternalLib' was not imported publicly}}
     public func foo() {}
 }
 
+package protocol InternalConstrainedExtensionProtoInPackage {}
+extension Array: InternalConstrainedExtensionProtoInPackage where Element == InternalImportType {}
+extension InternalImportType {
+    package func packageMethod() {}
+}
+
+internal protocol InternalConstrainedExtensionProtoInInternal {}
+extension Array: InternalConstrainedExtensionProtoInInternal where Element == InternalImportType {}
+extension InternalImportType {
+    internal func internalMethod() {}
+}
+
+fileprivate protocol InternalConstrainedExtensionProtoInFileprivate {}
+extension Array: InternalConstrainedExtensionProtoInFileprivate where Element == InternalImportType {}
+extension InternalImportType {
+    fileprivate func fileprivateMethod() {}
+}
+
+private protocol InternalConstrainedExtensionProtoInPrivate {}
+extension Array: InternalConstrainedExtensionProtoInPrivate where Element == InternalImportType {}
+extension InternalImportType {
+    private func privateMethod() {}
+}
+
 public protocol FileprivateConstrainedExtensionProto {}
 extension Array: FileprivateConstrainedExtensionProto where Element == FileprivateImportType {} // expected-error {{cannot use struct 'FileprivateImportType' in an extension with conditional conformances; 'FileprivateLib' was not imported publicly}}
-
 extension FileprivateImportType { // expected-error {{cannot use struct 'FileprivateImportType' in an extension with public or '@usableFromInline' members; 'FileprivateLib' was not imported publicly}}
     public func foo() {}
 }
 
+package protocol FileprivateConstrainedExtensionProtoInPackage {}
+extension Array: FileprivateConstrainedExtensionProtoInPackage where Element == FileprivateImportType {}
+extension FileprivateImportType {
+    package func packageMethod() {}
+}
+
+internal protocol FileprivateConstrainedExtensionProtoInInternal {}
+extension Array: FileprivateConstrainedExtensionProtoInInternal where Element == FileprivateImportType {}
+extension FileprivateImportType {
+    internal func internalMethod() {}
+}
+
+fileprivate protocol FileprivateConstrainedExtensionProtoInFileprivate {}
+extension Array: FileprivateConstrainedExtensionProtoInFileprivate where Element == FileprivateImportType {}
+extension FileprivateImportType {
+    fileprivate func fileprivateMethod() {}
+}
+
+private protocol FileprivateConstrainedExtensionProtoInPrivate {}
+extension Array: FileprivateConstrainedExtensionProtoInPrivate where Element == FileprivateImportType {}
+extension FileprivateImportType {
+    private func privateMethod() {}
+}
+
 public protocol PrivateConstrainedExtensionProto {}
 extension Array: PrivateConstrainedExtensionProto where Element == PrivateImportType {} // expected-error {{cannot use struct 'PrivateImportType' in an extension with conditional conformances; 'PrivateLib' was not imported publicly}}
-
 extension PrivateImportType { // expected-error {{cannot use struct 'PrivateImportType' in an extension with public or '@usableFromInline' members; 'PrivateLib' was not imported publicly}}
     public func foo() {}
 }
+
+package protocol PrivateConstrainedExtensionProtoInPackage {}
+extension Array: PrivateConstrainedExtensionProtoInPackage where Element == PrivateImportType {}
+extension PrivateImportType {
+    package func packageMethod() {}
+}
+
+internal protocol PrivateConstrainedExtensionProtoInInternal {}
+extension Array: PrivateConstrainedExtensionProtoInInternal where Element == PrivateImportType {}
+extension PrivateImportType {
+    internal func internalMethod() {}
+}
+
+fileprivate protocol PrivateConstrainedExtensionProtoInFileprivate {}
+extension Array: PrivateConstrainedExtensionProtoInFileprivate where Element == PrivateImportType {}
+extension PrivateImportType {
+    fileprivate func fileprivateMethod() {}
+}
+
+private protocol PrivateConstrainedExtensionProtoInPrivate {}
+extension Array: PrivateConstrainedExtensionProtoInPrivate where Element == PrivateImportType {}
+extension PrivateImportType {
+    private func privateMethod() {}
+}