In that instant, I believe you're the GM, Kestral? I think GMs have some leniency with this, although I personally dislike doing it, when it comes to character deaths I refuse to kill another players' characters, because I'd hate having the same done to one of my own without permission. Even characters from players who've dropped don't get killed by me, I play them and their story out as if they were my character until I can put them on a bus. That way they can always come back later and be on some benefit as an NPC or otherwise completing a character arc. 

But that said if such a player is stupid enough to set their character up in such a position where anything other then death is logically complete nonsensical bullshit to the context of the story, then... yeah. Can't fault that. But I think recalling Orpheus' story to me from before, this was between a player and another player. Not a GM.