---

yaml
---
r: 343739
b: refs/heads/master-rebranch
c: cec0821
h: refs/heads/master
i:
  343737: 0f0a1df
  343735: 96cbea2

Author: minuscorp

[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: c79214c3c6f7d2a9880c76b93cae1ec3659dbc8f
+refs/heads/master-rebranch: cec08212205b43de3bf2cc5e0564a2d8940d54b1
 refs/heads/rdar-53901732: 9bd06af3284e18a109cdbf9aa59d833b24eeca7b
 refs/heads/revert-26776-subst-always-returns-a-type: 1b8e18fdd391903a348970a4c848995d4cdd789c
 refs/heads/tensorflow-merge: 8b854f62f80d4476cb383d43c4aac2001dde3cec

branches/master-rebranch/validation-test/compiler_crashers_2/sr11108.swift

@@ -0,0 +1,27 @@
+// RUN: not --crash %target-swift-emit-silgen %s
+
+// REQUIRES: asserts
+
+protocol Example {
+    associatedtype Signed: SignedInteger
+    associatedtype SP: StringProtocol
+    var string: String { get }
+}
+extension Example {
+    var string: String {
+        return "Foo"
+    }
+}
+class MyClass<T: SignedInteger, S: StringProtocol>: Example {
+    typealias Signed = T
+    typealias SP = S
+}
+extension MyClass where T == Int, S == String {
+    var string: String {
+        return "Bar"
+    }
+}
+
+let myclass = MyClass<Int, String>()
+
+print(myclass.string)