Checked C
Checked C:<p><pre><code>    int a[5] = { 0, 1, 2, 3, 4};
    _Array_ptr<int> p : count(5) = a;  // p points to 5 elements.
</code></pre>
My proposal for C:<p><pre><code>    int a[5] = { 0, 1, 2, 3, 4};
    int p[..] = a;  // p points to 5 elements.
</code></pre>
<a href="https://www.digitalmars.com/articles/C-biggest-mistake.html" rel="nofollow">https://www.digitalmars.com/articles/C-biggest-mistake.html</a><p><a href="https://github.com/Microsoft/checkedc/wiki/New-pointer-and-array-types#checked-single-dimensional-arrays">https://github.com/Microsoft/checkedc/wiki/New-pointer-and-a...</a>