MissingConstructor message only shows first entry

[theseer]

Given the following example class, the error reporting is not correctly updated for the 2+ property:

class foo {
    
    private array $a;
    
    private array $b;
    
    private array $c;

}

Reproducable on psalm.dev

It seems to me that when having multiple properties triggering the MissingConstructor error, while all are being reported, only the first property is used in the accompanying error messages.

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/9875de887d

<?php

class foo {
 
    private $a;
    
    private $b;
}

Psalm output (using commit c2108e8):

INFO: MissingPropertyType - 5:13 - Property foo::$a does not have a declared type

INFO: MissingPropertyType - 7:13 - Property foo::$b does not have a declared type

[muglug]

I'm confused. What's incorrect about this? https://psalm.dev/r/469ee6ca54

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/469ee6ca54

<?php

class foo {
    private array $a;
    private array $b;
    private array $c;
}

Psalm output (using commit c8d4baf):

ERROR: MissingConstructor - 4:19 - foo has an uninitialized property $this->a, but no constructor

ERROR: MissingConstructor - 5:19 - foo has an uninitialized property $this->a, but no constructor

ERROR: MissingConstructor - 6:19 - foo has an uninitialized property $this->a, but no constructor

[theseer]

I assume reopening it implies your confusion is resolved? ;)

If not: Read the actual text of the error message. It's in all cases referring to $this->a ...

[muglug]

Oh!