3 files changed, 26 insertions, 0 deletions
diff --git a/tests/specs/test/type_check_with_doc/__test__.jsonc b/tests/specs/test/type_check_with_doc/__test__.jsonc
new file mode 100644
index 000000000..c4a26529a
--- /dev/null
+++ b/tests/specs/test/type_check_with_doc/__test__.jsonc
@@ -0,0 +1,5 @@
+{
+  "args": "test --doc main.ts",
+  "output": "main.out",
+  "exitCode": 1
+}
diff --git a/tests/specs/test/type_check_with_doc/main.out b/tests/specs/test/type_check_with_doc/main.out
new file mode 100644
index 000000000..931a6a5f3
--- /dev/null
+++ b/tests/specs/test/type_check_with_doc/main.out
@@ -0,0 +1,13 @@
+Check [WILDCARD]/main.ts
+Check [WILDCARD]/main.ts$2-5.ts
+error: TS2322 [ERROR]: Type 'number' is not assignable to type 'string'.
+const a: string = 1;
+      ^
+    at file://[WILDCARD]/main.ts:8:7
+
+TS2322 [ERROR]: Type 'string' is not assignable to type 'number'.
+const b: number = "1";
+      ^
+    at file://[WILDCARD]/main.ts$2-5.ts:1:7
+
+Found 2 errors.
diff --git a/tests/specs/test/type_check_with_doc/main.ts b/tests/specs/test/type_check_with_doc/main.ts
new file mode 100644
index 000000000..04ccd00bf
--- /dev/null
+++ b/tests/specs/test/type_check_with_doc/main.ts
@@ -0,0 +1,8 @@
+/**
+ * ```ts
+ * const b: number = "1";
+ * ```
+ */
+function foo() {}
+
+const a: string = 1;