> but doing that doesn't guarantee shell scripts will work.

How so?

Can you give an example that should work according to the POSIX spec but doesn’t in a POSIX compliant shell?

The example in the post is just some behavior the POSIX spec doesn’t specify, so obviously you wouldn’t be allowed to do that when targeting POSIX.