ALF11 — Overload resolution for feature invocation expressions should be specific about the case of multiple most-specific operations.

Under Semantics/OperationCall for Feature Invocation Expressions, step 3 is to "select the most specific operations". Note that this is plural, indicating that there may be more than one. The paragraph following step 3 states that "If there is a single operation remaining...this is the operation to be called", and a later paragraph indicates that "If there are no operations left...the feature invocation expression is illegal, with one exception". However, the case of more than one operation remaining after step 3 is not mentioned explicitly.

Recommendation:
It should be explicitly stated that the expression is illegal in the case of more than one operation remaining after step 3.

Add clarification to overloading resolution rules

Agreed.