Don: > bearophile wrote: > > ... > > http://d.puremagic.com/issues/show_bug.cgi?id=5081
> As was pointed out in a recent post, the return value of a pure function > is guaranteed to be unique, so could be allowed to implictly cast to > immutable. I'm planning a patch for that soon, to see how well it works > in practice. Right, that's the bug 5081 :-) It works with strong pure. It's a simple but very nice idea that avoids some casts. > But I don't think that would work for non-nulls. I don't think the two > situations have a great deal in common. I see, they may have different solutions too. Bye and thank you, bearophile