[RFC] _Optional: a type qualifier to indicate pointer nullability

There is a verbose and somewhat similar approach:
[RFC] New attribute annotate_type (iteration 2)

That’s interesting, but it looks far too verbose and complex for me, a humble C programmer, to consider using. I just like to declare things as const int *. That’s all. :slight_smile: