psalm/docs/running_psalm/issues/UndefinedMagicPropertyFetch.md

UndefinedMagicPropertyFetch

Emitted when getting a property on an object that does not have that magic property defined

<?php

/**
 * @property string $bar
 */
class A {
    public function __get(string $name) {
        return "cool";
    }
}
$a = new A();
echo $a->foo;