fix(language-core): Prettify<T> breaks generics inferencing (#5424)

Author: so1ve

packages/language-core/lib/codegen/globalTypes.ts

@@ -140,7 +140,7 @@ export function generateGlobalTypes({
 	type __VLS_ResolveDirectives<T> = {
 		[K in Exclude<keyof T, keyof __VLS_GlobalDirectives> & string as \`v\${Capitalize<K>}\`]: T[K];
 	};
-	type __VLS_PrettifyGlobal<T> = { [K in keyof T]: T[K]; } & {};
+	type __VLS_PrettifyGlobal<T> = { [K in keyof T as K]: T[K]; } & {};
 	type __VLS_UseTemplateRef<T> = Readonly<import('${lib}').ShallowRef<T | null>>;
 
 	function __VLS_getVForSourceType<T extends number | string | any[] | Iterable<any>>(source: T): [

packages/language-core/lib/codegen/localTypes.ts

@@ -24,7 +24,7 @@ type __VLS_WithDefaults<P, D> = {
 	);
 	const PrettifyLocal = defineHelper(
 		`__VLS_PrettifyLocal`,
-		() => `type __VLS_PrettifyLocal<T> = { [K in keyof T]: T[K]; } & {}${endOfLine}`,
+		() => `type __VLS_PrettifyLocal<T> = { [K in keyof T as K]: T[K]; } & {}${endOfLine}`,
 	);
 	const WithSlots = defineHelper(
 		`__VLS_WithSlots`,

packages/tsc/tests/__snapshots__/dts.spec.ts.snap

@@ -22,7 +22,7 @@ declare const _default: <Row extends BaseRow>(__VLS_props: NonNullable<Awaited<t
 };
 export default _default;
 type __VLS_PrettifyLocal<T> = {
-    [K in keyof T]: T[K];
+    [K in keyof T as K]: T[K];
 } & {};
 "
 `;
@@ -104,7 +104,7 @@ exports[`vue-tsc-dts > Input: generic/component.vue, Output: generic/component.v
 };
 export default _default;
 type __VLS_PrettifyLocal<T> = {
-    [K in keyof T]: T[K];
+    [K in keyof T as K]: T[K];
 } & {};
 "
 `;
@@ -134,7 +134,7 @@ exports[`vue-tsc-dts > Input: generic/custom-extension-component.cext, Output: g
 };
 export default _default;
 type __VLS_PrettifyLocal<T> = {
-    [K in keyof T]: T[K];
+    [K in keyof T as K]: T[K];
 } & {};
 "
 `;

test-workspace/tsc/passedFixtures/vue3/#5159/child.vue

@@ -0,0 +1,7 @@
+<script setup lang="ts" generic="T extends keyof HTMLElementTagNameMap = 'h1'">
+defineProps<
+	Partial<HTMLElementTagNameMap[T]> & {
+		as?: T;
+	}
+>();
+</script>

test-workspace/tsc/passedFixtures/vue3/#5159/main.vue

@@ -0,0 +1,7 @@
+<script setup lang="ts">
+import Child from './child.vue';
+</script>
+
+<template>
+	<Child as="h2" />
+</template>