https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95983
--- Comment #2 from ensadc at mailnesia dot com --- See also LWG 3408 (https://wg21.link/lwg3408), which also suggests that the `iterator_traits<counted_iterator<It>>` specialization is problematic. I think the standard could remove this specialization (and define `iterator_concept` in `counted_iterator`), since this specialization seems to have only negative effect.