Mark `class_exists`, `interface_exists`, `trait_exists`, and `enum_exists` as having no side effects in function metadata#5607

Merged

staabm merged 9 commits intophpstan:2.1.xfrom

phpstan-bot:create-pull-request/patch-625e02d

May 9, 2026

Commits on May 9, 2026

Mark `class_exists`, `interface_exists`, `trait_exists`, and `enum_exists` as having no side effects in function metadata

VincentLanglet
authored and
staabm
committed
Use AlwaysRememberedExpr to bypass impurity check for class_exists type narrowing

authored and
staabm
committed
Add test ensuring class_exists false result is not always remembered

authored and
staabm
committed
Convert Bug8579Test to standard rule test and assertType test

authored and
staabm
committed
Add assertType inside if branches for class_exists do-not-remember test

authored and
staabm
committed
Add interface_exists/trait_exists/enum_exists tests and fix nsrt assertions

authored and
staabm
committed
Document AlwaysRememberedExpr with class-level PHPDoc

authored and
staabm
committed
Add tests for interface_exists, trait_exists, and enum_exists with rememberPossiblyImpureFunctionValues: false

authored and
staabm
committed
Shorten AlwaysRememberedExpr PHPDoc to be generic about its purpose

authored and
staabm
committed