feat: Add Deno.ServeDefaultExport type (#24879)

Closes https://github.com/denoland/deno/issues/23725

6 files changed, 32 insertions, 0 deletions

diff --git a/tests/specs/serve/type_check/__test__.jsonc b/tests/specs/serve/type_check/__test__.jsonc
new file mode 100644
index 000000000..813eafc12
--- /dev/null
+++ b/tests/specs/serve/type_check/__test__.jsonc
@@ -0,0 +1,6 @@
+{
+  "args": "serve --check --port 12345 main.ts",
+  "output": "main.out",
+  "tempDir": true,
+  "exitCode": 1
+}
diff --git a/tests/specs/serve/type_check/main.out b/tests/specs/serve/type_check/main.out
new file mode 100644
index 000000000..4613ef265
--- /dev/null
+++ b/tests/specs/serve/type_check/main.out
@@ -0,0 +1,5 @@
+Check [WILDCARD]
+error: TS2353 [ERROR]: Object literal may only specify known properties, and 'bad' does not exist in type 'ServeDefaultExport'.
+  bad() {
+  ~~~
+    at [WILDCARD]main.ts:2:3
diff --git a/tests/specs/serve/type_check/main.ts b/tests/specs/serve/type_check/main.ts
new file mode 100644
index 000000000..10ba18337
--- /dev/null
+++ b/tests/specs/serve/type_check/main.ts
@@ -0,0 +1,4 @@
+export default {
+  bad() {
+  },
+} satisfies Deno.ServeDefaultExport;
diff --git a/tests/specs/serve/type_check2/__test__.jsonc b/tests/specs/serve/type_check2/__test__.jsonc
new file mode 100644
index 000000000..813eafc12
--- /dev/null
+++ b/tests/specs/serve/type_check2/__test__.jsonc
@@ -0,0 +1,6 @@
+{
+  "args": "serve --check --port 12345 main.ts",
+  "output": "main.out",
+  "tempDir": true,
+  "exitCode": 1
+}
diff --git a/tests/specs/serve/type_check2/main.out b/tests/specs/serve/type_check2/main.out
new file mode 100644
index 000000000..259acb85b
--- /dev/null
+++ b/tests/specs/serve/type_check2/main.out
@@ -0,0 +1,5 @@
+Check [WILDCARD]
+error: TS2339 [ERROR]: Property 'doesnt_exist' does not exist on type 'Request'.
+    console.log(request.doesnt_exist);
+                        ~~~~~~~~~~~~
+    at [WILDCARD]main.ts:3:25
diff --git a/tests/specs/serve/type_check2/main.ts b/tests/specs/serve/type_check2/main.ts
new file mode 100644
index 000000000..41cbf30ec
--- /dev/null
+++ b/tests/specs/serve/type_check2/main.ts
@@ -0,0 +1,6 @@
+export default {
+  fetch(request) {
+    console.log(request.doesnt_exist);
+    return new Response("Hello world!");
+  },
+} satisfies Deno.ServeDefaultExport;