swift
7653ce2b - [CSRanking] Specify whether specialization check allows missing conformances or not

Commit
2 years ago
[CSRanking] Specify whether specialization check allows missing conformances or not We have two places where `CompareDeclSpecializationRequest` is used: - A performance optimization that compares two generic overloads; - Solution ranking that checks all of the selected overloads against another solution. The former can allow missing conformances and shouldn't prevent the solver from checking overloads that differ on `Sendable` (because there is no information about what is passed as arguments) but the latter, since it has a solution, should prefer Sendable overloads over non-Sendable ones if possible (i.e. `init<T: Sendable>(_: T)` is a subtype of `init<T>(_: T)`). (cherry picked from commit e24d18c8d48a6ee8fe874dde0cf67f051fc3843f)
Author
Committer
Parents
Loading