[Test] Add a regression test for SR-13258

theblixguy · theblixguy · commit ea41caf182a3 · 2020-07-20T16:41:36.000+01:00
diff --git a/test/stmt/if_while_var.swift b/test/stmt/if_while_var.swift
@@ -238,3 +238,9 @@ class UsesPayload {
     }
   }
 }
+
+func sr_13258() {
+  let a = 1
+  let b = Int?.none
+  if let c = b ?? a { _ = c } // expected-error {{initializer for conditional binding must have Optional type, not 'Int'}}
+}

Original file line number	Diff line number	Diff line change
`@@ -238,3 +238,9 @@ class UsesPayload {`
`238`	`238`	`}`
`239`	`239`	`}`
`240`	`240`	`}`
	`241`	`+`
	`242`	`+func sr_13258() {`
	`243`	`+ let a = 1`
	`244`	`+ let b = Int?.none`
	`245`	`+ if let c = b ?? a { _ = c } // expected-error {{initializer for conditional binding must have Optional type, not 'Int'}}`
	`246`	`+}`