Skip to content

[variable.undefined] Variable $wow might not be defined. #13353

@Quetzacoalt91

Description

@Quetzacoalt91

Bug report

When I use isset() on a variable variable, PHPStan reports the variable might be undefined while this is exactly what I'm trying to check.

Code snippet that reproduces the problem

https://phpstan.org/r/9140cc80-f0e1-4676-85a4-5d5b7c0e5ed4

Expected output

No error.

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

This is the first issue I can report about PHPStan while we've been using it for years. Impressive!

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions