Pavel Yaskevich 585b687103 [SILOptimizer] Prevent devirtualization of call to distributed witness requirements ...

This is a narrow fix, we are going to work on fixing this properly
and allowing both devirtualization and specialization for distributed
requirement witnesses.

Anything that uses an ad-hoc serialization requirement scheme cannot
be devirtualized because that would result in loss of ad-hoc conformance
in new substitution map.

Resolves: https://github.com/swiftlang/swift/issues/79318
Resolves: rdar://146101172

2025-03-29 19:27:46 -07:00

57 KiB

Raw Permalink Blame History

View Raw