[Test] Add extensions and property wrappers to superfluously public import test

Author: xymus

test/Sema/superfluously-public-imports.swift

@@ -11,6 +11,9 @@
 // RUN: %target-swift-frontend -emit-module %t/ConformanceDefinition.swift -o %t -I %t
 // RUN: %target-swift-frontend -emit-module %t/AliasesBase.swift -o %t
 // RUN: %target-swift-frontend -emit-module %t/Aliases.swift -o %t -I %t
+// RUN: %target-swift-frontend -emit-module %t/ExtensionA.swift -o %t -I %t
+// RUN: %target-swift-frontend -emit-module %t/ExtensionB.swift -o %t -I %t
+// RUN: %target-swift-frontend -emit-module %t/PropertyWrapper.swift -o %t -I %t
 // RUN: %target-swift-frontend -emit-module %t/UnusedImport.swift -o %t -I %t
 // RUN: %target-swift-frontend -emit-module %t/UnusedPackageImport.swift -o %t -I %t
 // RUN: %target-swift-frontend -emit-module %t/ImportNotUseFromAPI.swift -o %t -I %t
@@ -58,6 +61,27 @@ open class Clazz {}
 import AliasesBase
 public typealias ClazzAlias = Clazz
 
+//--- ExtensionA.swift
+import ConformanceBaseTypes
+extension ConformingType {
+    public func extFuncA() {}
+}
+
+//--- ExtensionB.swift
+import ConformanceBaseTypes
+extension ConformingType {
+    public func extFuncB() {}
+}
+
+//--- PropertyWrapper.swift
+@propertyWrapper
+public struct MyPropertyWrapper<T> {
+  public var wrappedValue: T
+
+  public init(wrappedValue value: T) { self.wrappedValue = value }
+  public init(_ value: T) { self.wrappedValue = value }
+}
+
 //--- UnusedImport.swift
 
 //--- UnusedPackageImport.swift
@@ -84,7 +108,11 @@ public import ConformanceBaseTypes
 public import ConformanceDefinition
 public import AliasesBase
 public import Aliases
+public import ExtensionA
+public import ExtensionB
+public import PropertyWrapper
 
+/// Repeat some imports to make sure we report all of them.
 public import UnusedImport // expected-warning {{public import of 'UnusedImport' was not used in public declarations or inlinable code}} {{1-8=}}
 public import UnusedImport // expected-warning {{public import of 'UnusedImport' was not used in public declarations or inlinable code}} {{1-8=}}
 package import UnusedImport // expected-warning {{package import of 'UnusedImport' was not used in package declarations}} {{1-9=}}
@@ -114,7 +142,7 @@ public func useConformance(_ a: any Proto = ConformingType()) {}
 // expected-remark @-3 {{struct 'ConformingType' is imported via 'ConformanceBaseTypes'}}
 // expected-remark @-4 {{initializer 'init()' is imported via 'ConformanceBaseTypes'}}
 
-@usableFromInline internal func useInDefaultValue(_ a: TypeUsedInSignature) {} // expected-remark {{struct 'TypeUsedInSignature' is imported via 'DepUsedInSignature'}}
+@usableFromInline internal func usableFromInlineFunc(_ a: TypeUsedInSignature) {} // expected-remark {{struct 'TypeUsedInSignature' is imported via 'DepUsedInSignature'}}
 
 @inlinable
 public func publicFuncUsesPrivate() {
@@ -139,6 +167,16 @@ public func publicFuncUsesPrivate() {
   let _: ClazzAlias
   // expected-remark @-1 {{type alias 'ClazzAlias' is imported via 'Aliases'}}
   // expected-remark @-2 2 {{typealias underlying type class 'Clazz' is imported via 'AliasesBase'}}
+
+  let x = ConformingType()
+  // expected-remark @-1 {{struct 'ConformingType' is imported via 'ConformanceBaseTypes'}}
+  // expected-remark @-2 {{initializer 'init()' is imported via 'ConformanceBaseTypes'}}
+  x.extFuncA() // expected-remark {{instance method 'extFuncA()' is imported via 'ExtensionA'}}
+  x.extFuncB() // expected-remark {{instance method 'extFuncB()' is imported via 'ExtensionB'}}
+}
+
+public struct StructUsingPropertyWrapper {
+  @MyPropertyWrapper(42) public var wrapped: Any // expected-remark 2 {{generic struct 'MyPropertyWrapper' is imported via 'PropertyWrapper'}}
 }
 
 public struct Struct { // expected-remark {{implicitly used struct 'Int' is imported via 'Swift'}}