diff options
| author | Jonathan Wakely <jwakely@redhat.com> | 2023-09-12 21:28:38 +0100 |
|---|---|---|
| committer | Jonathan Wakely <jwakely@redhat.com> | 2023-09-15 10:24:01 +0100 |
| commit | d19bdf8874059457fdfe50a9e14dad8f8b8cecbb (patch) | |
| tree | 6ea04c155f5ecd6818606932c6f7eb40d8154da2 /libstdc++-v3 | |
| parent | 8fa1430bb28c775bb8b97c4337b0cd61db9f4d2e (diff) | |
| download | gcc-d19bdf8874059457fdfe50a9e14dad8f8b8cecbb.zip gcc-d19bdf8874059457fdfe50a9e14dad8f8b8cecbb.tar.gz gcc-d19bdf8874059457fdfe50a9e14dad8f8b8cecbb.tar.bz2 | |
libstdc++: Remove non-void static assertions in variant's std::get [PR111172]
A void template argument would cause a substitution failure when trying
to form a reference for the return type, so the function body would
never be instantiated.
libstdc++-v3/ChangeLog:
PR libstdc++/111172
* include/std/variant (get<T>): Remove !is_void static
assertions.
Diffstat (limited to 'libstdc++-v3')
| -rw-r--r-- | libstdc++-v3/include/std/variant | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/libstdc++-v3/include/std/variant b/libstdc++-v3/include/std/variant index 7cb7c3b..36eec8d 100644 --- a/libstdc++-v3/include/std/variant +++ b/libstdc++-v3/include/std/variant @@ -1123,7 +1123,6 @@ namespace __variant { static_assert(__detail::__variant::__exactly_once<_Tp, _Types...>, "T must occur exactly once in alternatives"); - static_assert(!is_void_v<_Tp>, "_Tp must not be void"); constexpr size_t __n = std::__find_uniq_type_in_pack<_Tp, _Types...>(); return std::get<__n>(__v); } @@ -1134,7 +1133,6 @@ namespace __variant { static_assert(__detail::__variant::__exactly_once<_Tp, _Types...>, "T must occur exactly once in alternatives"); - static_assert(!is_void_v<_Tp>, "_Tp must not be void"); constexpr size_t __n = std::__find_uniq_type_in_pack<_Tp, _Types...>(); return std::get<__n>(std::move(__v)); } @@ -1145,7 +1143,6 @@ namespace __variant { static_assert(__detail::__variant::__exactly_once<_Tp, _Types...>, "T must occur exactly once in alternatives"); - static_assert(!is_void_v<_Tp>, "_Tp must not be void"); constexpr size_t __n = std::__find_uniq_type_in_pack<_Tp, _Types...>(); return std::get<__n>(__v); } @@ -1156,7 +1153,6 @@ namespace __variant { static_assert(__detail::__variant::__exactly_once<_Tp, _Types...>, "T must occur exactly once in alternatives"); - static_assert(!is_void_v<_Tp>, "_Tp must not be void"); constexpr size_t __n = std::__find_uniq_type_in_pack<_Tp, _Types...>(); return std::get<__n>(std::move(__v)); } |