Inferring static array size

[NotYouAgain]

On Friday, 3 May 2024 at 10:04:57 UTC, Nick Treleaven wrote:
> ..
> ..
> I think the sticking point is making an implementation that 
> does not complicate the compiler code much.

The other point (apart from your point) I wanted to make, but 
forgot, was that even if a DIP is accepted, that does NOT mean it 
is mandatory that it be implemented (at least not as far as I 
know).

Also, since Walter, like pretty much everyone else, volunteer his 
time and effort, mandating that an accepted DIP be implemented, 
would seem rather silly - I mean volunteers to not succumb to 
such mandates.

For that reason, and DIP probably should have the accompanied 
implementation, especially if it's a DIP that Walter doesn't 
like, or is not inclined to work on.

Unfortunately, compilers are a pretty complicated beast ;-(