Type checker does not propagate types through multi-assign.
Imported from http://bugzilla.roxen.com/bugzilla/show_bug.cgi?id=3121
Reported by Honza Petrous hop@unibase.cz
int i;
i = "sssss";
Here the type checker complains correctly.
[i] = ({ "ssssss" });
But this code satisfy type checker without any complaining.