This code: `int a[] = {};` Produces this error: `ERROR: SR::TypeError` It needs to produce a proper error, instead.