EntityColumnRule - test Id without GeneratedValue

Author: ondrejmirtes

tests/Rules/Doctrine/ORM/EntityColumnRuleTest.php

@@ -176,6 +176,13 @@ public function generatedIdsProvider(): Iterator
 		yield 'nullable property' => [__DIR__ . '/data/GeneratedIdEntity3.php', []];
 		yield 'nullable both' => [__DIR__ . '/data/GeneratedIdEntity4.php', []];
 		yield 'composite' => [__DIR__ . '/data/CompositePrimaryKeyEntity1.php', []];
+		yield 'no generated value 1' => [__DIR__ . '/data/GeneratedIdEntity5.php', []];
+		yield 'no generated value 2' => [__DIR__ . '/data/GeneratedIdEntity6.php', [
+			[
+				'Property PHPStan\Rules\Doctrine\ORM\GeneratedIdEntity6::$id type mapping mismatch: property can contain int|null but database expects int.',
+				18,
+			],
+		]];
 	}
 
 	public function testCustomType(): void

tests/Rules/Doctrine/ORM/data/GeneratedIdEntity5.php

@@ -0,0 +1,20 @@
+<?php declare(strict_types = 1);
+
+namespace PHPStan\Rules\Doctrine\ORM;
+
+use Doctrine\ORM\Mapping as ORM;
+
+/**
+ * @ORM\Entity()
+ */
+class GeneratedIdEntity5
+{
+
+	/**
+	 * @ORM\Id()
+	 * @ORM\Column(type="integer", nullable=false)
+	 * @var int
+	 */
+	private $id;
+
+}

tests/Rules/Doctrine/ORM/data/GeneratedIdEntity6.php

@@ -0,0 +1,20 @@
+<?php declare(strict_types = 1);
+
+namespace PHPStan\Rules\Doctrine\ORM;
+
+use Doctrine\ORM\Mapping as ORM;
+
+/**
+ * @ORM\Entity()
+ */
+class GeneratedIdEntity6
+{
+
+	/**
+	 * @ORM\Id()
+	 * @ORM\Column(type="integer", nullable=false)
+	 * @var int|null
+	 */
+	private $id;
+
+}