Skip to content

Infer non-empty-ness after count($a) == count($b) #22608

Infer non-empty-ness after count($a) == count($b)

Infer non-empty-ness after count($a) == count($b) #22608

Triggered via pull request October 31, 2025 06:14
Status Cancelled
Total duration 6m 43s
Artifacts 11

phar.yml

on: pull_request
integration-tests  /  Check PHAR checksum
5s
integration-tests / Check PHAR checksum
Download base SHA PHAR
0s
Download base SHA PHAR
extension-tests  /  Check PHAR checksum
5s
extension-tests / Check PHAR checksum
other-tests  /  Check PHAR checksum
4s
other-tests / Check PHAR checksum
Commit PHAR
0s
Commit PHAR
Matrix: integration-tests / integration-run-phpstan
integration-tests  /  PMMP Tests
1m 21s
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
integration-tests / Integration - Update baselines
Fit to window
Zoom out
Zoom in

Annotations

60 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 - nextras/orm
Process completed with exit code 1.
integration-tests / Integration - nextras/orm: src/Entity/AbstractEntity.php#L241
Call to an undefined method object::set().
integration-tests / Integration - nextras/orm: src/Entity/AbstractEntity.php#L239
Call to an undefined method object::onEntityRepositoryAttach().
integration-tests / Integration - nextras/orm: src/Entity/AbstractEntity.php#L237
Call to an undefined method object::onEntityAttach().
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 - bitExpert/phpstan-magento: src/bitExpert/PHPStan/Magento/Autoload/ProxyAutoloader.php#L51
Parameter #1 $key of method PHPStan\Cache\Cache::load() expects non-empty-string, string given.
integration-tests / Integration - bitExpert/phpstan-magento: src/bitExpert/PHPStan/Magento/Autoload/FactoryAutoloader.php#L54
Parameter #1 $key of method PHPStan\Cache\Cache::load() expects non-empty-string, string given.
integration-tests / Integration - bitExpert/phpstan-magento: src/bitExpert/PHPStan/Magento/Autoload/FactoryAutoloader.php#L53
Parameter #1 $key of method PHPStan\Cache\Cache::save() expects non-empty-string, string given.
integration-tests / Integration - bitExpert/phpstan-magento: src/bitExpert/PHPStan/Magento/Autoload/FactoryAutoloader.php#L51
Parameter #1 $key of method PHPStan\Cache\Cache::load() expects non-empty-string, string given.
integration-tests / Integration - bitExpert/phpstan-magento: src/bitExpert/PHPStan/Magento/Autoload/ExtensionInterfaceAutoloader.php#L70
Parameter #1 $key of method PHPStan\Cache\Cache::load() expects non-empty-string, string given.
integration-tests / Integration - bitExpert/phpstan-magento: src/bitExpert/PHPStan/Magento/Autoload/ExtensionInterfaceAutoloader.php#L69
Parameter #1 $key of method PHPStan\Cache\Cache::save() expects non-empty-string, string given.
integration-tests / Integration - bitExpert/phpstan-magento: src/bitExpert/PHPStan/Magento/Autoload/ExtensionInterfaceAutoloader.php#L67
Parameter #1 $key of method PHPStan\Cache\Cache::load() expects non-empty-string, string given.
integration-tests / Integration - bitExpert/phpstan-magento: src/bitExpert/PHPStan/Magento/Autoload/ExtensionAutoloader.php#L71
Parameter #1 $key of method PHPStan\Cache\Cache::load() expects non-empty-string, string given.
integration-tests / Integration - bitExpert/phpstan-magento: src/bitExpert/PHPStan/Magento/Autoload/ExtensionAutoloader.php#L70
Parameter #1 $key of method PHPStan\Cache\Cache::save() expects non-empty-string, string given.
integration-tests / Integration - bitExpert/phpstan-magento: src/bitExpert/PHPStan/Magento/Autoload/ExtensionAutoloader.php#L68
Parameter #1 $key of method PHPStan\Cache\Cache::load() expects non-empty-string, string given.
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 / Integration - doctrine/orm
Process completed with exit code 1.
integration-tests / Integration - doctrine/orm: src/Internal/Hydration/AbstractHydrator.php#L358
Method Doctrine\ORM\Internal\Hydration\AbstractHydrator::gatherRowData() should return array{data: array<array>, newObjects?: array<array{class: ReflectionClass, args: array, obj: object}>, scalars?: array} but returns array{data: array<non-empty-array>, newObjects: array<array{class?: mixed, args: non-empty-array, obj: mixed}>, scalars?: non-empty-array}.
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/Logging/MiddlewareTest.php#L111
Parameter #1 $record of method Psr\Log\Test\TestLogger::hasDebug() expects array{level: string, message: string|Stringable, context: array{exception?: Throwable}}|string, array{message: 'Executing statement…', context: array{sql: 'SELECT :value', params: array{value: 'Test'}, types: array{value: Doctrine\DBAL\ParameterType::STRING}}} given.
integration-tests / Integration - doctrine/dbal: tests/Logging/MiddlewareTest.php#L93
Parameter #1 $record of method Psr\Log\Test\TestLogger::hasDebug() expects array{level: string, message: string|Stringable, context: array{exception?: Throwable}}|string, array{message: 'Executing statement…', context: array{sql: 'SELECT ?, ?', params: array{1: 42}, types: array{1: Doctrine\DBAL\ParameterType::INTEGER}}} given.
integration-tests / Integration - doctrine/dbal: tests/Logging/MiddlewareTest.php#L67
Parameter #1 $record of method Psr\Log\Test\TestLogger::hasDebug() expects array{level: string, message: string|Stringable, context: array{exception?: Throwable}}|string, array{message: 'Executing statement…', context: array{sql: 'DROP DATABASE…'}} given.
integration-tests / Integration - doctrine/dbal: tests/Logging/MiddlewareTest.php#L56
Parameter #1 $record of method Psr\Log\Test\TestLogger::hasDebug() expects array{level: string, message: string|Stringable, context: array{exception?: Throwable}}|string, array{message: 'Executing query: …', context: array{sql: 'SELECT 1'}} given.
integration-tests / Integration - doctrine/dbal: tests/Logging/MiddlewareTest.php#L40
Parameter #1 $record of method Psr\Log\Test\TestLogger::hasInfo() expects array{level: string, message: string|Stringable, context: array{exception?: Throwable}}|string, array{message: 'Connecting with…', context: array{params: array{user: 'admin', password: '<redacted>'}}} given.
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 - Rector tests
Process completed with exit code 1.
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 - shopsys/shopsys
Process completed with exit code 1.
integration-tests / Integration - shopsys/shopsys
Process completed with exit code 1.
integration-tests / Integration - shopsys/shopsys: packages/framework/src/Model/Product/Search/FilterQuery.php#L729
Method Shopsys\FrameworkBundle\Model\Product\Search\FilterQuery::filterWithActiveSpecialPriceOnly() should return $this(Shopsys\FrameworkBundle\Model\Product\Search\FilterQuery) but returns static(Shopsys\FrameworkBundle\Model\Product\Search\FilterQuery).
integration-tests / Integration - shopsys/shopsys: packages/framework/src/Model/Product/Search/FilterQuery.php#L402
Method Shopsys\FrameworkBundle\Model\Product\Search\FilterQuery::applyOrderingByIdsArray() should return $this(Shopsys\FrameworkBundle\Model\Product\Search\FilterQuery) but returns static(Shopsys\FrameworkBundle\Model\Product\Search\FilterQuery).
integration-tests / Integration - shopware/shopware
Canceling since a higher priority waiting request for phar-refs/pull/4470/merge exists
integration-tests / Integration - shopware/shopware
The operation was canceled.
integration-tests / Integration - drupal/drupal
Canceling since a higher priority waiting request for phar-refs/pull/4470/merge exists
integration-tests / Integration - drupal/drupal
The operation was canceled.
Compile PHAR
Canceling since a higher priority waiting request for phar-refs/pull/4470/merge exists
Compile PHAR
Canceling since a higher priority waiting request for phar-refs/pull/4470/merge exists

