diff --git a/‎packages/language-core/lib/codegen/localTypes.ts‎
Lines changed: 2 additions & 2 deletions b/‎packages/language-core/lib/codegen/localTypes.ts‎
Lines changed: 2 additions & 2 deletions
diff --git a/‎test-workspace/tsc/#6180/Button.vue‎
Lines changed: 29 additions & 0 deletions b/‎test-workspace/tsc/#6180/Button.vue‎
Lines changed: 29 additions & 0 deletions
diff --git a/‎test-workspace/tsc/#6180/main.vue‎
Lines changed: 13 additions & 0 deletions b/‎test-workspace/tsc/#6180/main.vue‎
Lines changed: 13 additions & 0 deletions
diff --git a/‎test-workspace/tsc/#6180/tsconfig.json‎
Lines changed: 7 additions & 0 deletions b/‎test-workspace/tsc/#6180/tsconfig.json‎
Lines changed: 7 additions & 0 deletions
diff --git a/‎test-workspace/tsc/tsconfig.json‎
Lines changed: 3 additions & 0 deletions b/‎test-workspace/tsc/tsconfig.json‎
Lines changed: 3 additions & 0 deletions
@@ -11,7 +11,7 @@ export function getLocalTypesGenerator(vueCompilerOptions: VueCompilerOptions, l
 			isTs
 				? `
 type __VLS_WithDefaults<P, D> = {
-	[K in keyof Pick<P, keyof P>]: K extends keyof D
+	[K in keyof P & string]: K extends keyof D
 		? ${PrettifyLocal.name}<P[K] & { default: D[K] }>
 		: P[K]
 };
@@ -75,7 +75,7 @@ type __VLS_PropsChildren<S> = {
 			isTs
 				? `
 type __VLS_TypePropsToOption<T> = {
-	[K in keyof T]-?: {} extends Pick<T, K>
+	[K in keyof T & string]-?: {} extends Pick<T, K>
 		? { type: import('${vueCompilerOptions.lib}').PropType<Required<T>[K]> }
 		: { type: import('${vueCompilerOptions.lib}').PropType<T[K]>, required: true }
 };
 
@@ -0,0 +1,29 @@
+<script setup lang="ts">
+interface SharedProps {
+	size?: 'sm' | 'md' | 'lg';
+}
+
+interface NativeProps extends SharedProps {
+	as?: 'button';
+	type?: 'button' | 'submit';
+	href?: never;
+}
+
+interface LinkProps extends SharedProps {
+	as: 'a';
+	href: string;
+	type?: never;
+}
+
+type Props = NativeProps | LinkProps;
+
+withDefaults(defineProps<Props>(), {
+	as: 'button',
+	type: 'button',
+	size: 'md',
+});
+</script>
+
+<template>
+	<slot />
+</template>
@@ -0,0 +1,13 @@
+<script setup lang="ts">
+import { exactType } from '../shared';
+import Button from './Button.vue';
+
+type Props = InstanceType<typeof Button>['$props'];
+
+// #6180: withDefaults + discriminated union must not collapse to Record<string, any>
+exactType({} as string extends keyof Props ? true : false, false);
+</script>
+
+<template>
+	<Button as="a" href="/" />
+</template>
@@ -0,0 +1,7 @@
+{
+	"extends": "../../tsconfig.base.json",
+	"vueCompilerOptions": {
+		"target": 3.5
+	},
+	"include": ["**/*"]
+}
@@ -526,6 +526,9 @@
 		{
 			"path": "./#6094/tsconfig.json"
 		},
+		{
+			"path": "./#6180/tsconfig.json"
+		},
 		{
 			"path": "./#625/tsconfig.json"
 		},
Original file line number	Diff line number	Diff line change
`@@ -526,6 +526,9 @@`
`526`	`526`	`{`
`527`	`527`	`"path": "./#6094/tsconfig.json"`
`528`	`528`	`},`
	`529`	`+ {`
	`530`	`+ "path": "./#6180/tsconfig.json"`
	`531`	`+ },`
`529`	`532`	`{`
`530`	`533`	`"path": "./#625/tsconfig.json"`
`531`	`534`	`},`