Yeah, that's a great example.
Charm spells do explicitly take full control away from the player, and if the players understand this and violate it (for example, in the way you describe) then there's a social contract problem. Just as much as when the table agrees to a non-OOC knowledge house rule, and somebody violates it anyway. I put this in the same category as somebody who cheats with their dice.
A quick-thinking DM could still recover, but it's an unfortunate situation.
Is cheating with their dice a rules violation or a social contract violation? Do you talk about not playing along with charm spells and cheating with the dice in session 0? (I don't think that ever occurred to me to do so).
Though I wouldn't expect you to, if you search the many posts in this thread, you will see that I've said: "except for magical compulsion or the like."
Dominate Monster takes away the control, but Charm person merely says they treat them as a friendly acquaintance. How does one adjudicate whether or not a player or character thinks they are treating someone that way? Can they think that their friendly acquaintance has feather fall (people think strange things all the time, like a random elf is a lich) and push them off a cliff as a practical joke? Why is it reasonable to think they used OOC knowledge in an unfair way here? At your table, would it violate any agreed to social contracts? If so, how do you usually discuss it in session 0? Or does it violate a game rule? If so, does that game rule require you to adjudicate what the character was thinking?