diff --git a/stubs/Php80.phpstub b/stubs/Php80.phpstub
index 5d3c9fcf4cd..c9da1534a03 100644
--- a/stubs/Php80.phpstub
+++ b/stubs/Php80.phpstub
@@ -89,14 +89,18 @@ class ReflectionClass implements Reflector {
     public function getDocComment(): string|false {}
 
     /**
-     * @param ReflectionClass|class-string $class
+     * @template J as object
+     * @param self<J>|class-string<J> $class
+     * @psalm-assert-if-true self<T&J> $this
      *
      * @psalm-pure
      */
     public function isSubclassOf(self|string $class): bool {}
 
     /**
-     * @param self|class-string $interface
+     * @template J as object
+     * @param self<J>|interface-string<J> $interface
+     * @psalm-assert-if-true self<T&J> $this
      *
      * @psalm-pure
      */
diff --git a/stubs/Reflection.phpstub b/stubs/Reflection.phpstub
index 02bfa3859c5..b44d37620e4 100644
--- a/stubs/Reflection.phpstub
+++ b/stubs/Reflection.phpstub
@@ -222,7 +222,9 @@ class ReflectionClass implements Reflector {
     public function getParentClass() {}
 
     /**
-     * @param ReflectionClass|class-string $class
+     * @template J as object
+     * @param self<J>|class-string<J> $class
+     * @psalm-assert-if-true self<T&J> $this
      *
      * @psalm-pure
      */
@@ -245,7 +247,9 @@ class ReflectionClass implements Reflector {
     public function isIterable(): bool {}
 
     /**
-     * @param self|class-string $interface
+     * @template J as object
+     * @param self<J>|interface-string<J> $interface
+     * @psalm-assert-if-true self<T&J> $this
      *
      * @psalm-pure
      */
diff --git a/tests/ReflectionTest.php b/tests/ReflectionTest.php
new file mode 100644
index 00000000000..b8e7bb998a4
--- /dev/null
+++ b/tests/ReflectionTest.php
@@ -0,0 +1,36 @@
+<?php
+
+declare(strict_types=1);
+
+namespace Psalm\Tests;
+
+use Psalm\Tests\Traits\ValidCodeAnalysisTestTrait;
+
+class ReflectionTest extends TestCase
+{
+    use ValidCodeAnalysisTestTrait;
+
+    public function providerValidCodeParse(): iterable
+    {
+        yield 'ReflectionClass::isSubclassOf' => [
+            'code' => <<<'PHP'
+                <?php
+                $a = new ReflectionClass(stdClass::class);
+                if (!$a->isSubclassOf(Iterator::class)) {
+                    throw new Exception();
+                }
+                PHP,
+            'assertions' => ['$a===' => 'ReflectionClass<stdClass&Iterator>'],
+        ];
+        yield 'ReflectionClass::implementsInterface' => [
+            'code' => <<<'PHP'
+                <?php
+                $a = new ReflectionClass(stdClass::class);
+                if (!$a->implementsInterface(Iterator::class)) {
+                    throw new Exception();
+                }
+                PHP,
+            'assertions' => ['$a===' => 'ReflectionClass<stdClass&Iterator>'],
+        ];
+    }
+}
diff --git a/tests/Traits/ValidCodeAnalysisTestTrait.php b/tests/Traits/ValidCodeAnalysisTestTrait.php
index f5f710ecbaa..ea9e70a4661 100644
--- a/tests/Traits/ValidCodeAnalysisTestTrait.php
+++ b/tests/Traits/ValidCodeAnalysisTestTrait.php
@@ -18,7 +18,15 @@
 trait ValidCodeAnalysisTestTrait
 {
     /**
-     * @return iterable<string,array{code:string,assertions?:array<string,string>,ignored_issues?:list<string>,php_version?:string}>
+     * @return iterable<
+     *     string,
+     *     array{
+     *         code: string,
+     *         assertions?: array<string, string>,
+     *         ignored_issues?: list<string>,
+     *         php_version?: string,
+     *     }
+     * >
      */
     abstract public function providerValidCodeParse(): iterable;