Phpstan: Offset string on array(...) in isset() does not exist.

Created on 15 Apr 2020  路  3Comments  路  Source: phpstan/phpstan

Bug report

phpstan version: 0.12.18

Code snippet that reproduces the problem

https://phpstan.org/r/6d243e33-295a-4a1a-9935-08ecc83ed484

Error message:

Offset string on array(21021200 => '21028800') in isset() does not exist.

Expected output

No error.

Similar issue: #1062

bug
Source
picture odan
👍1

All 3 comments

Yeah, you're right, PHPStan must account for this: https://3v4l.org/moOcn

ondrejmirtes picture ondrejmirtes on 15 Apr 2020
👍1

Fixed: https://github.com/phpstan/phpstan-src/pull/214

ondrejmirtes picture ondrejmirtes on 25 May 2020
👍1

Thank you!

odan picture odan on 25 May 2020
Was this page helpful?
0 / 5 - 0 ratings

Related issues

hrach picture hrach  路  3Comments
olivernybroe picture olivernybroe  路  3Comments
eclipxe13 picture eclipxe13  路  4Comments
mfn picture mfn  路  3Comments
pretzlaw picture pretzlaw  路  3Comments