---

yaml
---
r: 345535
b: refs/heads/master
c: 67cdb8b
h: refs/heads/master
i:
  345533: 6f158f5
  345531: 68ebc79
  345527: 1c56db8
  345519: 7699ffd
  345503: 49f3d78
  345471: 2a9e7be

Author: swift-ci

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: 9337902d654f852fe964ac817b0eed19f1ef2877
+refs/heads/master: 67cdb8b6a71fba6836b20c9e4195ad7c8929271a
 refs/heads/master-next: 203b3026584ecad859eb328b2e12490099409cd5
 refs/tags/osx-passed: b6b74147ef8a386f532cf9357a1bde006e552c54
 refs/tags/swift-2.2-SNAPSHOT-2015-12-01-a: 6bb18e013c2284f2b45f5f84f2df2887dc0f7dea

trunk/lib/AST/ProtocolConformance.cpp

@@ -578,7 +578,8 @@ NormalProtocolConformance::populateSignatureConformances() {
 
       // Allocate the buffer of conformance requirements.
       auto &ctx = self->getProtocol()->getASTContext();
-      buffer = ctx.AllocateUninitialized<ProtocolConformanceRef>(numConformanceRequirements);
+      buffer = ctx.AllocateUninitialized<ProtocolConformanceRef>(
+          numConformanceRequirements);
 
       // Skip over any non-conformance requirements in the requirement
       // signature.
@@ -600,11 +601,20 @@ NormalProtocolConformance::populateSignatureConformances() {
       other.owning = false;
     }
 
+    ~Writer() {
+      if (!owning)
+        return;
+      while (!requirementSignature.empty())
+        (*this)(ProtocolConformanceRef::forInvalid());
+    }
+
     void operator()(ProtocolConformanceRef conformance){
       // Make sure we have the right conformance.
       assert(!requirementSignature.empty() && "Too many conformances?");
-      assert(conformance.getRequirement() ==
-               requirementSignature.front().getSecondType()->castTo<ProtocolType>()->getDecl());
+      assert(conformance.isInvalid() ||
+             conformance.getRequirement() ==
+                 requirementSignature.front().getSecondType()
+                     ->castTo<ProtocolType>()->getDecl());
       assert((!conformance.isConcrete() ||
               !conformance.getConcrete()->getType()->hasArchetype()) &&
              "signature conformances must use interface types");

trunk/validation-test/IDE/crashers_2_fixed/rdar43625800.swift

@@ -0,0 +1,16 @@
+// RUN: %target-swift-ide-test -code-completion -code-completion-token=COMPLETE -source-filename=%s
+
+protocol ProviderP {
+  associatedtype Data
+}
+
+protocol BaseP {}
+protocol DerivedP : BaseP  {
+  associatedtype Provider: ProviderP
+
+  func testing(_: Provider.Data)
+}
+
+struct Concrete : DerivedP {
+  #^COMPLETE^#
+}