Another prayer for invariant strngs

[torhu]

Christian Kamm wrote:
>> 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?

That's my understanding too, but I'm a bit confused by that fact that 
Walter's examples uses both variants.