RedundantPropertyInitializationCheck should never occur inside constructor

[jnvsor]

https://psalm.dev/r/b392c46642

Property [...] should already be set in the constructor

This error should never occur inside the constructor, but it does when checking if the value is set with isset or ??=

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/b392c46642

<?php

class X {
    private string $x;
    
    /** @param string[] $a */
    public function __construct(array $a)
    {
        foreach ($a as $key => $val) {
            if ($key === 'x') {
                $this->x = $val;
            }
        }
        
        $this->x ??= '';
    }
}

class Y {
    private string $y;
    
    /** @param string[] $a */
    public function __construct(array $a)
    {
        $this->y ??= '';
    }
}

class Z {
    private string $z;
    
    /** @param string[] $a */
    public function __construct(array $a)
    {
        if (!isset($this->z)) {
	        $this->z = '';
        }
    }
}

Psalm output (using commit 03ee02c):

ERROR: RedundantPropertyInitializationCheck - 15:22 - Property $this->x with type string should already be set in the constructor

ERROR: RedundantPropertyInitializationCheck - 15:9 - Property $this->x with type string should already be set in the constructor

ERROR: RedundantPropertyInitializationCheck - 25:22 - Property $this->y with type string should already be set in the constructor

ERROR: RedundantPropertyInitializationCheck - 25:9 - Property $this->y with type string should already be set in the constructor

ERROR: RedundantPropertyInitializationCheck - 35:14 - Property $this->z with type string should already be set in the constructor