test(tsc): add tests for #3779, #3820

package.json

@@ -27,5 +27,14 @@
 		"typescript": "latest",
 		"vite": "latest",
 		"vitest": "latest"
+	},
+	"pnpm": {
+		"overrides": {
+			"@vue/runtime-dom": "alpha",
+			"@vue/shared": "alpha",
+			"@vue/compiler-dom": "alpha",
+			"@vue/compiler-sfc": "alpha",
+			"vue": "alpha"
+		}
 	}
 }

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

@@ -0,0 +1,10 @@
+<script setup lang="ts">
+import { exactType } from '../../shared';
+defineProps<{
+	optionalBoolean?: boolean;
+}>();
+</script>
+
+<template>
+	<h1>{{ exactType(optionalBoolean, {} as boolean | undefined) }}</h1>
+</template>

test-workspace/tsc/vue3/#3779/named.vue

@@ -0,0 +1,10 @@
+<script setup lang="ts">
+import { exactType } from '../../shared';
+const props = defineProps<{
+	optionalBoolean?: boolean;
+}>();
+</script>
+
+<template>
+	<h1>{{ exactType(optionalBoolean, true as boolean) }}</h1>
+</template>

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

@@ -0,0 +1,19 @@
+<script setup lang="ts" generic="T extends { name: string }">
+const props = defineProps<{
+	one: T;
+	all: Array<T>;
+}>();
+</script>
+
+<template>
+	<div>
+		<!-- incorrect inference -->
+		<div>{{ one.name }}</div>
+		<!-- correct inference -->
+		<div>{{ props.one.name }}</div>
+		<ul>
+			<!-- correct inference -->
+			<li v-for="el in all">{{ el.name }}</li>
+		</ul>
+	</div>
+</template>