compare
abstract fun compareTypes(argumentRestrictions: List<TypeRestriction>, signatureType: A_Type): TypeComparison
Content copied to clipboard
Compare two types to produce a TypeComparison.
Return
A TypeComparison indicating the result of the comparison.
Parameters
argument
The TypeRestrictions that are known to hold at some point.
signature
The signature type of some element, which can be tested for containment and intersection against the given restriction.