Psalm
Get started
Documentation
Paid support
Plugins
Blog
GitHub
<?php declare(strict_types = 1); class HelloWorld { /** @param array{foo: 1, bar: 2} $array */ public static function sayHello(array $array): void { /** @psalm-trace $values */ $values = array_values($array); /** @psalm-trace $a */ $a = array_values($array)[0]; } } $a = ['foo' => 1, 'bar' => 2]; $b = ['bar' => 2, 'foo' => 1]; HelloWorld::sayHello($a); HelloWorld::sayHello($b);
Snippet created on August 31 2024 at 18:17 UTC
Settings
Get link