Pointer types [Was: Re: Lints, Condate and bugs]

[bearophile]

Walter:

> T[] sentinel = p[0..0];

You can't compare it with other pointers, because it's not a pointer. If you use sentinel.ptr you have zero protection against static disa. You can't define a C signature with that. And it uses two words, while the @sentinel/SentinelPtr need just one word. So I think it does no one of the purposes a @sentinel pointer was meant to do.

Bye,
bearophile