---

yaml
---
r: 349510
b: refs/heads/master-next
c: aa560bf
h: refs/heads/master

Author: swift-ci

[refs]

@@ -1,6 +1,6 @@
 ---
 refs/heads/master: 3574c513bbc5578dd9346b4ea9ab5995c5927bb5
-refs/heads/master-next: fbe8e56e8b302bdc6b21e81527c7dfe12be48825
+refs/heads/master-next: aa560bf78db7c0c38d21f56bd8c66f875d291e29
 refs/tags/osx-passed: b6b74147ef8a386f532cf9357a1bde006e552c54
 refs/tags/swift-2.2-SNAPSHOT-2015-12-01-a: 6bb18e013c2284f2b45f5f84f2df2887dc0f7dea
 refs/tags/swift-2.2-SNAPSHOT-2015-12-01-b: 66d897bfcf64a82cb9a87f5e663d889189d06d07

branches/master-next/validation-test/compiler_crashers_2/sr11232.swift

@@ -0,0 +1,26 @@
+// RUN: not --crash %target-swift-emit-silgen %s
+
+protocol Pub {
+  associatedtype Other
+  associatedtype Failure: Error
+}
+
+class AnyPub<Other, Failure: Error> {}
+
+extension Pub {
+  func erase() -> AnyPub<Other, Failure> {
+    return AnyPub<Other, Failure>()
+  }
+}
+
+protocol ObsObj : Pub {
+  associatedtype NeverPub : Pub where Self.NeverPub.Failure == Never
+}
+
+class Subject<Other, Failure: Error> : Pub {}
+
+extension Pub where Other: ObsObj, Other.NeverPub: Subject<Int, Error> {
+  static func f() -> AnyPub<Other.NeverPub.Other, Other.NeverPub.Failure> {
+    return Subject<Other.NeverPub.Other, Other.NeverPub.Failure>().erase()
+  }
+}