Skip to content

Fix phpstan/phpstan#14211: incorrect type inference with dependent types #25528

Fix phpstan/phpstan#14211: incorrect type inference with dependent types

Fix phpstan/phpstan#14211: incorrect type inference with dependent types #25528

Triggered via pull request February 28, 2026 10:13
Status Failure
Total duration 10m 1s
Artifacts 11

phar.yml

on: pull_request
integration-tests  /  Check PHAR checksum
15s
integration-tests / Check PHAR checksum
Download base SHA PHAR
0s
Download base SHA PHAR
extension-tests  /  Check PHAR checksum
14s
extension-tests / Check PHAR checksum
other-tests  /  Check PHAR checksum
12s
other-tests / Check PHAR checksum
Commit PHAR
0s
Commit PHAR
Matrix: integration-tests / integration-run-phpstan
integration-tests  /  PMMP Tests
1m 10s
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

45 errors and 3 warnings
integration-tests / Integration - doctrine/dbal
Process completed with exit code 1.
integration-tests / Integration - doctrine/dbal: src/Driver/PDO/SQLSrv/Driver.php#L98
Only booleans are allowed in a ternary operator condition, mixed given.
integration-tests / Integration - shipmonk-rnd/dead-code-detector
Process completed with exit code 1.
integration-tests / Integration - shipmonk-rnd/dead-code-detector
Process completed with exit code 1.
integration-tests / Integration - shipmonk-rnd/dead-code-detector
Internal error: PHPStan\Analyser\NodeScopeResolver::processExprNode(): Argument #4 ($storage) must be of type PHPStan\Analyser\ExpressionResultStorage, Closure given, called in /home/runner/work/phpstan-src/phpstan-src/e2e/integration/repo/vendor/shipmonk/phpstan-rules/src/Rule/ForbidCheckedExceptionInCallableRule.php on line 239 while analysing file /home/runner/work/phpstan-src/phpstan-src/e2e/integration/repo/src/Compatibility/BackwardCompatibilityChecker.php Run PHPStan with -v option and post the stack trace to: https://github.com/phpstan/phpstan/issues/new?template=Bug_report.yaml
integration-tests / Integration - efabrica-team/phpstan-latte
Process completed with exit code 1.
integration-tests / Integration - efabrica-team/phpstan-latte: src/Resolver/ValueResolver/ValueResolver.php#L92
Parameter #2 $array of function implode expects array<string>, list<mixed> given.
integration-tests / Integration - efabrica-team/phpstan-latte: src/Compiler/Compiler/Latte3Compiler.php#L35
Call to function is_array() with list<Latte\Extension> will always evaluate to true.
integration-tests / Integration - doctrine/orm
Process completed with exit code 1.
integration-tests / Integration - doctrine/orm: src/Mapping/ClassMetadata.php#L1449
Parameter #1 $mappingArray of static method Doctrine\ORM\Mapping\AssociationMapping::fromMappingArray() expects array{fieldName: string, sourceEntity: class-string, targetEntity: class-string, cascade?: list<'all'|'detach'|'persist'|'refresh'|'remove'>, fetch?: 2|3|4|null, inherited?: class-string|null, declared?: class-string|null, cache?: array<mixed>|null, ...}, non-empty-array<mixed> given.
integration-tests / Integration - doctrine/orm: src/Mapping/ClassMetadata.php#L1448
Parameter #1 $mappingArray of static method Doctrine\ORM\Mapping\ManyToManyOwningSideMapping::fromMappingArrayAndNamingStrategy() expects array{fieldName: string, sourceEntity: class-string, targetEntity: class-string, cascade?: list<'all'|'detach'|'persist'|'refresh'|'remove'>, fetch?: 2|3|4|null, inherited?: class-string|null, declared?: class-string|null, cache?: array<mixed>|null, ...}, non-empty-array<mixed> given.
integration-tests / Integration - doctrine/orm: src/Mapping/ClassMetadata.php#L1440
Parameter #1 $mappingArray of static method Doctrine\ORM\Mapping\OneToManyAssociationMapping::fromMappingArrayAndName() expects array{fieldName: string, sourceEntity: class-string, targetEntity: class-string, cascade?: list<'all'|'detach'|'persist'|'refresh'|'remove'>, fetch?: 2|3|4|null, inherited?: class-string|null, declared?: class-string|null, cache?: array<mixed>|null, ...}, non-empty-array<mixed> given.
integration-tests / Integration - doctrine/orm: src/Mapping/ClassMetadata.php#L1432
Parameter #1 $mappingArray of static method Doctrine\ORM\Mapping\ToOneOwningSideMapping::fromMappingArrayAndName() expects array{fieldName: string, sourceEntity: class-string, targetEntity: class-string, cascade?: list<'all'|'detach'|'persist'|'refresh'|'remove'>, fetch?: 2|3|4|null, inherited?: class-string|null, declared?: class-string|null, cache?: array<mixed>|null, ...}, non-empty-array<mixed> given.
integration-tests / Integration - doctrine/orm: src/Mapping/ClassMetadata.php#L1428
Parameter #1 $mappingArray of static method Doctrine\ORM\Mapping\ToOneInverseSideMapping::fromMappingArrayAndName() expects array{fieldName: string, sourceEntity: class-string, targetEntity: class-string, cascade?: list<'all'|'detach'|'persist'|'refresh'|'remove'>, fetch?: 2|3|4|null, inherited?: class-string|null, declared?: class-string|null, cache?: array<mixed>|null, ...}, non-empty-array<mixed> given.
integration-tests / Integration - doctrine/orm: src/Mapping/ClassMetadata.php#L1422
Parameter #1 $mappingArray of static method Doctrine\ORM\Mapping\ToOneOwningSideMapping::fromMappingArrayAndName() expects array{fieldName: string, sourceEntity: class-string, targetEntity: class-string, cascade?: list<'all'|'detach'|'persist'|'refresh'|'remove'>, fetch?: 2|3|4|null, inherited?: class-string|null, declared?: class-string|null, cache?: array<mixed>|null, ...}, non-empty-array<mixed> given.
integration-tests / Integration - Roave/BetterReflection
Process completed with exit code 1.
integration-tests / Integration - Roave/BetterReflection: src/Util/FileHelper.php#L46
Offset 2 might not exist on non-empty-list{0?: string, 1?: non-empty-string, 2?: non-empty-string}.
integration-tests / Integration - Roave/BetterReflection: src/Util/FileHelper.php#L46
Offset 1 might not exist on non-empty-list{0?: string, 1?: non-empty-string, 2?: non-empty-string}.
integration-tests / PMMP Tests: src/item/Item.php#L741
Cannot cast mixed to int.
integration-tests / PMMP Tests: src/item/Item.php#L740
Cannot cast mixed to int.
integration-tests / PMMP Tests: src/item/Item.php#L739
Cannot cast mixed to int.
integration-tests / PMMP Tests: src/command/defaults/WhitelistCommand.php#L92
Parameter #2 $array of function implode expects array<string>, list<mixed> given.
integration-tests / PMMP Tests: src/command/defaults/WhitelistCommand.php#L91
Parameter #1 $array of function sort expects an array of values castable to string, array<mixed> given.
integration-tests / PMMP Tests: src/command/defaults/TeleportCommand.php#L101
Casting to *NEVER* something that's already *NEVER*.
integration-tests / PMMP Tests: src/command/defaults/TeleportCommand.php#L100
Casting to *NEVER* something that's already *NEVER*.
integration-tests / PMMP Tests: src/Server.php#L1192
Cannot cast mixed to string.
integration-tests / PMMP Tests: src/Server.php#L758
Ignored error pattern #^Cannot cast mixed to string\.$# (cast.string) in path /home/runner/work/phpstan-src/phpstan-src/e2e/integration/repo/src/Server.php is expected to occur 1 time, but occurred 2 times.
integration-tests / PMMP Tests: build/generate-block-serializer-consts.php#L181
Parameter #1 $array of function sort expects an array of values castable to string, array<mixed> given.
integration-tests / Integration - laravel/framework
Process completed with exit code 1.
integration-tests / Integration - laravel/framework: src/Illuminate/Mail/Mailable.php#L268
No error with identifier callable.nonNativeMethod is reported on line 268.
integration-tests / Integration - laravel/framework: src/Illuminate/Http/Client/PendingRequest.php#L1081
Variable $shouldRetry on left side of ?? always exists and is always null.
integration-tests / Integration - laravel/framework: src/Illuminate/Foundation/Console/RouteListCommand.php#L406
Variable $action on left side of ?? always exists and is not nullable.
integration-tests / Integration - drupal/drupal
Process completed with exit code 1.
integration-tests / Integration - drupal/drupal: core/tests/Drupal/Tests/PerformanceTestTrait.php (in context of class Drupal/FunctionalJavascriptTests/PerformanceTestBase)#L166
Offset 'delete' on array{}|array{get: non-empty-array<*NEVER*, non-empty-list<*NEVER*>>} in isset() does not exist.
integration-tests / Integration - shopware/shopware: src/Storefront/Framework/Twig/TemplateDataExtension.php#L87
Offset 1 might not exist on non-empty-list{0?: string, 1?: non-empty-string, 2?: non-empty-string}.
integration-tests / Integration - shopware/shopware: src/Storefront/Controller/ContextController.php#L126
Offset 'host' might not exist on non-empty-array{scheme?: string, host?: string, port?: int<0, 65535>, user?: string, pass?: string, path?: string, query?: string, fragment?: string}.
integration-tests / Integration - shopware/shopware: src/Core/Installer/Controller/FinishController.php#L72
Offset 'host' might not exist on non-empty-array{scheme?: string, host?: string, port?: int<0, 65535>, user?: string, pass?: string, path?: string, query?: string, fragment?: string}.
integration-tests / Integration - shopware/shopware: src/Core/DevOps/Test/AnnotationTagTester.php#L151
Offset 4 might not exist on non-empty-list{0?: string, 1?: non-empty-string|null, 2?: string|null, 3?: non-empty-string|null, 4?: string|null}.
integration-tests / Integration - shopware/shopware: src/Core/DevOps/Test/AnnotationTagTester.php#L151
Offset 3 might not exist on non-empty-list{0?: string, 1?: non-empty-string|null, 2?: string|null, 3?: non-empty-string|null, 4?: string|null}.
integration-tests / Integration - shopware/shopware: src/Core/DevOps/Test/AnnotationTagTester.php#L150
Offset 2 might not exist on non-empty-list{0?: string, 1?: non-empty-string|null, 2?: string|null, 3?: non-empty-string|null, 4?: string|null}.
integration-tests / Integration - shopware/shopware: src/Core/DevOps/Test/AnnotationTagTester.php#L150
Offset 1 might not exist on non-empty-list{0?: string, 1?: non-empty-string|null, 2?: string|null, 3?: non-empty-string|null, 4?: string|null}.
integration-tests / Integration - shopware/shopware: src/Core/Checkout/Cart/LineItemFactoryRegistry.php#L99
Parameter #2 $data of method Shopware\Core\Checkout\Cart\LineItemFactoryHandler\LineItemFactoryInterface::update() expects array<string, mixed>, array<int|string, mixed> given.
integration-tests / Integration - shopware/shopware: src/Core/Checkout/Cart/LineItemFactoryRegistry.php#L54
Parameter #1 $data of method Shopware\Core\Checkout\Cart\LineItemFactoryHandler\LineItemFactoryInterface::create() expects array<string, mixed>, array<int|string, mixed> given.
other-tests / Other Tests (7.4, windows-latest, cd e2e/name-conflict composer install cp ../../phpstan vendor/p...
Environment variable 'INPUT_GITHUB_CONTEXT' exceeds the maximum supported length. Environment variable length: 34371 , Maximum supported length: 32766
other-tests / Other Tests (7.4, windows-latest, cd e2e/name-conflict composer install cp ../../phpstan vendor/p...
Environment variable 'INPUT_GITHUB_CONTEXT' exceeds the maximum supported length. Environment variable length: 34371 , Maximum supported length: 32766
other-tests / Other Tests (7.4, windows-latest, cd e2e/name-conflict composer install cp ../../phpstan vendor/p...
Environment variable 'INPUT_GITHUB_CONTEXT' exceeds the maximum supported length. Environment variable length: 34371 , Maximum supported length: 32766

Artifacts

Produced during runtime
Name Size Digest
baselines-better-reflection-baseline.neon
363 Bytes
sha256:6d42f37dcfee90d494afa3449f6faae64056a14d2f57ba6c8c4c9a14b01f96da
baselines-doctrine-dbal-baseline.neon
1010 Bytes
sha256:c83cda61130425132b37e981dc7bec1a145d6c0480bec6cdd6801ac9cee30a5f
baselines-doctrine-orm-baseline.neon
1.16 KB
sha256:26a75d314baa9a0a3bb4b06171527fe8c2e879c56330e84fa2ddbce0d1755230
baselines-drupal-baseline.neon
1.15 KB
sha256:22376a3fb78af20c679082ffc70f590fdbb278a51f4d34fa965c991c220e39e5
baselines-efabrica-phpstan-latte-baseline.neon
706 Bytes
sha256:bcdfde78f0e653a57e0337cdd09f8c15fd4114a932b8b9ca9fd2903518bf805d
baselines-laravel-baseline.neon
384 Bytes
sha256:d355f8bce8bb337b0c44234b33571b60c3756d9f0203f8be889d47cae2debc0e
baselines-shipmonk-dead-code-detector-baseline.neon
228 Bytes
sha256:bfb58881822a14d9bceb9874fdda576d5f64c1b9b0b0a1e893d611a555b38a18
baselines-shopware-baseline.neon
10.5 KB
sha256:3a619bda7b9f6917db83e75c1e5607832d294fcef1e34644a2042d3077a6ce5e
phar-file
3.74 MB
sha256:940ff2734b503018966ba87a79e40277932c283cff6f1d8a3ac8e9b6082568fe
phar-file-checksum
3.74 MB
sha256:2fe7c28d06c7ff972a2f0311f67103d3a19e7e66ec0ab9fbcdd9144bf8e80ce8
pocketmine-ng-baseline.neon
1.23 KB
sha256:9be01acea42795f2c8388ef222ed4b3e9790e8dcb64327491faf4cebdefd573e