This gives the same help for static analyser than #60374 but for the Interface.
I targeted the 7.2 branch since it's the one the phpdoc was introduced.

I copy the explanation:

This pull request was made to help static code analyzers understand that when calling PropertyAccessor::setValue, this will > not change the type of the passed $objectOrArray.
At the moment static analysis will point out that the value of $objectOrArray can be any object or an array after calling the > setValue method, which is of course not the case.

The solution comes directly from this closed PHPStan issue: phpstan/phpstan#12399
(Other tools like Psalm also support @param-out)

According to the Interface description this behavior shouldn't be restricted to PropertyAccessor but should be enforced/described in the interface too.