Inferring static array size

[Stefan Koch]

On Saturday, 4 May 2024 at 08:38:31 UTC, NotYouAgain wrote:
> On Friday, 3 May 2024 at 10:04:57 UTC, Nick Treleaven wrote:
>> [...]
>
> 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 ;-(

There have been implementations for this feature before,
if you do not want to reuse those. I could donate some of my time 
and implement it.