Needing to 'hash -r' after a used command moves

[Tim Waugh]

Is the behaviour of bash intentional that a hashed command is not
automatically rehashed if it is found to have disappeared?

For example,

1. Create a dummy script in /usr/local/bin/dummy
2. Run dummy
3. mv /usr/local/bin/dummy /usr/bin

Actual Results:  bash: /usr/local/bin/dummy: No such file or directory

Is there a reason that bash doesn't detect this situation,
automatically remove the appropriate hash entry, and try again?

Tim.
*/

pgpI1BxSGOPRW.pgp
Description: PGP signature