Merge pull request #34680 from xedin/rdar-71226646

xedin · web-flow · commit 6f739337d368 · 2020-11-11T00:33:52.000-08:00
[TypeChecker] NFC: Add one more test-case for SR-13442
diff --git a/test/Constraints/keypath.swift b/test/Constraints/keypath.swift
@@ -186,4 +186,5 @@ func SR13442<T>(_ x: KeyPath<String?, T>) -> T { "1"[keyPath: x] }
 func testSR13442() {
   _ = SR13442(\.!.count) // OK
   _ = SR13442(\String?.!.count) // OK
+  let _: KeyPath<Int?, Int> = \Optional.!
 }

Original file line number	Diff line number	Diff line change
`@@ -186,4 +186,5 @@ func SR13442<T>(_ x: KeyPath<String?, T>) -> T { "1"[keyPath: x] }`
`186`	`186`	`func testSR13442() {`
`187`	`187`	`_ = SR13442(\.!.count) // OK`
`188`	`188`	`_ = SR13442(\String?.!.count) // OK`
	`189`	`+ let _: KeyPath<Int?, Int> = \Optional.!`
`189`	`190`	`}`