On 2/2/08, Walter Bright <newshound1 at digitalmars.com> wrote: > It can be solved by having the result type of ~ be a polysemous > type, i.e. its type is based on how it is used. Will we be able to write our own functions which are declared to return polysemous types? Sorry, I'm getting all excited now! :-)