Another prayer for invariant strngs

[Christian Kamm]

> The problem is
> that it is invariant(char)[] instead of invariant(char[])

I was under the impression that invariant(char)[] was the same type as
invariant(char[]) as invariant/const never apply to the declaration itself?

So
invariant(int) == int,
invariant(int*) == invariant(int)*
invariant(int**) == invariant(int*)* != invariant(int)**

Or is that incorrect?

Christian