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
[...]
