Merge pull request #33000 from theblixguy/chore/add-regression-test-sr-13258

CodaFi · web-flow · commit 4a6a684dde1f · 2020-07-20T16:30:26.000-07:00
[Test] Add a regression test for SR-13258
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`	`+}`