How to bind-mount a single file

A few days ago, while working on a cool feature for the Ubports project, I met the need to bind-mount a single file into a new directory. While I had used bind-mounts many time before, I always had to deal with directories, and I erroneously assumed that mounting a single file would work in the same way:

But it doesn't; instead, I got this nice error message:

Now that I know what the issue was, the error message seems quite obvious and explicative; but I swear that at the time when I first saw it, I didn't help me at all and I found myself searching for it online, with little luck. Eventually I found the solution to the problem, which, after all, seems pretty logical: when bind-mounting a single file, the destination mount point must also be a regular file.

That is, I should have done:

I'm leaving it here, in case someone hits this page from a search engine out of despair. :-)