Taxman gains before opponent discards

[Davio]

Card text specifies this order:
Trash - Discard - Gain

The actual order in the game was:
D plays a Taxman.
D trashes a Silver.
D gains a Gold.
L discards a Silver.