chore: narrow v-for types for object union

#2758

Author: johnsoncodehk

packages/vue-language-core/src/utils/directorySharedTypes.ts

@@ -55,8 +55,8 @@ export declare function getVForSourceType<T extends { [Symbol.iterator](): Itera
 	undefined, // index
 ][];
 export declare function getVForSourceType<T>(source: T): [
-	T extends any ? T[keyof T] : never, // item
-	T extends any ? keyof T : never, // key
+	T[keyof T], // item
+	keyof T, // key
 	number, // index
 ][];
 

packages/vue-test-workspace/vue-tsc/v-for/generic.vue

@@ -1,7 +1,7 @@
 <template>
 	<div v-for="(val, key) in ({} as T)">
-		{{ exactType(val, {} as T extends any ? T[keyof T] : never) }}
-		{{ exactType(key, {} as T extends any ? keyof T : never) }}
+		{{ exactType(val, {} as T[keyof T]) }}
+		{{ exactType(key, {} as keyof T) }}
 	</div>
 </template>
 

packages/vue-test-workspace/vue-tsc/v-for/main.vue

@@ -36,9 +36,11 @@
   </div>
   <!-- objUnion -->
   <div v-for="(val, key) in objUnion">
-    {{ exactType(val, {} as string | number) }}
+    <!-- {{ exactType(val, {} as string | number) }} -->
+    {{ exactType(val, {} as string) }}
     {{ isNotAnyOrUndefined(val) }}
-    {{ exactType(key, {} as 'a' | 'b') }}
+    <!-- {{ exactType(key, {} as 'a' | 'b') }} -->
+    {{ exactType(key, {} as 'a') }}
     {{ isNotAnyOrUndefined(key) }}
   </div>
   <!-- record -->