Assertion: overload | /r/CapableOf | satisfy widening requirement
Facets:
Source sentences:
text: If the compiler finds more than one overload satisfying the widening requirement, it then looks for the overload that is most specific for the argument data types, that is, that calls for the least amount of widening.