---

yaml
---
r: 342959
b: refs/heads/master-rebranch
c: 7883dc2
h: refs/heads/master
i:
  342957: b77927e
  342955: 0f401bb
  342951: 09a0384
  342943: 4988f2d

Author: DougGregor

[refs]

@@ -1455,7 +1455,7 @@ refs/tags/swift-DEVELOPMENT-SNAPSHOT-2019-08-02-a: ddd2b2976aa9bfde5f20fe37f6bd2
 refs/tags/swift-DEVELOPMENT-SNAPSHOT-2019-08-03-a: 171cc166f2abeb5ca2a4003700a8a78a108bd300
 refs/heads/benlangmuir-patch-1: baaebaf39d52f3bf36710d4fe40cf212e996b212
 refs/heads/i-do-redeclare: 8c4e6d5de5c1e3f0a2cedccf319df713ea22c48e
-refs/heads/master-rebranch: 8c2707c3f3178a2e1ca24b8842f542af27978579
+refs/heads/master-rebranch: 7883dc2061548f8307651e831ebc13a04cf661dd
 refs/heads/rdar-53901732: 9bd06af3284e18a109cdbf9aa59d833b24eeca7b
 refs/heads/revert-26776-subst-always-returns-a-type: 1b8e18fdd391903a348970a4c848995d4cdd789c
 refs/heads/tensorflow-merge: 8b854f62f80d4476cb383d43c4aac2001dde3cec

branches/master-rebranch/lib/SIL/SILPrinter.cpp

@@ -3033,8 +3033,17 @@ void SILSpecializeAttr::print(llvm::raw_ostream &OS) const {
   OS << "exported: " << exported << ", ";
   OS << "kind: " << kind << ", ";
 
-  auto requirements = getSpecializedSignature()->requirementsNotSatisfiedBy(
-      getFunction()->getGenericEnvironment()->getGenericSignature());
+  ArrayRef<Requirement> requirements;
+  SmallVector<Requirement, 4> requirementsScratch;
+  if (auto specializedSig = getSpecializedSignature()) {
+    if (auto env = getFunction()->getGenericEnvironment()) {
+      requirementsScratch = specializedSig->requirementsNotSatisfiedBy(
+          env->getGenericSignature());
+      requirements = requirementsScratch;
+    } else {
+      requirements = specializedSig->getRequirements();
+    }
+  }
   if (!requirements.empty()) {
     OS << "where ";
     SILFunction *F = getFunction();