diff --git a/tests/TypeInferenceTest.php b/tests/TypeInferenceTest.php
index 1b82760..510760b 100644
--- a/tests/TypeInferenceTest.php
+++ b/tests/TypeInferenceTest.php
@@ -43,6 +43,7 @@ public function dataFileAsserts(): iterable
         yield from $this->gatherAssertTypes(__DIR__ . '/data/get_user.php');
         yield from $this->gatherAssertTypes(__DIR__ . '/data/get_user_by.php');
         yield from $this->gatherAssertTypes(__DIR__ . '/data/has_filter.php');
+        yield from $this->gatherAssertTypes(__DIR__ . '/data/have_posts.php');
         yield from $this->gatherAssertTypes(__DIR__ . '/data/is_new_day.php');
         yield from $this->gatherAssertTypes(__DIR__ . '/data/is_wp_error.php');
         yield from $this->gatherAssertTypes(__DIR__ . '/data/mysql2date.php');
diff --git a/tests/data/have_posts.php b/tests/data/have_posts.php
new file mode 100644
index 0000000..d3cf599
--- /dev/null
+++ b/tests/data/have_posts.php
@@ -0,0 +1,18 @@
+<?php
+
+declare(strict_types=1);
+
+namespace PhpStubs\WordPress\Core\Tests;
+
+use function have_posts;
+use function PHPStan\Testing\assertType;
+
+assertType('bool', have_posts());
+
+if (have_posts()) {
+    assertType('bool', have_posts());
+}
+
+if (! have_posts()) {
+    assertType('bool', have_posts());
+}