Any word on the return-type const syntax?

[Janice Caron]

On Dec 9, 2007 11:36 PM, Sönke Ludwig
<ludwig at informatik_dot_uni-luebeck.de> wrote:
> I have actually changed a bunch of classes to be invariant, that is, they are
> declared as "invariant class C {}". At least, if they are used like this, no
> extra casts are necessary. "new C" works, and inside of the class nothing needs
> to be manually declared invariant using a cast.

Wow! I didn't know you could do that! That's actually a pretty cool feature!

OK, so there /is/ language support. That means I was wrong, and you
can forget everything I ever said about invariant classes.