libstdc++: Implement LWG 3557 change to convertible_to

libstdc++-v3/ChangeLog:

	* include/std/concepts (convertible_to): Just use declval as per
	LWG 3557.
This commit is contained in:
Patrick Palka 2021-06-18 11:51:33 -04:00
parent 1aff29d426
commit 83faf7eacd
1 changed files with 1 additions and 3 deletions

View File

@ -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>