---

yaml
---
r: 343802
b: refs/heads/master-rebranch
c: b2ec5b9
h: refs/heads/master

Author: hborla

[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: 911bcee8631bbb68795fcbd103b4ecae310a4571
+refs/heads/master-rebranch: b2ec5b97b96696b0f06cb4fb32b9acf425c288d7
 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/Sema/type_checker_crashers_fixed/rdar50869732.swift

@@ -10,7 +10,7 @@ struct Generic<T> {
 
 @_functionBuilder
 struct Builder {
-  static func buildBlock<C0, C1>(_ c0: C0, _ c1: C1)
+  static func buildBlock<C0, C1>(_ c0: C0, _ c1: C1) // expected-note {{where 'C0' = 'Empty'}} expected-note {{where 'C1' = 'Test<Empty>'}}
            -> Generic<(C0, C1)> where C0 : P, C1 : P {
     return Generic((c0, c1))
   }
@@ -24,11 +24,13 @@ struct Empty {
   init() {}
 }
 
-struct Test<T> where T : P {
+struct Test<T> where T : P { // expected-note {{where 'T' = 'Empty'}}
   init(@Builder _: () -> T) {}
 }
 
 let x = G {
+  // expected-error@-1 {{static method 'buildBlock' requires that 'Empty' conform to 'P'}}
+  // expected-error@-2 {{static method 'buildBlock' requires that 'Test<Empty>' conform to 'P'}}
   Empty()
-  Test { <#code#> } // expected-error {{editor placeholder in source file}}
+  Test { Empty() } // expected-error {{generic struct 'Test' requires that 'Empty' conform to 'P'}}
 }