[Issue 2094] transitive const can be broken easily

[d-bugmail at puremagic.com]

http://d.puremagic.com/issues/show_bug.cgi?id=2094





------- Comment #8 from terranium at yandex.ru  2008-06-19 02:42 -------
(In reply to comment #4)
> But in D you may need three, actually.  invariant, const, and non-const.
Isn't unvariant implicitly castable to const?

(In reply to comment #7)
> I was just browsing through WalterAndrei.pdf from last year's D conference,
> when I noticed the "return" storage class.  I had forgotten about that one.  
It adds dependency on argument, but how about dependency on the hidden argument
- this.

(In reply to comment #6)
> No.  invariantness if f's arg isn't being preserved, so this is a hole that
> Walter should see.  I've reopened.
I think, if my sample doesn't compile, this bugreport is no longer valid or
severity could be canged to RFE, I'm not sure, what you want.


--