[SR-11288] Property wrappers aren't inherited as type aliases

[swift-ci]

Previous ID	SR-11288
Radar	None
Original Reporter	BenLeggiero (JIRA User)
Type	Bug
Status	Resolved
Resolution	Done

Environment

macOS 10.15 Beta (19A526h) Xcode Version 11.0 beta 5 (11M382q) Apple Swift version 5.1 (swiftlang-1100.0.266.1 clang-1100.0.32.1) Target: x86_64-apple-darwin19.0.0

Additional Detail from JIRA

| | | |------------------|-----------------| |Votes | 0 | |Component/s | Compiler | |Labels | Bug | |Assignee | @theblixguy | |Priority | Medium | md5: 6e58c672fba31e03c7bb421156e96fdf

is duplicated by:

• SR-11120 [5.1] [property wrapper] attribute lookup does not include typealiases
• SR-11131 Nested protocolWrappers can't be typealias'ed when parent type is generic

Issue Description:

Given that:

• Some property wrapper PW is in global scope

• Some protocol P defines in its scope (neither private nor fileprivate) a typealias A of PW

• Some type T implements P

Then:

• A is not visible to T

SSCCE

@propertyWrapper
struct SomeWrapper {
    var wrappedValue: Int
}

protocol HasWrapper {
    typealias Wrapper = SomeWrapper
}

struct Parent: HasWrapper {
    @Wrapper
    var answer = 42
}

[belkadan]

@DougGregor, you had another one of these, right?

[theblixguy]

Fixed on master by https://github.com/apple/swift/pull/26795

Please verify using the next master snapshot and close this issue. Thanks!