Implement compatibility checking

.github/workflows/infection.yml

@@ -1,6 +1,6 @@
 name: Infection
 
-on: [ pull_request, push ]
+on: [ pull_request ]
 
 jobs:
   build:
@@ -52,3 +52,10 @@ jobs:
               --min-msi=100 \
               --min-covered-msi=100 \
               --ignore-msi-with-no-mutations
+
+      - name: Archive Infection log
+        uses: actions/upload-artifact@v3
+        if: always()
+        with:
+          name: infection-log
+          path: infection.log

.github/workflows/phpcs.yml

@@ -1,6 +1,6 @@
 name: PHPCS
 
-on: [ pull_request, push ]
+on: [ pull_request ]
 
 jobs:
   build:

.github/workflows/phpstan.yml

@@ -1,6 +1,6 @@
 name: PHPStan
 
-on: [ pull_request, push ]
+on: [ pull_request ]
 
 jobs:
   build:

.github/workflows/phpunit.yml

@@ -1,6 +1,6 @@
 name: PHPUnit
 
-on: [ pull_request, push ]
+on: [ pull_request ]
 
 jobs:
   build:
@@ -11,6 +11,7 @@ jobs:
       matrix:
         php: [ '8.1' ]
         prefer-lowest: [ '--prefer-lowest', '' ]
+      fail-fast: false
 
     name: PHPUnit on PHP ${{ matrix.php }}
 

composer.json

@@ -7,7 +7,7 @@
     "require-dev": {
         "infection/infection": "^0.26.13",
         "phpstan/extension-installer": "^1.1",
-        "phpstan/phpstan": "^1.8",
+        "phpstan/phpstan": "^1.9",
         "phpstan/phpstan-strict-rules": "^1.3",
         "phpunit/phpunit": "^9.5",
         "slevomat/coding-standard": "^8.1",
@@ -21,7 +21,8 @@
     },
     "autoload-dev": {
         "psr-4": {
-            "PhpTypes\\Types\\Tests\\Functional\\": "tests/functional"
+            "PhpTypes\\Types\\Tests\\Functional\\": "tests/functional",
+            "PhpTypes\\Types\\Tests\\Unit\\": "tests/unit"
         }
     },
     "config": {

infection.json

@@ -9,6 +9,10 @@
         "text": "infection.log"
     },
     "mutators": {
-        "@default": true
-    }
-}
+        "@default": true,
+        "global-ignoreSourceCodeByRegex": [
+            "assert\\(.+\\);"
+        ]
+    },
+    "timeout": 1
+}

phpstan.dist.neon

@@ -3,10 +3,3 @@ parameters:
     paths:
         - src
         - tests
-    scanFiles:
-        - generated/PhpTypes/Ast/Generated/PhpTypesBaseListener.php
-        - generated/PhpTypes/Ast/Generated/PhpTypesBaseVisitor.php
-        - generated/PhpTypes/Ast/Generated/PhpTypesLexer.php
-        - generated/PhpTypes/Ast/Generated/PhpTypesListener.php
-        - generated/PhpTypes/Ast/Generated/PhpTypesParser.php
-        - generated/PhpTypes/Ast/Generated/PhpTypesVisitor.php

phpunit.xml

@@ -7,6 +7,9 @@
         <testsuite name="Functional">
             <directory>./tests/functional</directory>
         </testsuite>
+        <testsuite name="Unit">
+            <directory>./tests/unit</directory>
+        </testsuite>
     </testsuites>
     <coverage>
         <include>

src/BoolType.php

@@ -13,17 +13,14 @@ public function __construct(public readonly ?bool $value = null)
     {
     }
 
-    public function __toString(): string
-    {
-        return match ($this->value) {
-            null => 'bool',
-            true => 'true',
-            false => 'false',
-        };
-    }
-
     public function toNode(): NodeInterface
     {
-        return new IdentifierNode((string)$this);
+        return new IdentifierNode(
+            match ($this->value) {
+                null => 'bool',
+                true => 'true',
+                false => 'false',
+            }
+        );
     }
 }

src/ClassLikeType.php

@@ -12,9 +12,13 @@ final class ClassLikeType extends AbstractType
     /**
      * @param non-empty-string $name
      * @param list<AbstractType> $typeParameters
+     * @param list<ClassLikeType> $parents
      */
-    public function __construct(public readonly string $name, public readonly array $typeParameters = [])
-    {
+    public function __construct(
+        public readonly string $name,
+        public readonly array $typeParameters = [],
+        public readonly array $parents = [],
+    ) {
     }
 
     public function toNode(): NodeInterface