danog/psalm
1
0
Fork 0
mirror of https://github.com/danog/psalm.git synced 2024-11-30 04:39:00 +01:00
Code Issues Projects Releases Wiki Activity

add test case reproducing issue #7428

Browse Source
This commit is contained in:
hirokinoue 2022-09-17 22:11:28 +09:00
parent 9ed9c4b64c
commit a2118c65d3
1 changed files with 29 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

29
tests/TypeReconciliation/ArrayKeyExistsTest.php
View File

@ -2,6 +2,8 @@
namespace Psalm\Tests\TypeReconciliation;
use Psalm\Config;
use Psalm\Context;
use Psalm\Tests\TestCase;
use Psalm\Tests\Traits\InvalidCodeAnalysisTestTrait;
use Psalm\Tests\Traits\ValidCodeAnalysisTestTrait;
@ -430,4 +432,31 @@ class ArrayKeyExistsTest extends TestCase
],
];
}
public function testAllowPropertyFetchAsNeedle(): void
{
Config::getInstance()->ensure_array_int_offsets_exist = true;
$this->addFile(
'somefile.php',
'<?php
class Foo {
/** @var self::STATE_* $status */
public int $status = self::STATE_A;
public const STATE_A = 0;
public const STATE_B = 1;
}
$foo = new Foo;
/** @var array<string> $bar */
$bar = [];
if (array_key_exists($foo->status, $bar)) {
echo $bar[$foo->status];
}'
);
$this->analyzeFile('somefile.php', new Context());
}
}