Skip to content

infer non-empty-list/array after array_key_exists($i, $arr) #22359

infer non-empty-list/array after array_key_exists($i, $arr)

infer non-empty-list/array after array_key_exists($i, $arr) #22359

Triggered via pull request October 15, 2025 06:06
Status Cancelled
Total duration 4m 34s
Artifacts 8

phar.yml

on: pull_request
integration-tests  /  Check PHAR checksum
6s
integration-tests / Check PHAR checksum
Download base SHA PHAR
0s
Download base SHA PHAR
extension-tests  /  Check PHAR checksum
6s
extension-tests / Check PHAR checksum
other-tests  /  Check PHAR checksum
6s
other-tests / Check PHAR checksum
Commit PHAR
0s
Commit PHAR
Matrix: integration-tests / integration-run-phpstan
integration-tests  /  PMMP Tests
1m 24s
integration-tests / PMMP Tests
Matrix: integration-tests / integration-tests
Checksum PHAR
0s
Checksum PHAR
PHAR Prefix Diff
0s
PHAR Prefix Diff
Matrix: extension-tests / tests-extensions
Matrix: other-tests / Other Tests
integration-tests  /  Integration - Update baselines
0s
integration-tests / Integration - Update baselines
Fit to window
Zoom out
Zoom in

Annotations

