Flag accessing static properties with ->

[weirdan]

https://psalm.dev/r/8df7ccd811
https://3v4l.org/iRj67

Expected: UndefinedProperty

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/8df7ccd811

<?php

class A {
    private static int $b = 1;
    public function method(): int {
        return $this->b;
    }
}

Psalm output (using commit f015c30):

No issues!

[weirdan]

The opposite should also be checked: https://psalm.dev/r/d79f2332b6

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/d79f2332b6

<?php

class A {
    private int $b = 1;
    public static function method(): int {
        return self::$b;
    }
}

Psalm output (using commit 2127da3):

No issues!