Test support for IsSuperTypeOfResult (#4)

Author: staabm

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
 ,
 		];
 	}