47 errors
integration-tests / Integration - bladestan/bladestan
Process completed with exit code 1.
integration-tests / Integration - bladestan/bladestan: src/TemplateCompiler/PHPStan/FileAnalyserProvider.php#L59
Method Bladestan\TemplateCompiler\PHPStan\FileAnalyserProvider::provide() throws checked exception PHPStan\DependencyInjection\MissingServiceException but it's missing from the PHPDoc `@throws` tag.
integration-tests / Integration - bladestan/bladestan: src/NodeAnalyzer/ViewVariableAnalyzer.php#L50
Method Bladestan\NodeAnalyzer\ViewVariableAnalyzer::resolve() throws checked exception ValueError but it's missing from the PHPDoc `@throws` tag.
integration-tests / Integration - bladestan/bladestan: src/Compiler/LivewireTagCompiler.php#L116
Dead catch - RuntimeException is never thrown in the try block.
integration-tests / Integration - bitExpert/phpstan-magento: tests/bitExpert/PHPStan/Magento/Rules/SetTemplateDisallowedForBlockRuleUnitTest.php#L80
Parameter #2 $scope of method bitExpert\PHPStan\Magento\Rules\SetTemplateDisallowedForBlockRule::processNode() expects PHPStan\Analyser\NodeCallbackInvoker&PHPStan\Analyser\Scope, PHPStan\Analyser\Scope&PHPUnit\Framework\MockObject\MockObject given.
integration-tests / Integration - bitExpert/phpstan-magento: tests/bitExpert/PHPStan/Magento/Rules/SetTemplateDisallowedForBlockRuleUnitTest.php#L66
Parameter #2 $scope of method bitExpert\PHPStan\Magento\Rules\SetTemplateDisallowedForBlockRule::processNode() expects PHPStan\Analyser\NodeCallbackInvoker&PHPStan\Analyser\Scope, PHPStan\Analyser\Scope&PHPUnit\Framework\MockObject\MockObject given.
integration-tests / Integration - bitExpert/phpstan-magento: tests/bitExpert/PHPStan/Magento/Rules/ResourceModelsShouldBeUsedDirectlyRuleUnitTest.php#L78
Parameter #2 $scope of method bitExpert\PHPStan\Magento\Rules\ResourceModelsShouldBeUsedDirectlyRule::processNode() expects PHPStan\Analyser\NodeCallbackInvoker&PHPStan\Analyser\Scope, PHPStan\Analyser\Scope&PHPUnit\Framework\MockObject\MockObject given.
integration-tests / Integration - bitExpert/phpstan-magento: tests/bitExpert/PHPStan/Magento/Rules/ResourceModelsShouldBeUsedDirectlyRuleUnitTest.php#L64
Parameter #2 $scope of method bitExpert\PHPStan\Magento\Rules\ResourceModelsShouldBeUsedDirectlyRule::processNode() expects PHPStan\Analyser\NodeCallbackInvoker&PHPStan\Analyser\Scope, PHPStan\Analyser\Scope&PHPUnit\Framework\MockObject\MockObject given.
integration-tests / Integration - bitExpert/phpstan-magento: tests/bitExpert/PHPStan/Magento/Rules/GetCollectionMockMethodNeedsCollectionSubclassRuleUnitTest.php#L89
Parameter #2 $scope of method bitExpert\PHPStan\Magento\Rules\GetCollectionMockMethodNeedsCollectionSubclassRule::processNode() expects PHPStan\Analyser\NodeCallbackInvoker&PHPStan\Analyser\Scope, PHPStan\Analyser\Scope&PHPUnit\Framework\MockObject\MockObject given.
integration-tests / Integration - bitExpert/phpstan-magento: tests/bitExpert/PHPStan/Magento/Rules/GetCollectionMockMethodNeedsCollectionSubclassRuleUnitTest.php#L75
Parameter #2 $scope of method bitExpert\PHPStan\Magento\Rules\GetCollectionMockMethodNeedsCollectionSubclassRule::processNode() expects PHPStan\Analyser\NodeCallbackInvoker&PHPStan\Analyser\Scope, PHPStan\Analyser\Scope&PHPUnit\Framework\MockObject\MockObject given.
integration-tests / Integration - bitExpert/phpstan-magento: tests/bitExpert/PHPStan/Magento/Rules/AbstractModelUseServiceContractRuleUnitTest.php#L86
Parameter #2 $scope of method bitExpert\PHPStan\Magento\Rules\AbstractModelUseServiceContractRule::processNode() expects PHPStan\Analyser\NodeCallbackInvoker&PHPStan\Analyser\Scope, PHPStan\Analyser\Scope&PHPUnit\Framework\MockObject\MockObject given.
integration-tests / Integration - bitExpert/phpstan-magento: tests/bitExpert/PHPStan/Magento/Rules/AbstractModelUseServiceContractRuleUnitTest.php#L72
Parameter #2 $scope of method bitExpert\PHPStan\Magento\Rules\AbstractModelUseServiceContractRule::processNode() expects PHPStan\Analyser\NodeCallbackInvoker&PHPStan\Analyser\Scope, PHPStan\Analyser\Scope&PHPUnit\Framework\MockObject\MockObject given.
integration-tests / Integration - bitExpert/phpstan-magento: tests/bitExpert/PHPStan/Magento/Rules/AbstractModelRetrieveCollectionViaFactoryRuleUnitTest.php#L79
Parameter #2 $scope of method bitExpert\PHPStan\Magento\Rules\AbstractModelRetrieveCollectionViaFactoryRule::processNode() expects PHPStan\Analyser\NodeCallbackInvoker&PHPStan\Analyser\Scope, PHPStan\Analyser\Scope&PHPUnit\Framework\MockObject\MockObject given.
integration-tests / Integration - bitExpert/phpstan-magento: tests/bitExpert/PHPStan/Magento/Rules/AbstractModelRetrieveCollectionViaFactoryRuleUnitTest.php#L65
Parameter #2 $scope of method bitExpert\PHPStan\Magento\Rules\AbstractModelRetrieveCollectionViaFactoryRule::processNode() expects PHPStan\Analyser\NodeCallbackInvoker&PHPStan\Analyser\Scope, PHPStan\Analyser\Scope&PHPUnit\Framework\MockObject\MockObject given.
integration-tests / Integration - efabrica-team/phpstan-latte: src/LatteTemplateResolver/Nette/NetteApplicationUIControl.php#L15
Return type array<'object'|class-string> of method Efabrica\PHPStanLatte\LatteTemplateResolver\Nette\NetteApplicationUIControl::getSupportedClasses() can be narrowed to array<class-string>.
integration-tests / Integration - efabrica-team/phpstan-latte: src/LatteContext/Collector/VariableCollector/SetParametersToTemplateVariableCollector.php#L42
Return type array<Efabrica\PHPStanLatte\LatteContext\CollectedData\CollectedError|Efabrica\PHPStanLatte\LatteContext\CollectedData\CollectedVariable>|null of method Efabrica\PHPStanLatte\LatteContext\Collector\VariableCollector\SetParametersToTemplateVariableCollector::collect() can be narrowed to array<Efabrica\PHPStanLatte\LatteContext\CollectedData\CollectedVariable>|null.
integration-tests / Integration - efabrica-team/phpstan-latte: src/LatteContext/Collector/VariableCollector/AssignToTemplateVariableCollector.php#L52
Return type array<Efabrica\PHPStanLatte\LatteContext\CollectedData\CollectedError|Efabrica\PHPStanLatte\LatteContext\CollectedData\CollectedVariable>|null of method Efabrica\PHPStanLatte\LatteContext\Collector\VariableCollector\AssignToTemplateVariableCollector::collect() can be narrowed to array<Efabrica\PHPStanLatte\LatteContext\CollectedData\CollectedVariable>|null.
integration-tests / Integration - efabrica-team/phpstan-latte: src/LatteContext/Collector/VariableCollector/AssignToArrayOfTemplateVariablesCollector.php#L50
Return type array<Efabrica\PHPStanLatte\LatteContext\CollectedData\CollectedError|Efabrica\PHPStanLatte\LatteContext\CollectedData\CollectedVariable>|null of method Efabrica\PHPStanLatte\LatteContext\Collector\VariableCollector\AssignToArrayOfTemplateVariablesCollector::collect() can be narrowed to array<Efabrica\PHPStanLatte\LatteContext\CollectedData\CollectedVariable>|null.
integration-tests / Integration - efabrica-team/phpstan-latte: src/LatteContext/Collector/VariableCollector/AddToTemplateVariableCollector.php#L45
Return type array<Efabrica\PHPStanLatte\LatteContext\CollectedData\CollectedError|Efabrica\PHPStanLatte\LatteContext\CollectedData\CollectedVariable>|null of method Efabrica\PHPStanLatte\LatteContext\Collector\VariableCollector\AddToTemplateVariableCollector::collect() can be narrowed to array<Efabrica\PHPStanLatte\LatteContext\CollectedData\CollectedVariable>|null.
integration-tests / Integration - efabrica-team/phpstan-latte: src/LatteContext/Collector/TemplatePathCollector/SetFileTemplatePathCollector.php#L44
Return type array<Efabrica\PHPStanLatte\LatteContext\CollectedData\CollectedError|string>|null of method Efabrica\PHPStanLatte\LatteContext\Collector\TemplatePathCollector\SetFileTemplatePathCollector::collect() can be narrowed to array<string>|null.
integration-tests / Integration - efabrica-team/phpstan-latte: src/LatteContext/CollectedData/CollectedTemplateRender.php#L121
Return type array<Efabrica\PHPStanLatte\LatteContext\CollectedData\CollectedError|Efabrica\PHPStanLatte\LatteContext\CollectedData\CollectedTemplateRender> of method Efabrica\PHPStanLatte\LatteContext\CollectedData\CollectedTemplateRender::buildAll() can be narrowed to array<Efabrica\PHPStanLatte\LatteContext\CollectedData\CollectedTemplateRender>.
integration-tests / Integration - efabrica-team/phpstan-latte: src/Compiler/Compiler/Latte3Compiler.php#L54
Return type array<string, array{object|string, string}|(callable(): mixed)|string> of method Efabrica\PHPStanLatte\Compiler\Compiler\Latte3Compiler::getFunctions() can be narrowed to array<string, array{string, string}|(callable(): mixed)|string>.
integration-tests / Integration - efabrica-team/phpstan-latte: src/Compiler/Compiler/Latte3Compiler.php#L47
Return type array<string, array{object|string, string}|(callable(): mixed)|string> of method Efabrica\PHPStanLatte\Compiler\Compiler\Latte3Compiler::getFilters() can be narrowed to array<string, array{string, string}|(callable(): mixed)|string>.
integration-tests / Integration - efabrica-team/phpstan-latte: src/Compiler/Compiler/Latte2Compiler.php#L97
Return type array<string, array{object|string, string}|(callable(): mixed)|string> of method Efabrica\PHPStanLatte\Compiler\Compiler\Latte2Compiler::getFunctions() can be narrowed to array<string, array{string, string}|(callable(): mixed)|string>.
integration-tests / Integration - doctrine/dbal
Process completed with exit code 1.
integration-tests / Integration - doctrine/dbal: tests/Tools/DsnParserTest.php#L35
Return type iterable<string, array{string, array{application_name?: string, charset?: string, dbname?: string, defaultTableOptions?: array<string, mixed>, driver?: 'ibm_db2'|'mysqli'|'oci8'|'pdo_mysql'|'pdo_oci'|'pdo_pgsql'|'pdo_sqlite'|'pdo_sqlsrv'|'pgsql'|'sqlite3'|'sqlsrv', driverClass?: class-string<Doctrine\DBAL\Driver>, driverOptions?: array<mixed>, host?: string, ...}}> of method Doctrine\DBAL\Tests\Tools\DsnParserTest::databaseUrls() can be narrowed to iterable<string, array{string, array{application_name?: string, charset?: string, dbname?: string, defaultTableOptions?: array<string, mixed>, driver?: 'ibm_db2'|'mysqli'|'oci8'|'pdo_mysql'|'pdo_oci'|'pdo_pgsql'|'pdo_sqlite'|'pdo_sqlsrv'|'pgsql'|'sqlite3'|'sqlsrv', driverClass?: class-string<Doctrine\DBAL\Driver>, driverOptions?: array<mixed>, host?: string, ...}}>.
integration-tests / Integration - doctrine/dbal: tests/Functional/Query/QueryBuilderTest.php#L340
Return type array<array<string, int|string>> of method Doctrine\DBAL\Tests\Functional\Query\QueryBuilderTest::prepareExpectedRows() can be narrowed to array<array<string, int>>.
integration-tests / Integration - sebastianbergmann/phpunit
Process completed with exit code 1.
integration-tests / Integration - sebastianbergmann/phpunit: src/Runner/ErrorHandler.php#L362
Return type list<array{file: string, line: int|null, class?: class-string, function?: string, type: string}> of method PHPUnit\Runner\ErrorHandler::errorStackTrace() can be narrowed to list<array{file: string, line: int, class?: class-string, function?: string, type: string}>.
integration-tests / Integration - sebastianbergmann/phpunit: src/Framework/TestBuilder.php#L153
Return type array{backupGlobals: bool|null, backupGlobalsExcludeList: list<string>, backupStaticProperties: bool|null, backupStaticPropertiesExcludeList: array<string, list<string>>} of method PHPUnit\Framework\TestBuilder::backupSettings() can be narrowed to array{backupGlobals: true|null, backupGlobalsExcludeList: list<string>, backupStaticProperties: true|null, backupStaticPropertiesExcludeList: array<string, list<string>>}.
integration-tests / PMMP Tests
Process completed with exit code 1.
integration-tests / PMMP Tests: src/crash/CrashDump.php#L242
Possibly invalid array key type float|int<0, max>.
integration-tests / Integration - efabrica-team/phpstan-latte tests
Process completed with exit code 1.
integration-tests / Integration - efabrica-team/phpstan-latte tests
Canceling since a higher priority waiting request for phar-refs/pull/4440/merge exists
integration-tests / Integration - shopsys/shopsys
The operation was canceled.
integration-tests / Integration - shopsys/shopsys
Canceling since a higher priority waiting request for phar-refs/pull/4440/merge exists
Compile PHAR
Canceling since a higher priority waiting request for phar-refs/pull/4440/merge exists
Compile PHAR
Canceling since a higher priority waiting request for phar-refs/pull/4440/merge exists
integration-tests / Integration - shopware/shopware
The operation was canceled.
integration-tests / Integration - shopware/shopware
Canceling since a higher priority waiting request for phar-refs/pull/4440/merge exists
integration-tests / Integration - drupal/drupal
The operation was canceled.
integration-tests / Integration - drupal/drupal
Canceling since a higher priority waiting request for phar-refs/pull/4440/merge exists

