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
}