https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113366
Bug ID: 113366 Summary: g++.dg/cpp2a/concepts-pr67774.C FAIL Product: gcc Version: 14.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: testsuite Assignee: unassigned at gcc dot gnu.org Reporter: mpolacek at gcc dot gnu.org Target Milestone: --- It appears that since r14-6569-gfe54b57728c09a: commit fe54b57728c09ab0389e2bb3f079d5210566199d Author: Jonathan Wakely <jwak...@redhat.com> Date: Thu Dec 14 23:23:34 2023 +0000 libstdc++: Implement C++23 <print> header [PR107760] there are two new FAILs: FAIL: g++.dg/cpp2a/concepts-pr67774.C -std=c++23 (test for excess errors) FAIL: g++.dg/cpp2a/concepts-pr67774.C -std=c++26 (test for excess errors) $ xg++ -c -fconcepts-ts -std=c++26 concepts-pr67774.C In file included from /home/mpolacek/x/trunk/x86_64-pc-linux-gnu/libstdc++-v3/include/ostream:43, from /home/mpolacek/x/trunk/x86_64-pc-linux-gnu/libstdc++-v3/include/iostream:41, from concepts-pr67774.C:6: /home/mpolacek/x/trunk/x86_64-pc-linux-gnu/libstdc++-v3/include/format:3193:45: error: type/value mismatch at argument 1 in template parameter list for ‘template<bool _Cond, class _If, class _Else> using std::__conditional_t = typename std::__conditional::type<_If, _Else>’ 3193 | const _Tp, _Tp>; | ^ /home/mpolacek/x/trunk/x86_64-pc-linux-gnu/libstdc++-v3/include/format:3193:45: note: expected a constant of type ‘bool’, got ‘auto [requires std::__format::__formattable_with<<placeholder>, _Tp, _Context, std::basic_format_parse_context<typename _Tp::char_type> >]’ /home/mpolacek/x/trunk/x86_64-pc-linux-gnu/libstdc++-v3/include/format: In constructor ‘std::basic_format_arg<_Context>::handle::handle(_Tp&)’: /home/mpolacek/x/trunk/x86_64-pc-linux-gnu/libstdc++-v3/include/format:3216:37: error: ‘__maybe_const_t’ was not declared in this scope; did you mean ‘remove_const_t’? 3216 | auto __func = _S_format<__maybe_const_t<_Tp>>; | ^~~~~~~~~~~~~~~ | remove_const_t [...]