Merge pull request #38632 from xedin/rdar-80797176-test

xedin · web-flow · commit bccf17bedd2c · 2021-07-26T16:42:03.000-07:00
[TypeChecker] NFC: Add a test-case for `for-each` with `where` clause
diff --git a/test/Constraints/patterns.swift b/test/Constraints/patterns.swift
@@ -514,3 +514,9 @@ func rdar64157451() {
     if case .foo(let v as DoeNotExist) = e {} // expected-error {{cannot find type 'DoeNotExist' in scope}}
   }
 }
+
+// rdar://80797176 - circular reference incorrectly diagnosed while reaching for a type of a pattern.
+func rdar80797176 () {
+  for x: Int in [1, 2] where x.bitWidth == 32 { // Ok
+  }
+}

Original file line number	Diff line number	Diff line change
`@@ -514,3 +514,9 @@ func rdar64157451() {`
`514`	`514`	`if case .foo(let v as DoeNotExist) = e {} // expected-error {{cannot find type 'DoeNotExist' in scope}}`
`515`	`515`	`}`
`516`	`516`	`}`
	`517`	`+`
	`518`	`+// rdar://80797176 - circular reference incorrectly diagnosed while reaching for a type of a pattern.`
	`519`	`+func rdar80797176 () {`
	`520`	`+ for x: Int in [1, 2] where x.bitWidth == 32 { // Ok`
	`521`	`+ }`
	`522`	`+}`