Improve property access when type hinting declared with @property

[kayw-geek]

Problem

Previously, accessing properties declared with @property-read annotations would incorrectly trigger " Access to an undefined property" error.

<?php declare(strict_types = 1);

use function PHPStan\dumpType;
use function PHPStan\Testing\assertType;

/**
 * @property-read \stdClass $getCreator
 */
class Model
{
}

class Defaults
{
    public function defaults(Model $model): void
    {
        $creator = $model->getCreator;  // Access to an undefined property Model::$getCreator.

    }
}

Playground: phpstan.org/r/7c5fd6b0-da88-4298-8e72-59bebdd48d08

Solution

Enhanced property access checking to properly recognize properties declared via PHPDoc annotations.

[phpstan-bot]

This pull request has been marked as ready for review.

[canvural]

Isn't this expected behavior from PHP 8.2+? You need AllowDynamicProperties attribute.

[kayw-geek]

@canvural Thank you for the clarification. I didn't know about this. I'll close this PR.