When Cursor deletes a file, where does it go?

It seems that Cursor just vaporises files it deletes instead of putting them in the OS trash bin or maybe some kind of .deleted folder.

I just mistakenly gave the go ahead to Cursor to delete a file and I am now sorry out of luck! Restoring to an earlier checkpoint doesn’t recover it.

This can’t possibly be the intended behaviour?

I tested this on MacOS:

As you reported, it did not go into the recycle bin. I believe this is because it was deleted via the command line.

In my case, the restore button did bring it back.

Are you certain there is no restore button at a checkpoint right before the file was deleted? Probably a failsafe the Cursor team put in place.