---

yaml
---
r: 327644
b: refs/heads/tensorflow
c: b2ec5b9
h: refs/heads/master

Author: hborla

[refs]

@@ -816,7 +816,7 @@ refs/tags/swift-DEVELOPMENT-SNAPSHOT-2018-04-25-a: 22f738a831d43aff2b9c9773bcb65
 refs/tags/swift-DEVELOPMENT-SNAPSHOT-2018-05-08-a: 7d98cc16689baba5c8a3b90a9329bdcc1a12b4e9
 refs/heads/cherr42: a566ad54b073c2c56ac0a705d0a5bed9743135a5
 "refs/heads/codable_test_comment_fix": fc8f6824f7f347e1e8db55bff62db385c5728b5a
-refs/heads/tensorflow: 911bcee8631bbb68795fcbd103b4ecae310a4571
+refs/heads/tensorflow: b2ec5b97b96696b0f06cb4fb32b9acf425c288d7
 refs/tags/swift-4.1-DEVELOPMENT-SNAPSHOT-2018-05-11-a: 8126fd7a652e2f70ad6d76505239e34fb2ef3e1a
 refs/tags/swift-4.1-DEVELOPMENT-SNAPSHOT-2018-05-12-a: b3fd3dd84df6717f2e2e9df58c6d7e99fed57086
 refs/tags/swift-4.1-DEVELOPMENT-SNAPSHOT-2018-05-13-a: 71135119579039dc321c5f65d870050fe36efda2

branches/tensorflow/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'}}
 }