PHP 8 - False positive possibly null with constructor populated properties

[tux-rampage]

It might be an edge case, but the following snippet incorrectly yields an error:

https://psalm.dev/r/4f6b90fe88

Accessing the populated property in the constructor is perfectly valid:

https://3v4l.org/AIDLL

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/4f6b90fe88

<?php

class Foo {}

class Bar {
	public function __construct(Foo $foo) {}
}

class Baz
{
    private Bar $bar;
    
    public function __construct(private Foo $foo, ?Bar $bar = null)
    {
        $this->bar = $bar ?? new Bar($this->foo);
    }
}

new Baz(new Foo());

Psalm output (using commit 95de6cf):

ERROR: UninitializedProperty - 15:38 - Cannot use uninitialized property $this->foo

ERROR: PossiblyNullArgument - 15:38 - Argument 1 of Bar::__construct cannot be null, possibly null value provided