updated 11b to check that array initialization is all assignable to array type