fix(language-core): infer array type in v-for

packages/language-core/types/template-helpers.d.ts

@@ -108,7 +108,7 @@ declare global {
 
 	function __VLS_vFor<T>(source: T): T extends number ? [number, number][]
 		: T extends string ? [string, number][]
-		: T extends any[] ? [T[number], number][]
+		: T extends (infer U)[] ? [U, number][]
 		: T extends Iterable<infer V> ? [V, number][]
 		: [T[keyof T], `${keyof T & (string | number)}`, number][];
 	function __VLS_vSlot<S, D extends S>(slot: S, decl?: D): D extends (...args: infer P) => any ? P : any[];

test-workspace/tsc/#5895/main.vue

@@ -0,0 +1,20 @@
+<script setup lang="ts" generic="TValue extends string, TGrid extends readonly (readonly TValue[])[]">
+import { type MaybeRef, unref } from 'vue';
+
+const getGridKey = (rowIndex: number, columnIndex: number) =>
+  `${rowIndex}|${columnIndex}`;
+
+class Grid<TValue, TGrid extends readonly (readonly TValue[])[]> {
+  grid!: MaybeRef<TGrid>;
+}
+
+const { grid } = defineProps<{
+  grid: Grid<TValue, TGrid>;
+}>();
+</script>
+
+<template>
+  <template v-for="(row, rowIndex) of unref(grid.grid)" :key="rowIndex">
+    <div v-for="(_text, columnIndex) of row" :key="getGridKey(rowIndex, columnIndex)" />
+  </template>
+</template>

test-workspace/tsc/#5895/tsconfig.json

@@ -0,0 +1,4 @@
+{
+	"extends": "../../tsconfig.base.json",
+	"include": ["**/*"]
+}