Hello I've come across this issue with using null-safe operator.

https://psalm.dev/r/5413129426

psalm reports false positive, while the resolved value from left hand side can in fact be null.

I tested on v4.13.1 and latest v4.15