Comment by gsf_emergency_6

That sounds more like irony than sarcasm

But maybe that's my English-media tainted view of sarcasm as something quite unfunny (and also socially .. deficient?)

Different take from mine here tho :)

https://www.thescop.com/archive/2011/09/irony-vs-sarcasm

>Sarcasm happens when the observed irony does not extend to the speaker.