On 2013-11-14 22:02, TheFlyingFiddle wrote:
After looking at the DIP some more i can see that my suggestion
implementation does not make any sense (and i missed some of the
syntax). If it can be done with AST's i don't have a sugestion for it.
If you have the an example like:
int a = foo.baz("Hello");
And the context parameter allows you do determine the type of "a", then
it would be possible.
But you would still have problems with usages like these:
auto a = foo.baz("Hello");
And:
void bar (T) (T t) { }
bar(foo.baz("Hello"));
Both of these requires some fallback type.
--
/Jacob Carlborg
