Checked C
Checked C:    int a[5] = { 0, 1, 2, 3, 4};
    _Array_ptr p : count(5) = a;  // p points to 5 elements.

My proposal for C:    int a[5] = { 0, 1, 2, 3, 4};
    int p[..] = a;  // p points to 5 elements.

https://www.digitalmars.com/articles/C-biggest-mistake.htmlhttps://github.com/Microsoft/checkedc/wiki/New-pointer-and-a...