fix(language-core): Prettify<T> caused generic props gets inferred as unknown (#5667)

Author: so1ve

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

@@ -137,7 +137,7 @@ export function generateGlobalTypes(options: VueCompilerOptions) {
 	type __VLS_ResolveDirectives<T> = {
 		[K in keyof T & string as \`v\${Capitalize<K>}\`]: T[K];
 	};
-	type __VLS_PrettifyGlobal<T> = { [K in keyof T as K]: T[K]; } & {};
+	type __VLS_PrettifyGlobal<T> = (T extends any ? { [K in keyof T]: T[K]; } : { [K in keyof T as K]: T[K]; }) & {};
 	type __VLS_WithDefaultsGlobal<P, D> = {
 		[K in keyof P as K extends keyof D ? K : never]-?: P[K];
 	} & {

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

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

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

@@ -81,9 +81,11 @@ exports[`vue-tsc-dts > Input: generic/component.vue, Output: generic/component.v
 };
 declare const _default: typeof __VLS_export;
 export default _default;
-type __VLS_PrettifyLocal<T> = {
+type __VLS_PrettifyLocal<T> = (T extends any ? {
+    [K in keyof T]: T[K];
+} : {
     [K in keyof T as K]: T[K];
-} & {};
+}) & {};
 "
 `;
 
@@ -114,9 +116,11 @@ exports[`vue-tsc-dts > Input: generic/custom-extension-component.cext, Output: g
 };
 declare const _default: typeof __VLS_export;
 export default _default;
-type __VLS_PrettifyLocal<T> = {
+type __VLS_PrettifyLocal<T> = (T extends any ? {
+    [K in keyof T]: T[K];
+} : {
     [K in keyof T as K]: T[K];
-} & {};
+}) & {};
 "
 `;
 

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

@@ -0,0 +1,8 @@
+<script setup lang="ts" generic="T">
+defineOptions({ inheritAttrs: false });
+defineProps<T>();
+</script>
+
+<template>
+	<slot v-bind="$attrs as T" />
+</template>

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

@@ -0,0 +1,10 @@
+<script setup lang="ts">
+import { exactType } from '../../shared';
+import child from './child.vue';
+</script>
+
+<template>
+  <child #default="{ foo, bar }" :foo="42" bar="baz">
+    {{ exactType(foo, {} as number) }} {{ exactType(bar, {} as string) }}
+  </child>
+</template>