Psalm
Get started
Documentation
Paid support
Plugins
Blog
GitHub
<?php /** * @template TCallback as Closure():string */ class A { /** @var TCallback */ private $callback; /** @param TCallback $callback */ public function __construct(Closure $callback) { $this->callback = $callback; } /** @param TCallback $callback */ public function setCallback(Closure $callback): void { $this->callback = $callback; } } $a = new A(function() { return "a";}); /** @psalm-trace $a */;
Snippet created on July 22 2022 at 11:23 UTC
Settings
Get link