On Wednesday, 14 November 2012 at 09:16:13 UTC, Walter Bright
wrote:
I'm not requesting this to be a feature of D, I'm only asking
why it is not
being done.
Because types are resolved bottom-up, and if the return type
were part of the overloading, there would be no sensible rule
to determine the types.
But doesn't the compiler already have to perform overload-like
decision making on return types in the "alias this" case, esp
once multiple conversions are allowed?
class A{
int i;
bool b;
alias i this;
alias b this;
}
main()
{
auto a = new A;
int i = a;
bool b = a;
}
--rt
