monarch_dodra:
IMO, one of the initial problems is "argument type validation" vs "overload resolution".
Perhaps in D we need some syntax & semantics to differentiate the two use cases, to make it more clear the difference to the compiler.
Bye, bearophile
