markused: fix []T param as used (fix #25383) (#25454)

Author: felipensp

vlib/v/markused/walker.v

@@ -1100,6 +1100,20 @@ pub fn (mut w Walker) call_expr(mut node ast.CallExpr) {
 		} else if node.return_type.has_flag(.result) {
 			w.used_result++
 		}
+		if stmt.params.len > 1 && stmt.generic_names.len > 0 {
+			// mark concrete []T param as used
+			for concrete_type_list in w.table.fn_generic_types[node.fkey()] {
+				for k, concrete_type in concrete_type_list {
+					if k >= stmt.params.len - 1 {
+						break
+					}
+					param_typ := stmt.params[k + 1].typ
+					if param_typ.has_flag(.generic) && w.table.type_kind(param_typ) == .array {
+						w.mark_by_type(w.table.find_or_register_array(concrete_type))
+					}
+				}
+			}
+		}
 	}
 }
 

vlib/v/tests/generic_calls/bug_test.v

@@ -0,0 +1,9 @@
+module main
+
+fn test_main() {
+	mut fake := Faker{}
+
+	code := fake.currency_code()
+	codes := Currency.cases().map(it.to_code())
+	assert codes.contains(code)
+}

vlib/v/tests/generic_calls/country.v

@@ -0,0 +1,7 @@
+module main
+
+pub enum Country {
+	afghanistan
+	albania
+	algeria
+}

vlib/v/tests/generic_calls/country_cases.v

@@ -0,0 +1,11 @@
+module main
+
+pub fn Country.cases() []Country {
+	mut cases := []Country{}
+
+	$for country in Country.values {
+		case := Country.from(country.name) or { panic(err) }
+		cases << case
+	}
+	return cases
+}

vlib/v/tests/generic_calls/currency.v

@@ -0,0 +1,7 @@
+module main
+
+pub enum Currency {
+	afghani
+	argentina_peso
+	aruba_guilder
+}

vlib/v/tests/generic_calls/currency_to_code.v

@@ -0,0 +1,9 @@
+module main
+
+pub fn (currency Currency) to_code() string {
+	return match currency {
+		.afghani { 'AFN' }
+		.argentina_peso { 'ARS' }
+		.aruba_guilder { 'AWG' }
+	}
+}

vlib/v/tests/generic_calls/curreny_cases.v

@@ -0,0 +1,11 @@
+module main
+
+pub fn Currency.cases() []Currency {
+	mut cases := []Currency{}
+
+	$for currency in Currency.values {
+		case := Currency.from(currency.name) or { panic(err) }
+		cases << case
+	}
+	return cases
+}

vlib/v/tests/generic_calls/faker.v

@@ -0,0 +1,23 @@
+module main
+
+import rand.pcg32 { PCG32RNG }
+
+enum Lang {
+	en
+}
+
+pub struct Faker {
+pub mut:
+	lang       Lang = .en
+	randomizer PCG32RNG
+	seeded     bool
+}
+
+pub fn (mut this Faker) random_element[T](elements []T) T {
+	number_of_elements := u64(elements.len)
+	random_index := this.randomizer.u64() % number_of_elements
+
+	return elements[random_index] or {
+		panic('Failed to get random element at index ${random_index} with length ${number_of_elements}.')
+	}
+}

vlib/v/tests/generic_calls/faker_country_name.v

@@ -0,0 +1,5 @@
+module main
+
+pub fn (mut this Faker) country_name() string {
+	return this.random_element(Country.cases()).str()
+}

vlib/v/tests/generic_calls/faker_currency_code.v

@@ -0,0 +1,5 @@
+module main
+
+pub fn (mut this Faker) currency_code() string {
+	return this.random_element(Currency.cases()).to_code()
+}