All
[Gmail]/Trash is not flagged as specialized folder when using google's recommended settings for Thunderbird("Just mark it as Deleted") or "Remove it immediately", then File/"Empty Trash" does do nothing on any folder including [Gmail]/Trash
Folder and Message Lists