checker: dimension checking error when mut array is passed multiple times as args

[shove70]

Describe the bug

fn foo(mut arr []int) {
	bar(mut arr)
}

fn bar(mut arr [][]int) {
}

fn main() {
	mut arr := [1, 2, 3]
	foo(mut arr)
}

Reproduction Steps

When it is non-mut, everything is normal

Expected Behavior

error:

error: cannot use `[]int` as `&[][]int` in argument 1 to `bar`

Current Behavior

compile passed.

Possible Solution

No response

Additional Information/Context

No response

V version

latest master

Environment details (OS name and version, etc.)

macos, linux

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.

[shove70]

fn foo(mut arr []int) {
	arr << 1
	bar(mut arr)
}

fn bar(mut arr [][]int) {
	println(arr)
}

fn main() {
	mut arr := [1, 2, 3]
	foo(mut arr)
}

run:

signal 11: segmentation fault
0   libsystem_platform.dylib            0x00007ff818e9637d _sigtramp + 29
1   ???                                 0x0000000000000000 0x0 + 0
2   a                                   0x000000010d2d6888 indent_Array_Array_int_str + 232
3   a                                   0x000000010d2d6244 Array_Array_int_str + 36
4   a                                   0x000000010d2d61f7 main__bar + 55
5   a                                   0x000000010d2d61b9 main__foo + 41
6   a                                   0x000000010d2d62ad main__main + 77
7   a                                   0x000000010d2d6667 main + 71
8   dyld                                0x00007ff818ae03a6 start + 1942