Autogenerated id column should be positive-int

[javaDeveloperKid]

I want to mark a Doctrine entity $id field that is autogenerated by database engine as @var positive-int. However PHPStan complains.

class Entity
{
    /**
     * @var positive-int|null
     */
    #[ORM\Column(type: 'integer', options: ['unsigned' => true])]
    #[ORM\Id]
    #[ORM\GeneratedValue(strategy: 'IDENTITY')]
    private ?int $id;
}

PHPStan output: Property App\Rma\Domain\Rma\Rma::$id type mapping mismatch: database can contain int but property expects int<1, max>|null.

[janedbal]

['unsigned' => true] does not work for all drivers (e.g. in postgres)

[javaDeveloperKid]

['unsigned' => true] does not work for all drivers (e.g. in postgres)

@janedbal how is it related to my issue?

[janedbal]

If support would be added, it needs to be driver-aware.

[javaDeveloperKid]

Still don't understand. Is there any database that uses non-positive id?