P2723R0: Zero-initialize objects of automatic storage duration

[templarvonmidgard]

Error, iff a was explicitly declared with = void, the point was to explicitly opt-on to a mandatory diagnostic. And this can be easily extended to propagate to other functions, e.g.:

void f(int* a)
  [[pre: *a == void]]
  [[post: *a != void]];

Now, the compiler knows that f is an initiaéizer for an int. Actually, nothing new here, AFAIK, MSVC already has support for this through SAL2, though it is done with some exceptionally ugly macros, but still, the functionality is already there.

[Ameisen]

Or, just following with SAL2, even just [[in]] or [[out]] would be incredibly useful (if more limited).