The negative concept is required for subsumption to work, it's not a bug.
* include/bits/iterator_concepts.h (__iter_without_nested_types): Remove incorrect comment. Tested powerpc64le-linux, committed to trunk.
commit 8a6c34baf551214cac8d328963b2fa58088785b7 Author: Jonathan Wakely <jwak...@redhat.com> Date: Tue Nov 5 11:16:26 2019 +0000 Remove incorrect comment The negative concept is required for subsumption to work, it's not a bug. * include/bits/iterator_concepts.h (__iter_without_nested_types): Remove incorrect comment. diff --git a/libstdc++-v3/include/bits/iterator_concepts.h b/libstdc++-v3/include/bits/iterator_concepts.h index 323689e63ea..e30645e05cf 100644 --- a/libstdc++-v3/include/bits/iterator_concepts.h +++ b/libstdc++-v3/include/bits/iterator_concepts.h @@ -309,7 +309,6 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION typename _Iter::reference; }; - // FIXME: needed due to PR c++/92102 template<typename _Iter> concept __iter_without_nested_types = !__iter_with_nested_types<_Iter>;