[analyzer] Report a compile-time error when an expression of type void is used

[eernstg]

This is the analyzer specific issue for #54889, which has the details.

[bwilkerson]

@scheglov

[eernstg]

@scheglov and @pq, this turns out to potentially need a breaking change process, so please do not proceed to work on the implementation at this time.

I've added a 'status-blocked' label to make this situation visible. I'll remove it again if and when the breaking change is approved. The description of the changes may be modified during this breaking change process.

I hope this bad ordering of events did not disrupt your work.

[scheglov]

[lrhn]

(I can't read Russian, but I get the point 😁)

[bwilkerson]

Me either, so I used Google Lens to translate it. Not sure how well Lens did :-), but I also got the point.

[eernstg]

Closing: Various adjustments of the test (including corrections of mistakes introduced by the migration from a //# ... multi test to a modern // ^^^ test) have eliminated all test failures with the analyzer.

🎉