> Couldn't you use the same trick on /proc/mounts itself?

Unfortunately, yes. 'bind' allows mount to bind over individual files and not just directories. Which is a little bit insane.

In any case, if you are suspicious, 'umount /proc/mounts'. It either returns ok or it returns "umount: /proc/mounts: not mounted."