From 248aa41b77b425657069be106ce00b1ae93430c1 Mon Sep 17 00:00:00 2001
From: Johnson Chu <johnsoncodehk@gmail.com>
Date: Mon, 26 Aug 2024 00:53:57 +0800
Subject: [PATCH] Add tests for #3779, #3820

---
 .../tsc/passedFixtures/vue3.5/#3779/main.vue  | 10 ++++++++++
 .../tsc/passedFixtures/vue3.5/#3779/named.vue | 10 ++++++++++
 .../tsc/passedFixtures/vue3.5/#3820/main.vue  | 19 +++++++++++++++++++
 3 files changed, 39 insertions(+)
 create mode 100644 test-workspace/tsc/passedFixtures/vue3.5/#3779/main.vue
 create mode 100644 test-workspace/tsc/passedFixtures/vue3.5/#3779/named.vue
 create mode 100644 test-workspace/tsc/passedFixtures/vue3.5/#3820/main.vue

diff --git a/test-workspace/tsc/passedFixtures/vue3.5/#3779/main.vue b/test-workspace/tsc/passedFixtures/vue3.5/#3779/main.vue
new file mode 100644
index 0000000000..5fcef0b240
--- /dev/null
+++ b/test-workspace/tsc/passedFixtures/vue3.5/#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>
diff --git a/test-workspace/tsc/passedFixtures/vue3.5/#3779/named.vue b/test-workspace/tsc/passedFixtures/vue3.5/#3779/named.vue
new file mode 100644
index 0000000000..0af7707c82
--- /dev/null
+++ b/test-workspace/tsc/passedFixtures/vue3.5/#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>
diff --git a/test-workspace/tsc/passedFixtures/vue3.5/#3820/main.vue b/test-workspace/tsc/passedFixtures/vue3.5/#3820/main.vue
new file mode 100644
index 0000000000..4c9321df33
--- /dev/null
+++ b/test-workspace/tsc/passedFixtures/vue3.5/#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>