I did just remember more from English class: Verbal irony, a type of irony, fits the colloquial definition of sarcasm ("oh, just great" when something upsetting happens). (According to https://literarydevices.net/verbal-irony/ sarcasm is verbal irony used to mock or insult. Don't 100% remember what they said about sarcasm vs verbal irony in English class.) The irony being talked about here is situational irony. It seems people colloquially use "irony" for "situational irony" and get upset when it gets used to refer to the sarcastic type of "verbal irony"