>> -------------
>> f := func(z []interface{}) {
>>   z[2] = "notAnInt"
>>   println(z[2])}

>> x := make([]int, 3)
>> f(x)
>> println(x[2])
>> -------------

>> f looks like a perfectly reasonable function, since string satisfies
>> interface{}, but you can't store a string in x.

> I'd think it should fail.  x has a concrete type with a known layout
> in memory.  Passing x to f() and binding it to a z of type
> []interface{} shouldn't affect either the type or layout of x.  f() is
> just saying it doesn't know at compile time what concrete type it'll
> be given.  At run time, z has a concrete type: an array of ints, each
> of which properly implements the empty interface.  Assigning a string
> to z[2] should therefore be no different from assigning a string to
> x[2].