`_ITER_TRAITS` and `_ITER_CONCEPT` are really implenentation details of `<__iterator/concetps.h>`, so it makes more sense to put them there than into `<__iterator/iterator_traits.h>`.
is_trivial(_v)
__{(static_)bounded,wrap}_iter