diff options
| author | Patrick Palka <ppalka@redhat.com> | 2021-06-18 11:51:33 -0400 |
|---|---|---|
| committer | Patrick Palka <ppalka@redhat.com> | 2021-06-18 11:51:33 -0400 |
| commit | 83faf7eacd2081a373afb6069fd923c2dc497271 (patch) | |
| tree | b5e168f58d4218c11560b92eab7e8d1e1c4c044d | |
| parent | 1aff29d42601927a416a484d6c0fa37a25faae79 (diff) | |
| download | gcc-83faf7eacd2081a373afb6069fd923c2dc497271.zip gcc-83faf7eacd2081a373afb6069fd923c2dc497271.tar.gz gcc-83faf7eacd2081a373afb6069fd923c2dc497271.tar.bz2 | |
libstdc++: Implement LWG 3557 change to convertible_to
libstdc++-v3/ChangeLog:
* include/std/concepts (convertible_to): Just use declval as per
LWG 3557.
| -rw-r--r-- | libstdc++-v3/include/std/concepts | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/libstdc++-v3/include/std/concepts b/libstdc++-v3/include/std/concepts index 4490f53..7f5421f 100644 --- a/libstdc++-v3/include/std/concepts +++ b/libstdc++-v3/include/std/concepts @@ -70,9 +70,7 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION /// [concept.convertible], concept convertible_to template<typename _From, typename _To> concept convertible_to = is_convertible_v<_From, _To> - && requires(add_rvalue_reference_t<_From> (&__f)()) { - static_cast<_To>(__f()); - }; + && requires { static_cast<_To>(std::declval<_From>()); }; /// [concept.commonref], concept common_reference_with template<typename _Tp, typename _Up> |