procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

libstdc++: Move __success_type and __failure_type later in file

Browse source 
libstdc++-v3/ChangeLog:

	* include/std/type_traits (__success_type, __failure_type): Move
	definitions later in the file.
This commit is contained in:
Jonathan Wakely 2022-09-05 15:52:34 +01:00
parent 938cda5360
commit 8492f7dd51
1 changed files with 13 additions and 12 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

25
libstdc++-v3/include/std/type_traits
View file

@ -286,18 +286,6 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
>::type __is_complete_or_unbounded(_TypeIdentity)
{ return {}; }
// For several sfinae-friendly trait implementations we transport both the
// result information (as the member type) and the failure information (no
// member type). This is very similar to std::enable_if, but we cannot use
// them, because we need to derive from them as an implementation detail.
template<typename _Tp>
struct __success_type
{ typedef _Tp type; };
struct __failure_type
{ };
// __remove_cv_t (std::remove_cv_t for C++11).
template<typename _Tp>
using __remove_cv_t = typename remove_cv<_Tp>::type;
@ -2162,6 +2150,19 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
// Sfinae-friendly common_type implementation:
/// @cond undocumented
// For several sfinae-friendly trait implementations we transport both the
// result information (as the member type) and the failure information (no
// member type). This is very similar to std::enable_if, but we cannot use
// that, because we need to derive from them as an implementation detail.
template<typename _Tp>
struct __success_type
{ typedef _Tp type; };
struct __failure_type
{ };
struct __do_common_type_impl
{
template<typename _Tp, typename _Up>