we're green on PHP 8.0

.github/workflows/main.yml

@@ -13,10 +13,16 @@ jobs:
         include:
           - php: 7.2.34
             pthreads-version: 46962cf9c2d30b6e1e1ea50ca36de3df5d6d4e58
+            phpstan-config: php7
           - php: 7.3.25
             pthreads-version: 34d7e6b91ed92a625760fedd667e7cba2009e463
+            phpstan-config: php7
           - php: 7.4.13
             pthreads-version: 34d7e6b91ed92a625760fedd667e7cba2009e463
+            phpstan-config: php7
+          - php: 8.0.1
+            pthreads-version: bc16ee7b5a21faee9bd1743f830f7135b763fb56
+            phpstan-config: php8
 
     name: PHP ${{ matrix.php }}
     runs-on: ubuntu-latest
@@ -56,4 +62,4 @@ jobs:
         run: composer install --prefer-dist --no-interaction
 
       - name: Run PHPStan
-        run: ./vendor/bin/phpstan analyze --no-progress
+        run: ./vendor/bin/phpstan analyze --no-progress -c phpstan.${{ matrix.phpstan-config }}.neon

composer.json

@@ -4,7 +4,7 @@
 	"type": "library",
 	"license": "GPL-3.0",
 	"require": {
-		"php": ">=7.2.0",
+		"php": "^7.2 || ^8.0",
 		"php-ipv6": "*",
 		"php-64bit": "*",
 		"ext-pthreads": "~3.2.0",

phpstan.php7.neon

@@ -0,0 +1,6 @@
+includes:
+	- phpstan.shared.neon
+
+parameters:
+	typeAliases:
+		PhpSocket: resource

phpstan.php8.neon

@@ -0,0 +1,8 @@
+includes:
+	- phpstan.shared.neon
+	- tests/phpstan/configs/php8-changes.neon
+
+parameters:
+	phpVersion: 80000
+	typeAliases:
+		PhpSocket: '\Socket'

src/server/UDPServerSocket.php

@@ -40,7 +40,10 @@
 use const SOL_UDP;
 
 class UDPServerSocket{
-	/** @var resource */
+	/**
+	 * @var resource
+	 * @phpstan-var PhpSocket
+	 */
 	protected $socket;
 	/**
 	 * @var InternetAddress
@@ -77,6 +80,7 @@ public function getBindAddress() : InternetAddress{
 
 	/**
 	 * @return resource
+	 * @phpstan-return PhpSocket
 	 */
 	public function getSocket(){
 		return $this->socket;

tests/phpstan/configs/php8-changes.neon

@@ -0,0 +1,12 @@
+parameters:
+	ignoreErrors:
+		-
+			message: "#^Call to function assert\\(\\) with true will always evaluate to true\\.$#"
+			count: 1
+			path: ../../../src/server/Session.php
+
+		-
+			message: "#^Strict comparison using \\!\\=\\= between array\\<int, string\\> and false will always evaluate to true\\.$#"
+			count: 1
+			path: ../../../src/server/Session.php
+