Hmm, can't confirm. On the opera://bookmarks page, going into the trash and choosing "undo delete" for the folder puts the folder right back on the bookmarks bar where it was.
But, yeah, maybe it got restored to "other bookmarks" or some other folder instead.