[TypeChecker] NFC: Add test-case for rdar://problem/65983237

xedin · xedin · commit d2f5e63773b0 · 2020-09-02T11:16:18.000-07:00
diff --git a/test/Constraints/function_builder_diags.swift b/test/Constraints/function_builder_diags.swift
@@ -619,6 +619,14 @@ struct MyView {
     } // expected-error {{expected identifier after '.' expression}}
   }
 
+  @TupleBuilder var invalidCaseWithoutDot: some P {
+    switch Optional.some(1) {
+    case none: 42 // expected-error {{cannot find 'none' in scope}}
+    case .some(let x):
+      0
+    }
+  }
+
   @TupleBuilder var invalidConversion: Int { // expected-error {{cannot convert value of type 'String' to specified type 'Int'}}
     ""
   }

Original file line number	Diff line number	Diff line change
`@@ -619,6 +619,14 @@ struct MyView {`
`619`	`619`	`} // expected-error {{expected identifier after '.' expression}}`
`620`	`620`	`}`
`621`	`621`
	`622`	`+ @TupleBuilder var invalidCaseWithoutDot: some P {`
	`623`	`+ switch Optional.some(1) {`
	`624`	`+ case none: 42 // expected-error {{cannot find 'none' in scope}}`
	`625`	`+ case .some(let x):`
	`626`	`+ 0`
	`627`	`+ }`
	`628`	`+ }`
	`629`	`+`
`622`	`630`	`@TupleBuilder var invalidConversion: Int { // expected-error {{cannot convert value of type 'String' to specified type 'Int'}}`
`623`	`631`	`""`
`624`	`632`	`}`