[Bug libstdc++/97935] Missing subsumption in iterator category detection

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97935

--- Comment #2 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-10 branch has been updated by Jonathan Wakely
<r...@gcc.gnu.org>:

https://gcc.gnu.org/g:f89ba6e9a5da5506cb72235f500b152d4d365f3f

commit r10-9081-gf89ba6e9a5da5506cb72235f500b152d4d365f3f
Author: Jonathan Wakely <jwak...@redhat.com>
Date:   Wed Nov 25 17:18:44 2020 +0000

    libstdc++: Fix missing subsumption in std::iterator_traits [PR 97935]

    libstdc++-v3/ChangeLog:

            PR libstdc++/97935
            * include/bits/iterator_concepts.h
(__detail::__iter_without_category):
            New helper concept.
            (__iterator_traits::__cat): Use __detail::__iter_without_category.
            * testsuite/24_iterators/associated_types/iterator.traits.cc: New
test.

    (cherry picked from commit 9d908b7fc475b351622fa5630d4874068c789d70)