Artifacts

Produced during runtime
Name Size Digest
baselines-
119 MB
sha256:8f0b5bd78d725f15047478a986a73a28aaece75d239ecd6ada7312d10e6cfc52
baselines-bladestan-baseline.neon
572 Bytes
sha256:964d5baed200cf6a67632033b9ca24fdf836b22825b88198c78af0464671e902
baselines-doctrine-dbal-baseline.neon
1.51 KB
sha256:3bbc9eac7fc071cb8e30805170df56e8d7f1f28f267f5a34f709c3b90f7ed323
baselines-doctrine-orm-baseline.neon
1.86 KB
sha256:4af1e234e2f1cde1a366b409c9a6ad3886a819c7077888b5c93d5b0171091c81
baselines-efabrica-phpstan-latte-baseline.neon
982 Bytes
sha256:633cb777bdda48780f71b1f20ad11653d4efc75dada4a808d3a50ed86fc2e590
baselines-magento-baseline.neon
670 Bytes
sha256:8093aa6e3fba093880d065673c83858eff8943e5c7d74327d25f631b834b7ceb
baselines-nextras-baseline.neon
319 Bytes
sha256:8f7dc7317194dd033c055566e01c54865f28c2190d0a6c4d7a22c37e4e2a340f
baselines-phpunit-baseline.neon
1.06 KB
sha256:be62f4e1a306711538d156b17e0447dc965185b8b7a24099b0b266668147495a
phar-file
3.69 MB
sha256:1132d28f00eaa6306d60d208cc0e950d739ffcd6e752ebb2bc24c743aa17cf9c
phar-file-checksum
3.69 MB
sha256:1ccab8603c18f3df04f14e4d6d0d7f04580cc20e530b2637b460f97ea4adf4b5
pocketmine-ng-baseline.neon
462 Bytes
sha256:6b5ea9364327b6165ff6d445c181b78147c6eaf9d6c2e82f112d0a62b5aa5a3c