---

yaml
---
r: 344991
b: refs/heads/master
c: 427a8ed
h: refs/heads/master
i:
  344989: d3c2c5d
  344987: 7b38ec2
  344983: a3fb65d
  344975: e03b865
  344959: 8f47399

Author: swift-ci

[refs]

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

trunk/include/swift/AST/TypeCheckRequests.h

@@ -29,6 +29,7 @@ namespace swift {
 
 class GenericParamList;
 class RequirementRepr;
+class SpecializeAttr;
 struct TypeLoc;
 
 /// Display a nominal type or extension thereof.
@@ -220,22 +221,27 @@ struct WhereClauseOwner {
 
   /// The source of the where clause, which can be a generic parameter list
   /// or a declaration that can have a where clause.
-  llvm::PointerUnion<GenericParamList *, Decl *> source;
+  llvm::PointerUnion3<GenericParamList *, Decl *, SpecializeAttr *> source;
 
   WhereClauseOwner(Decl *decl);
 
   WhereClauseOwner(DeclContext *dc, GenericParamList *genericParams)
     : dc(dc), source(genericParams) { }
 
+  WhereClauseOwner(DeclContext *dc, SpecializeAttr *attr)
+    : dc(dc), source(attr) { }
+
   SourceLoc getLoc() const;
 
   friend hash_code hash_value(const WhereClauseOwner &owner) {
-    return hash_combine(hash_value(owner.dc), hash_value(owner.source));
+    return hash_combine(hash_value(owner.dc),
+                        hash_value(owner.source.getOpaqueValue()));
   }
 
   friend bool operator==(const WhereClauseOwner &lhs,
                          const WhereClauseOwner &rhs) {
-    return lhs.dc == rhs.dc && lhs.source == rhs.source;
+    return lhs.dc == rhs.dc &&
+           lhs.source.getOpaqueValue() == rhs.source.getOpaqueValue();
   }
 
   friend bool operator!=(const WhereClauseOwner &lhs,

trunk/lib/AST/TypeCheckRequests.cpp

@@ -259,13 +259,18 @@ SourceLoc WhereClauseOwner::getLoc() const {
   if (auto decl = source.dyn_cast<Decl *>())
     return decl->getLoc();
 
+  if (auto attr = source.dyn_cast<SpecializeAttr *>())
+    return attr->getLocation();
+
   return source.get<GenericParamList *>()->getWhereLoc();
 }
 
 void swift::simple_display(llvm::raw_ostream &out,
                            const WhereClauseOwner &owner) {
   if (auto decl = owner.source.dyn_cast<Decl *>()) {
     simple_display(out, decl);
+  } else if (owner.source.is<SpecializeAttr *>()) {
+    out << "@_specialize";
   } else {
     out << "(SIL generic parameter list)";
   }
@@ -289,6 +294,13 @@ RequirementRequest::getRequirements(WhereClauseOwner owner) {
     return genericParams->getRequirements();
   }
 
+  if (auto attr = owner.source.dyn_cast<SpecializeAttr *>()) {
+    if (auto whereClause = attr->getTrailingWhereClause())
+      return whereClause->getRequirements();
+    
+    return { };
+  }
+
   auto decl = owner.source.dyn_cast<Decl *>();
   if (!decl)
     return { };