Fixing C's Biggest Mistake

[areYouSureAboutThat]

On Thursday, 5 January 2023 at 21:18:00 UTC, IGotD- wrote:
> On Thursday, 5 January 2023 at 21:08:28 UTC, 
> areYouSureAboutThat wrote:
>>
>> int[] myStaticArray = [0, 1].staticArray;
>> static assert(is(typeof(myStaticArray) == int[2]));
>>
>>
>> Is there any reason the compiler cannot be made to do this?
>
> In your example, wouldn't myStaticArray be a slice?

how can this possibly be misinterpreted??

int[] myStaticArray = [0, 1].staticArray;

the '.staticArray' provides all the context needed to understand 
what type is being created.