You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Expected: Should have a way to suppress it if you could guarantee that the arguments/global state would ensure the function always returns (e.g. print_help(bool $exit))
Observed: psalm-suppress does not take effect
<?phpfunctionmay_exit() : void {
exit(0);
}
/** * @psalm-suppress InvalidReturnType this suppression is not taking effect * @psalm-return never-returns */functiontest() {
may_exit();
}
Expected: Should have a way to suppress it if you could guarantee that the arguments/global state would ensure the function always returns (e.g. print_help(bool $exit))
Observed: psalm-suppress does not take effect
https://psalm.dev/r/5d43404836
The text was updated successfully, but these errors were encountered: