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.