fix(language-core): add type check for v-model without argument (#4598)

packages/language-core/lib/codegen/template/elementProps.ts

@@ -132,7 +132,12 @@ export function* generateElementProps(
 							(prop.loc as any).name_2 ?? ((prop.loc as any).name_2 = {}),
 							shouldCamelize
 						)
-						: [propName]
+						: wrapWith(
+							prop.loc.start.offset,
+							prop.loc.start.offset + 'v-model'.length,
+							ctx.codeFeatures.verification,
+							propName
+						)
 				),
 				`: (`,
 				...genereatePropExp(

test-workspace/tsc/vue2/tsconfig.json

@@ -20,6 +20,7 @@
 		"../vue3/#3782",
 		"../vue3/#4327",
 		"../vue3/#4512",
+		"../vue3/#4540",
 		"../vue3/components",
 		"../vue3/defineEmits",
 		"../vue3/defineModel",

test-workspace/tsc/vue3/#4540/component.vue

@@ -0,0 +1,5 @@
+<script setup lang="ts">
+defineProps<{ foo: number; }>();
+
+defineModel<number>({ required: true });
+</script>

test-workspace/tsc/vue3/#4540/main.vue

@@ -0,0 +1,13 @@
+<script setup lang="ts">
+import { ref } from 'vue';
+import Comp from './component.vue';
+
+const model = ref('');
+</script>
+
+<template>
+	<!-- @vue-expect-error -->
+	<Comp v-model="model" :foo="1" />
+	<!-- @vue-expect-error -->
+	<Comp v-model:model-value="model" :foo="1" />
+</template>