Well, we do set the sender to the terminated actor ref, but yes that is not the way to do it.

The code is not needed for the fix, and I can't make a test for it, but for reasons of symmetry the `Terminated` case should behave the same way as the `ReliableDeliverySupervisor.GotUid` or else we might miss messages that arrived from a new connection before we got the `Terminated` from the old one.

You are probably right  that the ordering is broken here for both cases.