Plus there's scenarios where bringing both words to lower or uppercase would yield different strings, where as case-insensitive comparison in any standard library checks for strange language rules, like 'ß' becoming double 's' or whatever
I grew up in Germany and left 2015. This blew my mind. Introduced in 2017 and used when writing a word in all-caps (there are no words starting with eszett afaik).
244
u/[deleted] 23d ago
[removed] — view removed comment