Inferred array size with empty initializer leaks SR::TypeError

[DavidPH]

This code:
int a[] = {};
Produces this error:
ERROR: SR::TypeError

It needs to produce a proper error, instead.