[Issue 2094] transitive const can be broken easily

[d-bugmail at puremagic.com]

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





------- Comment #9 from wbaxter at gmail.com  2008-06-19 07:19 -------
(In reply to comment #8)
> (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?

If you're hoping to be able to assign the result to an invariant then you'll
need an invariant flavor of it.


--