Psalm
Get started
Documentation
Paid support
Plugins
Blog
GitHub
<?php /** * @property-read string|null $p */ class CCC { public function __get(string $name) { return null; } public function f(): void { $_c = $this->p ?? ''; /** @psalm-trace $_c */ } public function g(): void { $_a = $this->p; $_b = $this->p ?? ''; /** @psalm-trace $_a $_b */ } } $_d = (new CCC())->p; /** @psalm-trace $_d */
Snippet created on November 7 2024 at 14:51 UTC
Settings
Get link