Undetected Undefined property

[leighman]

https://psalm.dev/r/18ed9c0bd0

Line 22 will fail at runtime with Undefined property id

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/18ed9c0bd0

<?php

class Model {}

abstract class Foo
{
    /** @var int */
    public $id;
    
    /** @psalm-return int */
    abstract public function create();
}

class Bar extends Foo
{
    /** @var Model */
    private $model;
    
    public function __construct()
    {
        $this->model = new Model();
        $this->id = $this->model->id;
    }
    
    public function create()
    {
        return 1;
    }
}

Psalm output (using commit 9b86021):

No issues!

[leighman]

Seems to only be if a property with the same name as defined in Foo is being accessed on $this->model

[muglug]

Oof, this is a very good catch, thanks