Pavel Yaskevich ac27f53c04 [CSSimplify] Fix key path to function conversion to check key path requirements ...

`KeyPath` types now have conformance requirements placed on their
`Root` and `Value` types which need to be checked even when there
is a key path to function conversion involved, otherwise the solver
would be accepting invalid code.

Note that without function conversion the requirements come from
a type opened during assignment - https://github.com/swiftlang/swift/pull/80081/files.

Resolves: https://github.com/swiftlang/swift/issues/84150

2025-09-15 00:35:19 -07:00

643 KiB

Raw Blame History

View Raw