Skip to content

Avoid false inference with instanceof #18915

Avoid false inference with instanceof

Avoid false inference with instanceof #18915

Triggered via pull request November 23, 2024 11:00
Status Cancelled
Total duration 2m 59s
Artifacts

static-analysis.yml

on: pull_request
Generate baseline
1m 34s
Generate baseline
Generate PHP baseline
1m 28s
Generate PHP baseline
Matrix: PHPStan with result cache
Matrix: PHPStan
Fit to window
Zoom out
Zoom in

Annotations

59 errors
Generate baseline
Process completed with exit code 1.
PHPStan with result cache (8.2): src/Analyser/TypeSpecifier.php#L184
Only booleans are allowed in a negated boolean, true|null given.
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 with result cache (8.4): src/Analyser/TypeSpecifier.php#L184
Only booleans are allowed in a negated boolean, true|null given.
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 (8.4, ubuntu-latest): src/Analyser/TypeSpecifier.php#L184
Only booleans are allowed in a negated boolean, true|null given.
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 (8.1, ubuntu-latest): src/Analyser/TypeSpecifier.php#L184
Only booleans are allowed in a negated boolean, true|null given.
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.3, ubuntu-latest): src/Analyser/TypeSpecifier.php#L184
Only booleans are allowed in a negated boolean, true|null given.
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 with result cache (8.3): src/Analyser/TypeSpecifier.php#L184
Only booleans are allowed in a negated boolean, true|null given.
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/Analyser/TypeSpecifier.php#L184
Only booleans are allowed in a negated boolean, true|null given.
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.
PHPStan (7.3, ubuntu-latest): src/Analyser/TypeSpecifier.php#L200
Only booleans are allowed in a negated boolean, true|null given.
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)
Canceling since a higher priority waiting request for 'sa-instanceof' exists
PHPStan (7.2, ubuntu-latest)
The operation was canceled.
PHPStan (8.2, ubuntu-latest)
Canceling since a higher priority waiting request for 'sa-instanceof' exists
PHPStan (8.2, ubuntu-latest)
The operation was canceled.
Generate PHP baseline
Canceling since a higher priority waiting request for 'sa-instanceof' exists
Generate PHP baseline
The operation was canceled.
PHPStan (7.4, ubuntu-latest)
Canceling since a higher priority waiting request for 'sa-instanceof' exists
PHPStan (7.4, ubuntu-latest)
The operation was canceled.
PHPStan with result cache (8.1)
Canceling since a higher priority waiting request for 'sa-instanceof' exists
PHPStan with result cache (8.1)
The operation was canceled.
PHPStan (7.2, windows-latest)
Canceling since a higher priority waiting request for 'sa-instanceof' exists
PHPStan (7.2, windows-latest)
The operation was canceled.
PHPStan (8.4, windows-latest)
Canceling since a higher priority waiting request for 'sa-instanceof' exists
PHPStan (8.4, windows-latest)
The operation was canceled.
PHPStan (8.3, windows-latest)
Canceling since a higher priority waiting request for 'sa-instanceof' exists
PHPStan (8.3, windows-latest)
The operation was canceled.
PHPStan (7.4, windows-latest)
Canceling since a higher priority waiting request for 'sa-instanceof' exists
PHPStan (7.4, windows-latest)
The operation was canceled.
PHPStan (8.2, windows-latest)
Canceling since a higher priority waiting request for 'sa-instanceof' exists
PHPStan (8.2, windows-latest)
The operation was canceled.
PHPStan (7.3, windows-latest)
Canceling since a higher priority waiting request for 'sa-instanceof' exists
PHPStan (7.3, windows-latest)
The operation was canceled.
PHPStan (8.1, windows-latest)
Canceling since a higher priority waiting request for 'sa-instanceof' exists
PHPStan (8.1, windows-latest)
The operation was canceled.
PHPStan (8.0, windows-latest)
Canceling since a higher priority waiting request for 'sa-instanceof' exists
PHPStan (8.0, windows-latest)
The operation was canceled.