[Brf]

In fact, the thief player is supposed to discard the card before rolling the dice. The card discard is what triggers the ability. Once the ability is triggered, its affect still happens even if the thief card is Annihilated.