[Issue 2094] transitive const can be broken easily

d-bugmail at puremagic.com d-bugmail at puremagic.com
Mon Oct 6 16:55:44 PDT 2008


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





------- Comment #10 from schveiguy at yahoo.com  2008-10-06 18:55 -------
(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 don't see how that matters.  You should be able to call const functions on an
invariant object.  Note that the submitted code doesn't actually compile.

As an aside, the scoped const proposal I made would solve the 3 versions of a
function requirement.

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


-- 



More information about the Digitalmars-d-bugs mailing list