fix: should not make $props optional

Author: KazariEX

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

@@ -119,7 +119,6 @@ export function generateGlobalTypes(lib: string, target: number, strictTemplates
 		? T | __VLS_unknownDirective
 		: NonNullable<(T & Record<string, __VLS_unknownDirective>)['created' | 'beforeMount' | 'mounted' | 'beforeUpdate' | 'updated' | 'beforeUnmount' | 'unmounted']>;
 	function __VLS_withScope<T, K>(ctx: T, scope: K): ctx is T & K;
-	function __VLS_makeOptional<T>(t: T): { [K in keyof T]?: T[K] };
 	function __VLS_nonNullable<T>(t: T): T extends null | undefined ? never : T;
 	function __VLS_asFunctionalComponent<T, K = T extends new (...args: any) => any ? InstanceType<T> : unknown>(t: T, instance?: K):
 		T extends new (...args: any) => any

packages/language-core/lib/codegen/script/component.ts

@@ -52,8 +52,7 @@ export function* generateComponent(
 export function* generateComponentSetupReturns(scriptSetupRanges: ScriptSetupRanges): Generator<Code> {
 	// fill $props
 	if (scriptSetupRanges.props.define) {
-		// NOTE: defineProps is inaccurate for $props
-		yield `$props: __VLS_makeOptional(${scriptSetupRanges.props.name ?? `__VLS_props`}),${newLine}`;
+		yield `$props: ${scriptSetupRanges.props.name ?? `__VLS_props`},${newLine}`;
 		yield `...${scriptSetupRanges.props.name ?? `__VLS_props`},${newLine}`;
 	}
 	// fill $emit

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

@@ -0,0 +1,8 @@
+<script setup>
+defineProps({
+  msg: {
+    type: String,
+    required: true
+  }
+})
+</script>

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

@@ -0,0 +1,8 @@
+<script lang="ts" setup>
+import Child from './child.vue';
+</script>
+
+<template>
+	<!-- @vue-expect-error -->
+	<Child />
+</template>