Allan Shortlidge 4622873ba7 Serialization: Refine safety checks for extensions/protocols. ...

In https://github.com/apple/swift/pull/65267 deserialization safety was made
more conservative, allowing deserialization of any protocol and
deserialization of any extension declaring an explicit conformance to any
protocol. We can refine this to only allow deserialization of safe protocols
and deserialization of extensions declaring conformances to safe protocols.
Importantly, though, we must look up all conformances declared by the
extension, not just the explicit ones.

Resolves rdar://114673761

2023-08-29 21:58:40 -07:00

5.4 KiB

Raw Permalink Blame History

View Raw