Avoid false inference with instanceof #18916
VincentLangletstatic-analysis.yml
on: pull_request
Generate baseline
1m 41s
Generate PHP baseline
1m 41s
Matrix: PHPStan with result cache
Matrix: PHPStan
Annotations
61 errors
|
PHPStan with result cache (8.1):
src/Type/Generic/TemplateIntersectionType.php#L1
Ignored error pattern #^Instanceof between PHPStan\\Type\\Type and PHPStan\\Type\\IntersectionType will always evaluate to false\.$# in path /home/runner/work/phpstan-src/phpstan-src/src/Type/Generic/TemplateIntersectionType.php was not matched in reported errors.
|
|
PHPStan with result cache (8.1):
src/Type/Generic/TemplateUnionType.php#L1
Ignored error pattern #^Instanceof between PHPStan\\Type\\Type and PHPStan\\Type\\UnionType will always evaluate to false\.$# in path /home/runner/work/phpstan-src/phpstan-src/src/Type/Generic/TemplateUnionType.php was not matched in reported errors.
|
|
PHPStan with result cache (8.1)
Process completed with exit code 2.
|
|
PHPStan (8.1, ubuntu-latest):
src/Type/Generic/TemplateIntersectionType.php#L1
Ignored error pattern #^Instanceof between PHPStan\\Type\\Type and PHPStan\\Type\\IntersectionType will always evaluate to false\.$# in path /home/runner/work/phpstan-src/phpstan-src/src/Type/Generic/TemplateIntersectionType.php was not matched in reported errors.
|
|
PHPStan (8.1, ubuntu-latest):
src/Type/Generic/TemplateUnionType.php#L1
Ignored error pattern #^Instanceof between PHPStan\\Type\\Type and PHPStan\\Type\\UnionType will always evaluate to false\.$# in path /home/runner/work/phpstan-src/phpstan-src/src/Type/Generic/TemplateUnionType.php was not matched in reported errors.
|
|
PHPStan (8.1, ubuntu-latest)
Process completed with exit code 2.
|
|
PHPStan (8.4, ubuntu-latest):
src/Type/Generic/TemplateIntersectionType.php#L1
Ignored error pattern #^Instanceof between PHPStan\\Type\\Type and PHPStan\\Type\\IntersectionType will always evaluate to false\.$# in path /home/runner/work/phpstan-src/phpstan-src/src/Type/Generic/TemplateIntersectionType.php was not matched in reported errors.
|
|
PHPStan (8.4, ubuntu-latest):
src/Type/Generic/TemplateUnionType.php#L1
Ignored error pattern #^Instanceof between PHPStan\\Type\\Type and PHPStan\\Type\\UnionType will always evaluate to false\.$# in path /home/runner/work/phpstan-src/phpstan-src/src/Type/Generic/TemplateUnionType.php was not matched in reported errors.
|
|
PHPStan (8.4, ubuntu-latest)
Process completed with exit code 2.
|
|
PHPStan with result cache (8.3):
src/Type/Generic/TemplateIntersectionType.php#L1
Ignored error pattern #^Instanceof between PHPStan\\Type\\Type and PHPStan\\Type\\IntersectionType will always evaluate to false\.$# in path /home/runner/work/phpstan-src/phpstan-src/src/Type/Generic/TemplateIntersectionType.php was not matched in reported errors.
|
|
PHPStan with result cache (8.3):
src/Type/Generic/TemplateUnionType.php#L1
Ignored error pattern #^Instanceof between PHPStan\\Type\\Type and PHPStan\\Type\\UnionType will always evaluate to false\.$# in path /home/runner/work/phpstan-src/phpstan-src/src/Type/Generic/TemplateUnionType.php was not matched in reported errors.
|
|
PHPStan with result cache (8.3)
Process completed with exit code 2.
|
|
PHPStan (8.0, ubuntu-latest):
src/Type/Generic/TemplateIntersectionType.php#L1
Ignored error pattern #^Instanceof between PHPStan\\Type\\Type and PHPStan\\Type\\IntersectionType will always evaluate to false\.$# in path /home/runner/work/phpstan-src/phpstan-src/src/Type/Generic/TemplateIntersectionType.php was not matched in reported errors.
|
|
PHPStan (8.0, ubuntu-latest):
src/Type/Generic/TemplateUnionType.php#L1
Ignored error pattern #^Instanceof between PHPStan\\Type\\Type and PHPStan\\Type\\UnionType will always evaluate to false\.$# in path /home/runner/work/phpstan-src/phpstan-src/src/Type/Generic/TemplateUnionType.php was not matched in reported errors.
|
|
PHPStan (8.0, ubuntu-latest)
Process completed with exit code 2.
|
|
Generate baseline
Process completed with exit code 1.
|
|
PHPStan with result cache (8.4):
src/Type/Generic/TemplateIntersectionType.php#L1
Ignored error pattern #^Instanceof between PHPStan\\Type\\Type and PHPStan\\Type\\IntersectionType will always evaluate to false\.$# in path /home/runner/work/phpstan-src/phpstan-src/src/Type/Generic/TemplateIntersectionType.php was not matched in reported errors.
|
|
PHPStan with result cache (8.4):
src/Type/Generic/TemplateUnionType.php#L1
Ignored error pattern #^Instanceof between PHPStan\\Type\\Type and PHPStan\\Type\\UnionType will always evaluate to false\.$# in path /home/runner/work/phpstan-src/phpstan-src/src/Type/Generic/TemplateUnionType.php was not matched in reported errors.
|
|
PHPStan with result cache (8.4)
Process completed with exit code 2.
|
|
PHPStan (7.3, ubuntu-latest):
src/Type/Generic/TemplateIntersectionType.php#L1
Ignored error pattern #^Instanceof between PHPStan\\Type\\Type and PHPStan\\Type\\IntersectionType will always evaluate to false\.$# in path /home/runner/work/phpstan-src/phpstan-src/src/Type/Generic/TemplateIntersectionType.php was not matched in reported errors.
|
|
PHPStan (7.3, ubuntu-latest):
src/Type/Generic/TemplateUnionType.php#L1
Ignored error pattern #^Instanceof between PHPStan\\Type\\Type and PHPStan\\Type\\UnionType will always evaluate to false\.$# in path /home/runner/work/phpstan-src/phpstan-src/src/Type/Generic/TemplateUnionType.php was not matched in reported errors.
|
|
PHPStan (7.3, ubuntu-latest)
Process completed with exit code 2.
|
|
PHPStan (7.2, ubuntu-latest):
src/Type/Generic/TemplateIntersectionType.php#L1
Ignored error pattern #^Instanceof between PHPStan\\Type\\Type and PHPStan\\Type\\IntersectionType will always evaluate to false\.$# in path /home/runner/work/phpstan-src/phpstan-src/src/Type/Generic/TemplateIntersectionType.php was not matched in reported errors.
|
|
PHPStan (7.2, ubuntu-latest):
src/Type/Generic/TemplateUnionType.php#L1
Ignored error pattern #^Instanceof between PHPStan\\Type\\Type and PHPStan\\Type\\UnionType will always evaluate to false\.$# in path /home/runner/work/phpstan-src/phpstan-src/src/Type/Generic/TemplateUnionType.php was not matched in reported errors.
|
|
PHPStan (7.2, ubuntu-latest)
Process completed with exit code 2.
|
|
PHPStan (8.2, ubuntu-latest):
src/Type/Generic/TemplateIntersectionType.php#L1
Ignored error pattern #^Instanceof between PHPStan\\Type\\Type and PHPStan\\Type\\IntersectionType will always evaluate to false\.$# in path /home/runner/work/phpstan-src/phpstan-src/src/Type/Generic/TemplateIntersectionType.php was not matched in reported errors.
|
|
PHPStan (8.2, ubuntu-latest):
src/Type/Generic/TemplateUnionType.php#L1
Ignored error pattern #^Instanceof between PHPStan\\Type\\Type and PHPStan\\Type\\UnionType will always evaluate to false\.$# in path /home/runner/work/phpstan-src/phpstan-src/src/Type/Generic/TemplateUnionType.php was not matched in reported errors.
|
|
PHPStan (8.2, ubuntu-latest)
Process completed with exit code 2.
|
|
PHPStan (8.3, ubuntu-latest):
src/Type/Generic/TemplateIntersectionType.php#L1
Ignored error pattern #^Instanceof between PHPStan\\Type\\Type and PHPStan\\Type\\IntersectionType will always evaluate to false\.$# in path /home/runner/work/phpstan-src/phpstan-src/src/Type/Generic/TemplateIntersectionType.php was not matched in reported errors.
|
|
PHPStan (8.3, ubuntu-latest):
src/Type/Generic/TemplateUnionType.php#L1
Ignored error pattern #^Instanceof between PHPStan\\Type\\Type and PHPStan\\Type\\UnionType will always evaluate to false\.$# in path /home/runner/work/phpstan-src/phpstan-src/src/Type/Generic/TemplateUnionType.php was not matched in reported errors.
|
|
PHPStan (8.3, ubuntu-latest)
Process completed with exit code 2.
|
|
PHPStan (7.4, ubuntu-latest):
src/Type/Generic/TemplateIntersectionType.php#L1
Ignored error pattern #^Instanceof between PHPStan\\Type\\Type and PHPStan\\Type\\IntersectionType will always evaluate to false\.$# in path /home/runner/work/phpstan-src/phpstan-src/src/Type/Generic/TemplateIntersectionType.php was not matched in reported errors.
|
|
PHPStan (7.4, ubuntu-latest):
src/Type/Generic/TemplateUnionType.php#L1
Ignored error pattern #^Instanceof between PHPStan\\Type\\Type and PHPStan\\Type\\UnionType will always evaluate to false\.$# in path /home/runner/work/phpstan-src/phpstan-src/src/Type/Generic/TemplateUnionType.php was not matched in reported errors.
|
|
PHPStan (7.4, ubuntu-latest)
Process completed with exit code 2.
|
|
PHPStan (8.1, windows-latest):
src/Type/Generic/TemplateIntersectionType.php#L1
Ignored error pattern #^Instanceof between PHPStan\\Type\\Type and PHPStan\\Type\\IntersectionType will always evaluate to false\.$# in path D:\a\phpstan-src\phpstan-src\src\Type\Generic\TemplateIntersectionType.php was not matched in reported errors.
|
|
PHPStan (8.1, windows-latest):
src/Type/Generic/TemplateUnionType.php#L1
Ignored error pattern #^Instanceof between PHPStan\\Type\\Type and PHPStan\\Type\\UnionType will always evaluate to false\.$# in path D:\a\phpstan-src\phpstan-src\src\Type\Generic\TemplateUnionType.php was not matched in reported errors.
|
|
PHPStan (8.1, windows-latest)
Process completed with exit code 1.
|
|
PHPStan (8.4, windows-latest):
src/Type/Generic/TemplateIntersectionType.php#L1
Ignored error pattern #^Instanceof between PHPStan\\Type\\Type and PHPStan\\Type\\IntersectionType will always evaluate to false\.$# in path D:\a\phpstan-src\phpstan-src\src\Type\Generic\TemplateIntersectionType.php was not matched in reported errors.
|
|
PHPStan (8.4, windows-latest):
src/Type/Generic/TemplateUnionType.php#L1
Ignored error pattern #^Instanceof between PHPStan\\Type\\Type and PHPStan\\Type\\UnionType will always evaluate to false\.$# in path D:\a\phpstan-src\phpstan-src\src\Type\Generic\TemplateUnionType.php was not matched in reported errors.
|
|
PHPStan (8.4, windows-latest)
Process completed with exit code 1.
|
|
PHPStan (8.2, windows-latest):
src/Type/Generic/TemplateIntersectionType.php#L1
Ignored error pattern #^Instanceof between PHPStan\\Type\\Type and PHPStan\\Type\\IntersectionType will always evaluate to false\.$# in path D:\a\phpstan-src\phpstan-src\src\Type\Generic\TemplateIntersectionType.php was not matched in reported errors.
|
|
PHPStan (8.2, windows-latest):
src/Type/Generic/TemplateUnionType.php#L1
Ignored error pattern #^Instanceof between PHPStan\\Type\\Type and PHPStan\\Type\\UnionType will always evaluate to false\.$# in path D:\a\phpstan-src\phpstan-src\src\Type\Generic\TemplateUnionType.php was not matched in reported errors.
|
|
PHPStan (8.2, windows-latest)
Process completed with exit code 1.
|
|
PHPStan (8.3, windows-latest):
src/Type/Generic/TemplateIntersectionType.php#L1
Ignored error pattern #^Instanceof between PHPStan\\Type\\Type and PHPStan\\Type\\IntersectionType will always evaluate to false\.$# in path D:\a\phpstan-src\phpstan-src\src\Type\Generic\TemplateIntersectionType.php was not matched in reported errors.
|
|
PHPStan (8.3, windows-latest):
src/Type/Generic/TemplateUnionType.php#L1
Ignored error pattern #^Instanceof between PHPStan\\Type\\Type and PHPStan\\Type\\UnionType will always evaluate to false\.$# in path D:\a\phpstan-src\phpstan-src\src\Type\Generic\TemplateUnionType.php was not matched in reported errors.
|
|
PHPStan (8.3, windows-latest)
Process completed with exit code 1.
|
|
PHPStan with result cache (8.2):
src/Type/Generic/TemplateIntersectionType.php#L1
Ignored error pattern #^Instanceof between PHPStan\\Type\\Type and PHPStan\\Type\\IntersectionType will always evaluate to false\.$# in path /home/runner/work/phpstan-src/phpstan-src/src/Type/Generic/TemplateIntersectionType.php was not matched in reported errors.
|
|
PHPStan with result cache (8.2):
src/Type/Generic/TemplateUnionType.php#L1
Ignored error pattern #^Instanceof between PHPStan\\Type\\Type and PHPStan\\Type\\UnionType will always evaluate to false\.$# in path /home/runner/work/phpstan-src/phpstan-src/src/Type/Generic/TemplateUnionType.php was not matched in reported errors.
|
|
PHPStan with result cache (8.2)
Process completed with exit code 2.
|
|
PHPStan (8.0, windows-latest):
src/Type/Generic/TemplateIntersectionType.php#L1
Ignored error pattern #^Instanceof between PHPStan\\Type\\Type and PHPStan\\Type\\IntersectionType will always evaluate to false\.$# in path D:\a\phpstan-src\phpstan-src\src\Type\Generic\TemplateIntersectionType.php was not matched in reported errors.
|
|
PHPStan (8.0, windows-latest):
src/Type/Generic/TemplateUnionType.php#L1
Ignored error pattern #^Instanceof between PHPStan\\Type\\Type and PHPStan\\Type\\UnionType will always evaluate to false\.$# in path D:\a\phpstan-src\phpstan-src\src\Type\Generic\TemplateUnionType.php was not matched in reported errors.
|
|
PHPStan (8.0, windows-latest)
Process completed with exit code 1.
|
|
PHPStan (7.4, windows-latest):
src/Type/Generic/TemplateIntersectionType.php#L1
Ignored error pattern #^Instanceof between PHPStan\\Type\\Type and PHPStan\\Type\\IntersectionType will always evaluate to false\.$# in path D:\a\phpstan-src\phpstan-src\src\Type\Generic\TemplateIntersectionType.php was not matched in reported errors.
|
|
PHPStan (7.4, windows-latest):
src/Type/Generic/TemplateUnionType.php#L1
Ignored error pattern #^Instanceof between PHPStan\\Type\\Type and PHPStan\\Type\\UnionType will always evaluate to false\.$# in path D:\a\phpstan-src\phpstan-src\src\Type\Generic\TemplateUnionType.php was not matched in reported errors.
|
|
PHPStan (7.4, windows-latest)
Process completed with exit code 1.
|
|
PHPStan (7.3, windows-latest):
src/Type/Generic/TemplateIntersectionType.php#L1
Ignored error pattern #^Instanceof between PHPStan\\Type\\Type and PHPStan\\Type\\IntersectionType will always evaluate to false\.$# in path D:\a\phpstan-src\phpstan-src\src\Type\Generic\TemplateIntersectionType.php was not matched in reported errors.
|
|
PHPStan (7.3, windows-latest):
src/Type/Generic/TemplateUnionType.php#L1
Ignored error pattern #^Instanceof between PHPStan\\Type\\Type and PHPStan\\Type\\UnionType will always evaluate to false\.$# in path D:\a\phpstan-src\phpstan-src\src\Type\Generic\TemplateUnionType.php was not matched in reported errors.
|
|
PHPStan (7.3, windows-latest)
Process completed with exit code 1.
|
|
PHPStan (7.2, windows-latest):
src/Type/Generic/TemplateIntersectionType.php#L1
Ignored error pattern #^Instanceof between PHPStan\\Type\\Type and PHPStan\\Type\\IntersectionType will always evaluate to false\.$# in path D:\a\phpstan-src\phpstan-src\src\Type\Generic\TemplateIntersectionType.php was not matched in reported errors.
|
|
PHPStan (7.2, windows-latest):
src/Type/Generic/TemplateUnionType.php#L1
Ignored error pattern #^Instanceof between PHPStan\\Type\\Type and PHPStan\\Type\\UnionType will always evaluate to false\.$# in path D:\a\phpstan-src\phpstan-src\src\Type\Generic\TemplateUnionType.php was not matched in reported errors.
|
|
PHPStan (7.2, windows-latest)
Process completed with exit code 1.
|