I have a similar situation. Soft deletion is enabled for a mail file. When user clicks on delete button in the $inbox it does not move the deleted document to the Trash Folder. This started happening after the user was upgraded to 8.5.1. When I close out of the mail file I do get the message " do you want to premamently remove the deleted documents." which should not happen as soft deletion is enabled. I have already run compact, fixup and updall on the mail file. Replaced design once more.