Skip to content
Lint

Fix #9146: TypeError dead catch when assigning mixed to int in property #26427

Sign in to view logs

Fix #9146: TypeError dead catch when assigning mixed to int in property

Fix #9146: TypeError dead catch when assigning mixed to int in property #26427

Triggered via pull request February 17, 2026 14:14
@phpstan-botphpstan-bot
synchronize #4961
create-pull-request/patch-31autm4
Status Success
Total duration 1m 32s
Artifacts –

lint.yml

on: pull_request
Coding Standard
1m 27s
Coding Standard
Dependency Analysis
22s
Dependency Analysis
Name Collision Detector
18s
Name Collision Detector
Matrix: Lint
Fit to window
Zoom out
Zoom in