any news on const/invariant?

[Walter Bright]

Daniel Keep wrote:
> The way I've understood it is that const is both a type constructor
> *and* a storage class.

That's right. It's a floor wax *and* a dessert topping!

> When invoked with parenthesis, it's a type
> constructor.  When invoked without, it's a storage class that happens to
> apply the type constructor to whatever the type of the declaration is.

That's right, too.