Add test case characterizing issue in SR-11160.

varungandhi-apple · varungandhi-apple · commit bbf7e7ae6897 · 2019-07-31T16:29:57.000-07:00
diff --git a/test/Sema/exhaustive_switch.swift b/test/Sema/exhaustive_switch.swift
@@ -1176,6 +1176,14 @@ func sr10301_as(_ foo: SR10301<String,(Int,Error)>) {
   }
 }
 
+func sr11160() {
+    switch Optional<(Int, Int)>((5, 6)) { // expected-error {{switch must be exhaustive}}
+        // expected-note@-1 {{add missing case: '.some(_, _)'}}
+    case let b?: print(b)
+    case nil:    print(0)
+    }
+}
+
 // SR-11212 tests: Some of the tests here rely on compiler bugs related to
 // implicit (un)tupling in patterns. When you add a warning for the erroneous
 // cases, feel free to add expected notes as appropriate.

Original file line number	Diff line number	Diff line change
`@@ -1176,6 +1176,14 @@ func sr10301_as(_ foo: SR10301<String,(Int,Error)>) {`
`1176`	`1176`	`}`
`1177`	`1177`	`}`
`1178`	`1178`
	`1179`	`+func sr11160() {`
	`1180`	`+ switch Optional<(Int, Int)>((5, 6)) { // expected-error {{switch must be exhaustive}}`
	`1181`	`+ // expected-note@-1 {{add missing case: '.some(_, _)'}}`
	`1182`	`+ case let b?: print(b)`
	`1183`	`+ case nil: print(0)`
	`1184`	`+ }`
	`1185`	`+}`
	`1186`	`+`
`1179`	`1187`	`// SR-11212 tests: Some of the tests here rely on compiler bugs related to`
`1180`	`1188`	`// implicit (un)tupling in patterns. When you add a warning for the erroneous`
`1181`	`1189`	`// cases, feel free to add expected notes as appropriate.`