mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
Candidate is viable (with some score) if: - Candidate is exactly equal to a parameter type - Candidate type differs from a parameter type only in optionality - Parameter is a generic parameter type and all conformances are matched by a candidate type - Candidate tuples matches a parameter tuple on arity - Candidate is an `Array<T>` and parameter is an `Unsafe*Pointer` - Candidate is a subclass of a parameter class type - Candidate is a concrete type and parameter is its existential value (except Any)