Psalm
Get started
Documentation
Paid support
Plugins
Blog
GitHub
<?php namespace Bar; /** * Asserts that two variables are not the same. * * @template T * @param T $expected * @param mixed $actual * @psalm-assert !=T $actual */ function assertNotSame($expected, $actual) : void {} $expected = 4; $actual = rand(0, 1) ? 4 : 5; // 4 != $actual // We expect $actual to contain the type 4, if it doesn't emit an issue. assertNotSame($expected, $actual); $expected = rand(0, 1) ? 4 : 5; $actual = 4; // 5|4 != $actual // We expect $actual to contain the type 5|4, if it doesn't emit an issue. assertNotSame($expected, $actual); $expected = rand(0, 1) ? 4 : 5; $actual = 4; // $expected != $actual // We expect $actual to have the same value of $expected assert($expected !== $actual);
Snippet created on July 25 2022 at 10:55 UTC
Settings
Get link