Infer non-empty-ness after count($a) == count($b) #22483
phar.yml
on: pull_request
Compiler Tests
1m 50s
Commit PHAR
0s
Matrix: integration-tests / integration-run-phpstan
integration-tests
/
PMMP Tests
1m 24s
Matrix: integration-tests / integration-tests
Checksum PHAR
0s
PHAR Prefix Diff
0s
Matrix: extension-tests / tests-extensions
Matrix: other-tests / Other Tests
integration-tests
/
Integration - Update baselines
Annotations
48 errors
|
other-tests / Other Tests (ubuntu-latest, 7.4, cd e2e/php8
../../phpstan analyse -l 8 -c php80.neon test.php
)
Process completed with exit code 1.
|
|
other-tests / Other Tests (ubuntu-latest, 7.4, cd e2e/php8
../../phpstan analyse -l 8 -c php80.neon test.php
):
test.php#L11
Negated boolean expression is always true.
|
|
other-tests / Other Tests (ubuntu-latest, 8.0, cd e2e/php8
../../phpstan analyse -l 8 -c php80.neon test.php
)
Process completed with exit code 1.
|
|
other-tests / Other Tests (ubuntu-latest, 8.0, cd e2e/php8
../../phpstan analyse -l 8 -c php80.neon test.php
):
test.php#L11
Negated boolean expression is always true.
|
|
integration-tests / Integration - bladestan/bladestan
Process completed with exit code 1.
|
|
integration-tests / Integration - bladestan/bladestan:
src/TemplateCompiler/Rules/TemplateRulesRegistry.php#L63
Possibly invalid array key type mixed.
|
|
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 - 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 - 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 - 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 / 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 - shopware/shopware:
src/Core/Content/ImportExport/Service/ImportExportService.php#L247
Return type array{mapping?: array<array{key: string, mappedKey: string}|Shopware\Core\Content\ImportExport\Processing\Mapping\Mapping>|null, updateBy?: array<string, mixed>|null, parameters?: array<string, mixed>|null} of method Shopware\Core\Content\ImportExport\Service\ImportExportService::getConfig() can be narrowed to array{mapping?: array<array{key: string, mappedKey: string}|Shopware\Core\Content\ImportExport\Processing\Mapping\Mapping>|null, updateBy?: array<string, mixed>|null, parameters?: array<string, mixed>}.
|
|
integration-tests / Integration - shopware/shopware:
src/Core/Content/ContactForm/Event/ContactFormEvent.php#L76
Return type array<int|string, mixed> of method Shopware\Core\Content\ContactForm\Event\ContactFormEvent::getContactFormData() can be narrowed to array<string, mixed>.
|
|
integration-tests / Integration - shopware/shopware:
src/Core/Content/ContactForm/Event/ContactFormEvent.php#L46
Return type array<string, array<mixed>|bool|float|int|string|null> of method Shopware\Core\Content\ContactForm\Event\ContactFormEvent::getValues() can be narrowed to array<string, array<mixed>|null>.
|
|
integration-tests / Integration - shopware/shopware:
src/Core/Content/ContactForm/Event/ContactFormEvent.php#L26
Type array<int|string, mixed> of property Shopware\Core\Content\ContactForm\Event\ContactFormEvent::$contactFormData can be narrowed to array<string, mixed>.
|
|
integration-tests / Integration - shopware/shopware:
src/Core/Content/Cms/Subscriber/CmsVersionMergeSubscriber.php#L53
Return type array<string, array<string, bool>> of method Shopware\Core\Content\Cms\Subscriber\CmsVersionMergeSubscriber::mapDeletedBlocks() can be narrowed to array<string, array<string, true>>.
|
|
integration-tests / Integration - shopware/shopware:
src/Core/Checkout/Promotion/Cart/PromotionDeliveryCalculator.php#L163
Return type array<bool> of method Shopware\Core\Checkout\Promotion\Cart\PromotionDeliveryCalculator::buildExclusions() can be narrowed to array<true>.
|
|
integration-tests / Integration - shopware/shopware:
src/Core/Checkout/Promotion/Cart/PromotionCalculator.php#L168
Return type array<bool> of method Shopware\Core\Checkout\Promotion\Cart\PromotionCalculator::buildExclusions() can be narrowed to array<true>.
|
|
integration-tests / Integration - shopware/shopware:
src/Core/Checkout/Payment/DataAbstractionLayer/PaymentMethodValidator.php#L29
Return type array<string, list<array{0: string, 1?: int}|int|string>|string> of method Shopware\Core\Checkout\Payment\DataAbstractionLayer\PaymentMethodValidator::getSubscribedEvents() can be narrowed to array<string, string>.
|
|
integration-tests / Integration - shopware/shopware:
src/Core/Checkout/Document/Service/DocumentConfigLoader.php#L42
Return type array<string, list<array{0: string, 1?: int}|int|string>|string> of method Shopware\Core\Checkout\Document\Service\DocumentConfigLoader::getSubscribedEvents() can be narrowed to array<string, string>.
|
|
integration-tests / Integration - shopware/shopware:
src/Core/Checkout/Cart/Order/LineItemDownloadLoader.php#L62
Return type array<int, array<int, array{position: int, mediaId: string, accessGranted: bool}>> of method Shopware\Core\Checkout\Cart\Order\LineItemDownloadLoader::getLineItemDownloadPayload() can be narrowed to array<int, array<int, array{position: int, mediaId: string, accessGranted: false}>>.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
baselines-bladestan-baseline.neon
|
572 Bytes |
sha256:1c0503d3b1df886620e437b51395c2f17c22e06c75664a202f7aa4f8aa952e85
|
|
|
baselines-doctrine-dbal-baseline.neon
|
1.22 KB |
sha256:c95d6b4765cef2a098dbca91f706410a47eeb0a7aac31c407c0d8e7940bbc9ac
|
|
|
baselines-efabrica-phpstan-latte-baseline.neon
|
982 Bytes |
sha256:403eb4ebf16d489c244ca43277c4c1091333e6484c0bfc64e12eae393e636de5
|
|
|
baselines-magento-baseline.neon
|
670 Bytes |
sha256:fb2cbcec78102475119af8cef8a2b22f7bfc5a8bd122406062fd0f68d667e00e
|
|
|
baselines-phpunit-baseline.neon
|
1.06 KB |
sha256:bbc21da9e7937438a4a4da4bb1f0c5b44061bb3a86f8903f8c2ad2012135fbbc
|
|
|
baselines-shopware-baseline.neon
|
6.32 KB |
sha256:0c6166bc46b586d1d642ef2aab1ad2a0d9235575a2c8d2fd6fd18d576184eaac
|
|
|
phar-file
|
3.69 MB |
sha256:a99263a044ee6839127b4b84cba83cb8f2d0bc823955e9d0eabfa4bc6a547164
|
|
|
phar-file-checksum
|
3.69 MB |
sha256:448f7e734269ee2032af731b5e1370fdebd88ec90617ca93d6165c0350d2f22d
|
|
|
pocketmine-ng-baseline.neon
|
462 Bytes |
sha256:604aea2e1048c58dc51d194154a00b18026bdc951da1e0a2fea765a4ed3f1803
|
|