diff --git a/index.d.ts b/index.d.ts
index 0412600c..7fdbb721 100644
--- a/index.d.ts
+++ b/index.d.ts
@@ -316,7 +316,7 @@ export interface FrozenProcessor<
    *   Promise that resolves to the resulting tree.
    */
   run(
-    node: Specific<Node, CompileTree>,
+    node: Specific<Node, ParseTree>,
     file?: VFileCompatible | undefined
   ): Promise<Specific<Node, CompileTree>>
 
diff --git a/index.test-d.ts b/index.test-d.ts
index ede2233b..e5cf2211 100644
--- a/index.test-d.ts
+++ b/index.test-d.ts
@@ -360,13 +360,19 @@ expectType<VFile & {result: ReactNode}>(
 )
 
 // A parser plugin defines the input of `.run`:
+expectType<Promise<MdastRoot>>(unified().use(remarkParse).run(someMdast))
 expectType<MdastRoot>(unified().use(remarkParse).runSync(someMdast))
+expectError(unified().use(remarkParse).run(someHast))
 expectError(unified().use(remarkParse).runSync(someHast))
 
 // A compiler plugin defines the input/output of `.run`:
+expectError(unified().use(rehypeStringify).run(someMdast))
 expectError(unified().use(rehypeStringify).runSync(someMdast))
 // As a parser and a compiler are set, it can be assumed that the input of `run`
 // is the result of the parser, and the output is the input of the compiler.
+expectType<Promise<HastRoot>>(
+  unified().use(remarkParse).use(rehypeStringify).run(someMdast)
+)
 expectType<HastRoot>(
   unified().use(remarkParse).use(rehypeStringify).runSync(someMdast)
 )