It manifests as multiple different issues. Here's one example: https://psalm.dev/r/897a70d45b Asserting string length doesn't mean checking if the string is non-empty.