Platform test: compare inferred types with real SQL engine results

Author: janedbal

.github/workflows/platform-matrix-test.yml

@@ -0,0 +1,58 @@
+# https://help.github.com/en/categories/automating-your-workflow-with-github-actions
+
+name: "Platform matrix test"
+
+on:
+  pull_request:
+  push:
+    branches:
+      - "1.4.x"
+
+jobs:
+  tests:
+    name: "Platform matrix test"
+    runs-on: "ubuntu-latest"
+
+    strategy:
+      fail-fast: false
+      matrix:
+        php-version:
+          - "8.0"
+          - "8.1"
+
+    steps:
+      - name: "Checkout"
+        uses: actions/checkout@v4
+
+      - name: "Install PHP"
+        uses: "shivammathur/setup-php@v2"
+        with:
+          coverage: "none"
+          php-version: "${{ matrix.php-version }}"
+          ini-file: development
+          extensions: pdo, mysqli, pgsql, pdo_mysql, pdo_pgsql, pdo_sqlite, mongodb
+
+      - name: "Install dependencies"
+        run: "composer install --no-interaction --no-progress"
+
+      - name: "Run platform matrix test"
+        run: vendor/bin/phpunit --group=platform
+
+    services:
+      postgres:
+        image: "postgres:latest"
+        env:
+          POSTGRES_PASSWORD: "secret"
+          POSTGRES_USER: root
+          POSTGRES_DB: foo
+        ports:
+          - "5432:5432"
+
+      mysql:
+        image: "mysql:latest"
+        env:
+          MYSQL_ALLOW_EMPTY_PASSWORD: yes
+          MYSQL_ROOT_PASSWORD: secret
+          MYSQL_DATABASE: foo
+        ports:
+          - "3306:3306"

.gitignore

@@ -2,4 +2,5 @@
 /build-cs
 /vendor
 /composer.lock
+/.env
 .phpunit.result.cache

Makefile

@@ -3,7 +3,7 @@ check: lint cs tests phpstan
 
 .PHONY: tests
 tests:
-	php vendor/bin/phpunit
+	php vendor/bin/phpunit --exclude-group=platform
 
 .PHONY: lint
 lint:

phpstan.neon

@@ -43,3 +43,7 @@ parameters:
 			message: '#^Call to function method_exists\(\) with ''Doctrine\\\\ORM\\\\EntityManager'' and ''create'' will always evaluate to true\.$#'
 			path: src/Doctrine/Mapping/ClassMetadataFactory.php
 			reportUnmatched: false
+		-
+			message: '#^Call to function method_exists\(\) with Doctrine\\DBAL\\Connection and ''getNativeConnection'' will always evaluate to true\.$#'
+			path: tests/Platform/QueryResultTypeWalkerFetchTypeMatrixTest.php
+			reportUnmatched: false

src/Type/Doctrine/Descriptors/BooleanType.php

@@ -28,7 +28,8 @@ public function getDatabaseInternalType(): Type
 	{
 		return TypeCombinator::union(
 			new ConstantIntegerType(0),
-			new ConstantIntegerType(1)
+			new ConstantIntegerType(1),
+			new \PHPStan\Type\BooleanType()
 		);
 	}
 

tests/Platform/MatrixEntity/TestEntity.php

@@ -0,0 +1,56 @@
+<?php declare(strict_types = 1);
+
+namespace PHPStan\Platform\MatrixEntity;
+
+use Doctrine\ORM\Mapping as ORM;
+
+/**
+ * @ORM\Table(name="test")
+ * @ORM\Entity
+ */
+class TestEntity
+{
+
+	/**
+	 * @ORM\Id
+	 * @ORM\Column(type="string", name="col_string", nullable=false)
+	 * @var string
+	 */
+	public $col_string;
+
+	/**
+	 * @ORM\Id
+	 * @ORM\Column(type="boolean", name="col_bool", nullable=false)
+	 * @var bool
+	 */
+	public $col_bool;
+
+	/**
+	 * @ORM\Id
+	 * @ORM\Column(type="float", name="col_float", nullable=false)
+	 * @var float
+	 */
+	public $col_float;
+
+	/**
+	 * @ORM\Id
+	 * @ORM\Column(type="decimal", name="col_decimal", nullable=false, scale=1, precision=2)
+	 * @var string
+	 */
+	public $col_decimal;
+
+	/**
+	 * @ORM\Id
+	 * @ORM\Column(type="integer", name="col_int", nullable=false)
+	 * @var int
+	 */
+	public $col_int;
+
+	/**
+	 * @ORM\Id
+	 * @ORM\Column(type="bigint", name="col_bigint", nullable=false)
+	 * @var int
+	 */
+	public $col_bigint;
+
+}