V doesn't figure out array type in match, but it should

[medvednikov]

Describe the bug

arr1 := ['Peter', 'Bob']
arr2 := ['Sam', 'Mike']
typ := 1
names := match typ {
	1 {
		arr1
	}
	2 {
		arr2
	}
	else {
		[]
	}
}
println(names)

Should compile, instead getting an error:

code.v:12:3: error: array_init: no type specified (maybe: `[]Type{}` instead of `[]`)
   10 |     }
   11 |     else {
   12 |         []
      |         ~~
   13 |     }
   14 | }
code.v:12:3: error: return type mismatch, it should be `[]string`
   10 |     }
   11 |     else {
   12 |         []
      |         ~~
   13 |     }
   14 | }

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.

[jorgeluismireles]

I think the next case is related to what is reported here:

fn count_str(array []string) int {
	return array.len
}
fn count_int(array []int) int {
	return array.len
}
fn count[T](array []T) int {
	return array.len
}

assert count_str(['one','two']) == 2
assert count_str([]string{}) == 0
assert count_str([]) == 0 // WORKS

assert count_int([1,2]) == 2
assert count_int([]int{}) == 0
assert count_int([]) == 0 // WORKS

assert count[f64]([1.0,2.0]) == 2
assert count[f64]([]f64{}) == 0
assert count[f64]([]) == 0 // error: cannot use `[]T` as `[]f64` in argument 1 to `count`

All assert work but the last one. Empty array [] type is figured out in calling functions with defined types already but it doesn't for generics.

[medvednikov]

@jorgeluismireles this an issue with generics. Please create a separate issue.