Infer non-empty-ness after count($a) == count($b) #22668
phar.yml
on: pull_request
Compiler Tests
1m 45s
Commit PHAR
Matrix: integration-tests / integration-run-phpstan
integration-tests
/
PMMP Tests
1m 30s
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
0s
Annotations
66 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 - 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 - shipmonk-rnd/phpstan-rules
Process completed with exit code 1.
|
|
integration-tests / Integration - shipmonk-rnd/phpstan-rules:
src/Rule/ForbidCustomFunctionsRule.php#L360
Parameter #2 $callArgs of static method PHPStan\Analyser\ArgumentsNormalizer::reorderArgs() expects list<PhpParser\Node\Arg>, array<PhpParser\Node\Arg> given.
|
|
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 - 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 - 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 - 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:
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-
|
119 MB |
sha256:5e923ab9b880856b06cdd5d305e5de7c2b919c8a6865d92321ce0793c898bee1
|
|
|
baselines-bladestan-baseline.neon
|
572 Bytes |
sha256:226ca31a238acb0e0bb397b126ff804488c7647c016570ef849b071d1fdaeded
|
|
|
baselines-doctrine-dbal-baseline.neon
|
1.51 KB |
sha256:eb17ee51061583e3702e5979f0ff586ce3ebf6f55b6f68a692bb697152cbe98f
|
|
|
baselines-doctrine-orm-baseline.neon
|
1.86 KB |
sha256:6532824ff17a6eea9ef2ea4b9d04e1f67792acfedee25e9c03743f21b848cdea
|
|
|
baselines-efabrica-phpstan-latte-baseline.neon
|
982 Bytes |
sha256:0134199244be924d66d2e927da7d67d7102e67e57da78aaf0fa38f6b4e850a89
|
|
|
baselines-magento-baseline.neon
|
670 Bytes |
sha256:f334bb303515f0329f1e9f0c7ccb40672c04f8201685bcae22a1886e081f4a47
|
|
|
baselines-nextras-baseline.neon
|
319 Bytes |
sha256:c67a4b20132b9651cc28aadad36bb016fd80e251eac6d1d7aa9e2f493657b042
|
|
|
baselines-phpunit-baseline.neon
|
1.06 KB |
sha256:f20034e7efccdf2cb67b02bfea6f2582d59762db27ac89ae00c274e8c6cbd3a4
|
|
|
baselines-shipmonk-rnd-baseline.neon
|
380 Bytes |
sha256:80845605eb1bbff6b5fd78ada1dabd63fe39fff56e6d309ad4f1a549a80216ae
|
|
|
baselines-shopware-baseline.neon
|
6.55 KB |
sha256:85c590d79f7a095ce3724c966561fc2ab2b2a484b5bc76b56fc6125b6211cf44
|
|
|
phar-file
|
3.67 MB |
sha256:b02932ba77143afa99c1959f2066cdf6729748c24525325f529f7c5b51936f3e
|
|
|
phar-file-checksum
|
3.67 MB |
sha256:8965bd8fc5904928f7faa69f7a1febffcbc6d83073860d5339e64e53f6c4ecda
|
|
|
pocketmine-ng-baseline.neon
|
462 Bytes |
sha256:c24a7fe5c360b26588212e949c26f162997d64b91ae4d7dd222e6ae5b01edad8
|
|