Fix a bug where the first compatible type was sometimes removed

Author: MidnightDesign

tests/functional/CompatibilityTest.php

@@ -17,12 +17,9 @@
 use function array_map;
 use function array_search;
 use function explode;
-use function implode;
 use function in_array;
-use function is_int;
 use function sort;
 use function sprintf;
-use function var_dump;
 
 final class CompatibilityTest extends TestCase
 {
@@ -144,15 +141,17 @@ public function testCompatibility(string $super, string $sub, bool $expected): v
     public function compatibilityCases(): iterable
     {
         $compatibleTypes = self::compatibleTypes();
-        var_dump($compatibleTypes);
         foreach (self::types() as $super) {
             foreach (self::types() as $sub) {
                 $compatibleTypesKey = array_search([$super, $sub], $compatibleTypes, true);
-                $expected = is_int($compatibleTypesKey);
+                $expected = $compatibleTypesKey !== false;
                 $name = $expected
                     ? sprintf('%s is a subtype of %s', $sub, $super)
                     : sprintf('%s is not a subtype of %s', $sub, $super);
                 yield $name => [$super, $sub, $expected];
+                if ($compatibleTypesKey === false) {
+                    continue;
+                }
                 unset($compatibleTypes[$compatibleTypesKey]);
             }
         }