compare
fun compareForDispatch(argumentRestrictions: List<TypeRestriction>, elementSignature: A_Type): TypeComparison
Compare two types extracted from A_Sendable.bodySignatures. The first is the criterion, which will eventually be tested against arguments. The second signature is the one being compared by specificity with the criterion.
Return
A TypeComparison representing the relationship between the restrictions and the signature type.
Parameters
argument
The TypeRestrictions that are known to hold at some point.
element
An element signature type (a tuple type, here) to test against the given restrictions.