checker: error if cannot generic infer type from empty array ([])

[Delta456]

Fixes #22859

_{Huly®: V_0.6-21328}

[spytheman]

This should not be solved like this. The main problem is that the generic function expansion, produced an error, that is far removed from the actual source that the user wrote.

The compiler should just add more details to the error, so that the user can know what was the origin of the problem.

It was discussed here before: https://discord.com/channels/592103645835821068/592114487759470596/1306501688454287451 .