Spec#, nullables and more

[bearophile]

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