Empty interface array push fixed array C error

[jorgeluismireles]

Describe the bug

We push a fixed array to an array of empty interfaces and got a C error.

Reproduction Steps

interface Any { }

fn main() {
	mut i := []int{}
	i << [1,2]  // accepted
	//i << [3,4]! // compiler return error correctly
	dump('${i}')
	mut a := []Any{}
	a << [5,6]     // accepted
	a << ['a','b'] // accepted
	a << [7,8]!    // compiler FAILS
	dump('${a}')
}

Expected Behavior

Prevent compiling line a << [7,8]! and notify user like with regular arrays (line i << [3,4]!).

Current Behavior

Running code...
Can't run code. The server returned an error:
/tmp/v_60000/code.01JDXEW5Z77GQRH940K6HWSHM6.tmp.c:1024: error: ';' expected (got "Array_fixed_main__Any_2")
builder error: 
==================
C error found. It should never happen, when compiling pure V code.
This is a V compiler bug, please report it using `v bug file.v`,
or goto https://github.com/vlang/v/issues/new/choose .
You can also use #help on Discord: https://discord.gg/vlang .
Exited with error status 1
Please try again.

Possible Solution

No response

Additional Information/Context

No response

V version

V 0.4.8 f2c281e

Environment details (OS name and version, etc.)

https://play.vlang.io/p/d6f2c96b61

Note

You can use the 👍 reaction to increase the issue's priority for developers.

Please note that only the 👍 reaction to the issue itself counts as a vote.
Other reactions and those to comments will not be taken into account.

_{Huly®: V_0.6-21452}

[felipensp]

Why prevent to use it? It seems a valid V code.

[jorgeluismireles]

Why prevent to use it? It seems a valid V code.

I think you are right. At first I though no array should accept a fixed array, but since next case works:

fn main() {
	mut i := [][2]string{}
	i << ['a','b']!
	i << [['c','d']!, ['e','f']!]
	assert i.str() == "[['a', 'b'], ['c', 'd'], ['e', 'f']]"
}

Then should be accepted this:

interface Any {}
fn main() {
	mut a := []Any{}
	a << ['a','b']! // should be accepted after fixing C error
}

Event though, I don't know what to expect. It should be one or another:

assert a.str() == "[Any('a'), Any('b')]"
assert a.str() == "[Any(['a','b'])]"