What    |Removed                     |Added
                 CC|                            |

------- Comment #3 from  2009-04-02 13:12 -------
(In reply to comment #2)
> According to specs works() is 
> correct.

Where on that page is the issue addressed?

> I think, broken() is correct, since invariant data can be referenced directly,
> so it's incorrect for it to change in time.

I'm a little puzzled by your use of "correct".  By my calculation, both are
incorrect - the difference is whether the compiler correctly diagnoses this

It makes no sense to reassign a struct that has immutable members by any means.
 In fact, a struct with at least one immutable member should be treated as
itself immutable for most purposes.

I'll look into it a bit more when I've time....


Reply via email to