How could map::erase know if the interval is valid?

Question

I\'m writing a simple program which makes use of std::map::erase. The program is fine, but there is something I do not understand.

If I pass to the era