aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJonathan Wakely <jwakely@redhat.com>2024-01-13 12:13:33 +0000
committerJonathan Wakely <jwakely@redhat.com>2024-01-15 16:59:27 +0000
commit6c703b4eb68cbc32de1d62e5b573cb1b9857af29 (patch)
treebe0be0b035e765f6463dc2db2a725d55394031c8
parent4f141b051ef4476da2cd39c622b2eae73c696d88 (diff)
downloadgcc-6c703b4eb68cbc32de1d62e5b573cb1b9857af29.zip
gcc-6c703b4eb68cbc32de1d62e5b573cb1b9857af29.tar.gz
gcc-6c703b4eb68cbc32de1d62e5b573cb1b9857af29.tar.bz2
libstdc++: Use variable template to fix -fconcepts-ts error [PR113366]
There's an error for -fconcepts-ts due to using a concept where a bool NTTP is required, which is fixed by using the vraiable template that already exists in the class scope. This doesn't fix the problem with -fconcepts-ts as changes to the placement of attributes is also needed. libstdc++-v3/ChangeLog: PR testsuite/113366 * include/std/format (basic_format_arg): Use __formattable variable template instead of __format::__formattable_with concept.
-rw-r--r--libstdc++-v3/include/std/format5
1 files changed, 2 insertions, 3 deletions
diff --git a/libstdc++-v3/include/std/format b/libstdc++-v3/include/std/format
index 540f8b8..efc4a17 100644
--- a/libstdc++-v3/include/std/format
+++ b/libstdc++-v3/include/std/format
@@ -3189,8 +3189,7 @@ namespace __format
// Format as const if possible, to reduce instantiations.
template<typename _Tp>
using __maybe_const_t
- = __conditional_t<__format::__formattable_with<_Tp, _Context>,
- const _Tp, _Tp>;
+ = __conditional_t<__formattable<_Tp>, const _Tp, _Tp>;
template<typename _Tq>
static void
@@ -3208,7 +3207,7 @@ namespace __format
explicit
handle(_Tp& __val) noexcept
{
- if constexpr (!__format::__formattable_with<const _Tp, _Context>)
+ if constexpr (!__formattable<const _Tp>)
static_assert(!is_const_v<_Tp>, "std::format argument must be "
"non-const for this type");