If I use the flat_set constructor passing ordered_unique_range, does the library assert in debug mode that the passed data range is indeed ordered and unique?

I don't seem to find such assert, but I think it would be very useful, to catch programmer errors.

Regards