JetBrains / JetBrains/phpstorm-attributes
Add ImPure annotation?
Open
- Dominant language
- PHP
- Stars
- 416
- Forks
- 11
- PR merge metrics
- No merged PRs in 30d
Description
Hey! Since there is a Pure annotation, shouldn't there be an ImPure annotation, or at least a way to set the opposite pure state?
This is supported by PHPStan:
> There are two new annotations that can be used above function and method declarations: @phpstan-pure and @phpstan-impure. Additionally, functions and methods that return void are also considered impure.
> https://phpstan.org/blog/remembering-and-forgetting-returned-values
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.