The problem was that postRestart was executed before checking whether Terminated should be generated, and so the new colliding actorref was in the watching set when we checked.