Pitch: Allow functions with void-params to be called as void-functions

[hooman (Hooman Mehr)]

This was also proposed in 2018 and rather extensively discussed:

More consistent function types

I wrote this pitch up this morning, but am just now finding the time to get it posted. It's something that I've thought about on and off for a little while but was motivated to get written up today both because of a recent source compatibility issue that was raised (as mentioned in the pitch) and because it has potential ABI impact and thus needs to be addressed in the short term. This was a quick write-up of "pitch" quality, and there is no implementation yet, but I wanted to get something ou…