Comment by tux3

I believe you that you've never hit it, it's definitely not an everyday problem. But they didn't make it up, it does bite people from time to time.

It's sort of a known sharp edge that people occasionally cut themselves on. No language is perfect, but when people run into them they rightfully complain about it