November 15, 2013 Re: Figuring out the returntype opDipatch | ||||
---|---|---|---|---|
| ||||
Posted in reply to TheFlyingFiddle | 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 |
Copyright © 1999-2021 by the D Language Foundation