Property with declared type 'numeric' cannot be assigned type 'string(0)'

[vudaltsov]

https://psalm.dev/r/d6e5661e12

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/d6e5661e12

<?php

final class Request
{
    /**
     * @psalm-var numeric
     */
    public $index = '0';
    
    /**
     * @psalm-var numeric
     */
    public $index = 0;
    
    /**
     * @psalm-var numeric
     */
    public $index = 0.5;
}

Psalm output (using commit 8737abf):

ERROR: InvalidPropertyAssignmentValue - 8:21 - $this->index with declared type 'numeric' cannot be assigned type 'string(0)'

[weirdan]

Also it makes sense to flag duplicate properties.

[weirdan]

Reproduced without duplicates: https://psalm.dev/r/f1094923dd

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/f1094923dd

<?php

final class Request
{
    /**
     * @psalm-var numeric
     */
    public $index = '0';
}

Psalm output (using commit fe4af8f):

ERROR: InvalidPropertyAssignmentValue - 8:21 - $this->index with declared type 'numeric' cannot be assigned type 'string(0)'