---

yaml
---
r: 348439
b: refs/heads/master
c: 6ce93ce
h: refs/heads/master
i:
  348437: d5907ef
  348435: 7ac9f18
  348431: 342e689

Author: swift-ci

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: 99e5870309e81bef41e64743e3b4d0c77a37f3be
+refs/heads/master: 6ce93ce73af9c0dfd965071a7396b4ac890c03fd
 refs/heads/master-next: 203b3026584ecad859eb328b2e12490099409cd5
 refs/tags/osx-passed: b6b74147ef8a386f532cf9357a1bde006e552c54
 refs/tags/swift-2.2-SNAPSHOT-2015-12-01-a: 6bb18e013c2284f2b45f5f84f2df2887dc0f7dea

trunk/lib/AST/NameLookup.cpp

@@ -1857,7 +1857,9 @@ static DirectlyReferencedTypeDecls
 directReferencesForUnqualifiedTypeLookup(DeclName name,
                                          SourceLoc loc, DeclContext *dc) {
   DirectlyReferencedTypeDecls results;
-  UnqualifiedLookup::Options options = UnqualifiedLookup::Flags::TypeLookup;
+  UnqualifiedLookup::Options options =
+      UnqualifiedLookup::Flags::TypeLookup |
+      UnqualifiedLookup::Flags::AllowProtocolMembers;
   UnqualifiedLookup lookup(name, dc, loc, options);
   for (const auto &result : lookup.Results) {
     if (auto typeDecl = dyn_cast<TypeDecl>(result.getValueDecl()))

trunk/test/decl/var/property_wrappers.swift

@@ -1519,3 +1519,65 @@ func test_missing_method_with_lvalue_base() {
     }
   }
 }
+
+// SR-11288
+// Look into the protocols that the type conforms to
+
+// typealias as propertyWrapper //
+
+@propertyWrapper
+struct SR_11288_S0 {
+  var wrappedValue: Int
+}
+
+protocol SR_11288_P1 {
+  typealias SR_11288_Wrapper1 = SR_11288_S0
+}
+
+struct SR_11288_S1: SR_11288_P1 {
+  @SR_11288_Wrapper1 var answer = 42 // Okay
+}
+
+// associatedtype as propertyWrapper //
+
+protocol SR_11288_P2 {
+  associatedtype SR_11288_Wrapper2 = SR_11288_S0
+}
+
+struct SR_11288_S2: SR_11288_P2 {
+  @SR_11288_Wrapper2 var answer = 42 // expected-error {{unknown attribute 'SR_11288_Wrapper2'}}
+}
+
+protocol SR_11288_P3 {
+  associatedtype SR_11288_Wrapper3
+}
+
+struct SR_11288_S3: SR_11288_P3 {
+  typealias SR_11288_Wrapper3 = SR_11288_S0
+  @SR_11288_Wrapper3 var answer = 42 // Okay
+}
+
+// typealias as propertyWrapper in a constrained protocol extension //
+
+protocol SR_11288_P4 {}
+extension SR_11288_P4 where Self: AnyObject {
+  typealias SR_11288_Wrapper4 = SR_11288_S0
+}
+
+struct SR_11288_S4: SR_11288_P4 {
+  @SR_11288_Wrapper4 var answer = 42 // expected-error 2 {{'SR_11288_S4.SR_11288_Wrapper4.Type' (aka 'SR_11288_S0.Type') requires that 'SR_11288_S4' conform to 'AnyObject'}}
+}
+
+class SR_11288_C0: SR_11288_P4 {
+  @SR_11288_Wrapper4 var answer = 42 // Okay
+}
+
+// typealias as propertyWrapper in a generic type //
+
+protocol SR_11288_P5 {
+  typealias SR_11288_Wrapper5 = SR_11288_S0
+}
+
+struct SR_11288_S5<T>: SR_11288_P5 {
+  @SR_11288_Wrapper5 var answer = 42 // Okay
+}