On Thursday, 7 January 2021 at 13:03:54 UTC, Luhrel wrote:
I don't get it.
1. `y` should be a int[].
True - see my correction at the feedback theard.
2. if staticArrFunc returns a size_t, then the problem can be
simplified as:
```
staticArrFunc(cast(int[$])[1,2,3]); // no need to cast :
staticArrFunc([1,2,3]); // already works like that (if
staticArrFunc takes a int[3])
```
If your DIP is implemented, what you say is true. But the point
is that right now it means a different thing - a cast to static
array of the length of `something` (in the full example), not to
length of `[1,2,3]`. The point is that your DIP will silently
change the behaviour of code like this.
I do agree that this is such a rare enough occurence that we
might be best off just accepting it. But it needs to be mentioned
in the DIP.
