When an OverloadedFunctionDefinition is created using the Combine factory methods, the CanCombine function is called to check that none of the overloads is ambiguous by having exactly the same signature. However, once constructed, one can use the Add method to add additional overloads, for which these checks are not done.
We should fix the Add function so it does check for uniqueness.
When an
OverloadedFunctionDefinitionis created using theCombinefactory methods, theCanCombinefunction is called to check that none of the overloads is ambiguous by having exactly the same signature. However, once constructed, one can use theAddmethod to add additional overloads, for which these checks are not done.We should fix the
Addfunction so it does check for uniqueness.