[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 #26795

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