Artifacts

Produced during runtime
Name Size Digest
baselines-bladestan-baseline.neon
572 Bytes
sha256:d58d2f0cbd9958c5c42093d7a0eaee8e044a727162a2403cf83ede47a2fbc408
baselines-doctrine-dbal-baseline.neon
1.22 KB
sha256:3a99ef8d85b3e19f046f4b79744c44e917de7b56e717fdf40357ab65c3842087
baselines-efabrica-phpstan-latte-baseline.neon
982 Bytes
sha256:6253c0409c4d848acf8e9d76e4b589d79c8ce2306cc25916aa622c21b88916d5
baselines-magento-baseline.neon
561 Bytes
sha256:5827abdba435b20a84721fb57fb9da2746fcdc177fd6e8aac813d1f099fbbda3
baselines-phpunit-baseline.neon
1.06 KB
sha256:998dc8ccadd9d2301d2a17871c22793b167a50cfd68e575b4a50a46a0b797457
phar-file
3.68 MB
sha256:4fa1478734a937b1dbed0792ff33a9b25482bfcb805e64863a0bf9f604be656d
phar-file-checksum
3.68 MB
sha256:0d971f14cbcc885dce957a042f342ed54c2ac70b38c72ee2f9b57b57af71c96c
pocketmine-ng-baseline.neon
462 Bytes
sha256:0c4166df9500ea9181429a68906c7efb1e3d938557eca0afb58f458bbf7b6920