Property wrapper with Opaque Type type inference

[iDmitriyy]

I get a compiler error using property wrapper with Opaque Type.

Code to reproduce:

@propertyWrapper ParamsStorage {
  private var storage = Array< Param >()

  var wrappedValue: some Collection<Param> { storage }

  func addParam(_ param: Param) { storage.append(param) }
}
...
final class Event {
  @ParamsStorage params: some Collection<Param>
  // compiler error: Property type 'some Collection' (type of 'Event.params') does not match 'wrappedValue' type 'some Collection' (type of 'ParamsStorage.wrappedValue')
}
At the same time, the following code compiles:

final class Event {
  private var _params: StatisticsParamsStorage = .init()
  var params: some Collection<StatisticsEventParam> { _params.wrappedValue }
}

Environment

• Swift compiler version info: swiftc -version
  swift-driver version: 1.62.15 Apple Swift version 5.7.1 (swiftlang-5.7.1.135.3 clang-1400.0.29.51)
• Xcode version info:
• Deployment target: iOS 14.5

Swift forum thread: https://forums.swift.org/t/property-wrapper-with-opaque-type/62550
@hborla