Fixing C's Biggest Mistake

[IGotD-]

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?