Generics: Passing an array of generic type without type annotation causes C error

[syobocat]

Describe the bug

Passing an array that generic function returns to other generic function, it causes C error

Reproduction Steps

fn function_that_receives_an_array_of_generic_type[T](array []T) {
	return
}

fn function_that_returns_an_array_of_generic_type[T]() []T {
	return []
}

fn func[T]() {
	res := function_that_returns_an_array_of_generic_type[T]()
	function_that_receives_an_array_of_generic_type(res)
	return
}

fn main() {
	func[string]()
}

Expected Behavior

Successful compilation, or a V error

Current Behavior

======== Output of the C Compiler (cc) ========
/tmp/v_501/code.01JGBDZRRD9V6ZGP0VAJJZJW53.tmp.c:1315:91: error: unknown type name 'Array_Array_string'; did you mean 'Array_string'?
 1315 | VV_LOCAL_SYMBOL void main__function_that_receives_an_array_of_generic_type_T_Array_string(Array_Array_string __v_array);
      |                                                                                           ^~~~~~~~~~~~~~~~~~
      |                                                                                           Array_string
/tmp/v_501/code.01JGBDZRRD9V6ZGP0VAJJZJW53.tmp.c:778:15: note: 'Array_string' declared here
  778 | typedef array Array_string;
      |               ^
/tmp/v_501/code.01JGBDZRRD9V6ZGP0VAJJZJW53.tmp.c:5559:91: error: unknown type name 'Array_Array_string'; did you mean 'Array_string'?
 5559 | VV_LOCAL_SYMBOL void main__function_that_receives_an_array_of_generic_type_T_Array_string(Array_Array_string __v_array) {
      |                                                                                           ^~~~~~~~~~~~~~~~~~
      |                                                                                           Array_string
/tmp/v_501/code.01JGBDZRRD9V6ZGP0VAJJZJW53.tmp.c:778:15: note: 'Array_string' declared here
  778 | typedef array Array_string;
      |               ^
2 errors generated.
===============================================

Possible Solution

No response

Additional Information/Context

It compiles successfully when you add type annotation:

fn function_that_receives_an_array_of_generic_type[T](array []T) {
	return
}

fn function_that_returns_an_array_of_generic_type[T]() []T {
	return []
}

fn func[T]() {
	res := function_that_returns_an_array_of_generic_type[T]()
-	function_that_receives_an_array_of_generic_type(res)
+	function_that_receives_an_array_of_generic_type[T](res)
	return
}

fn main() {
	func[string]()
}

V version

V 0.4.9 fb5bac1

Environment details (OS name and version, etc.)

V full version: V 0.4.9 c4aaa2e.fb5bac1
OS: macos, macOS, 15.2, 24C101
Processor: 8 cpus, 64bit, little endian, Apple M3

getwd: /Users/syobon
vexe: /Users/syobon/.v/v
vexe mtime: 2024-12-30 09:17:55

vroot: OK, value: /Users/syobon/.v
VMODULES: OK, value: /Users/syobon/.vmodules
VTMP: OK, value: /tmp/v_501

Git version: git version 2.39.5 (Apple Git-154)
Git vroot status: 0.4.9-55-gfb5bac11
.git/config present: true

CC version: Apple clang version 16.0.0 (clang-1600.0.26.6)
emcc version: N/A
thirdparty/tcc status: thirdparty-macos-arm64 713692d4

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-21747}