Skip to content

never return not detected #13232

@staabm

Description

@staabm

Bug report

I think we are missing detection of dead code at least on line 21
(maybe even on the right side of concat on line 20).

Code snippet that reproduces the problem

https://phpstan.org/r/5abfb1b4-c997-4848-b984-29266faa6682

Expected output

error indicating code after a never returning function

Did PHPStan help you today? Did it make you happy in any way?

No response

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions