From 8a9c08537cb3911073108209d26a4c7017343875 Mon Sep 17 00:00:00 2001
From: Markus Staab <maggus.staab@googlemail.com>
Date: Sat, 18 Oct 2025 13:18:42 +0200
Subject: [PATCH] Test support for IsSuperTypeOfResult

---
 tests/Infection/TrinaryLogicMutatorTest.php | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/tests/Infection/TrinaryLogicMutatorTest.php b/tests/Infection/TrinaryLogicMutatorTest.php
index 8f1e734..82414b6 100644
--- a/tests/Infection/TrinaryLogicMutatorTest.php
+++ b/tests/Infection/TrinaryLogicMutatorTest.php
@@ -62,6 +62,22 @@ public static function mutationsProvider(): iterable
 				$trinary = \PHPStan\TrinaryLogic::createYes();
 				$trinary->maybe();
 				PHP
+,
+		];
+
+		yield 'It mutates IsSuperTypeOfResult yes' => [
+			<<<'PHP'
+				<?php
+				$trinary = \PHPStan\Type\IsSuperTypeOfResult::createYes();
+				$trinary->yes();
+				PHP
+,
+			<<<'PHP'
+				<?php
+
+				$trinary = \PHPStan\Type\IsSuperTypeOfResult::createYes();
+				!$trinary->no();
+				PHP
 ,
 		];
 	}