Skip to content

Commit f70a608

Browse files
authored
Update variant "all types same/convertible" metaprogramming (#3070)
1 parent 0352759 commit f70a608

File tree

5 files changed

+159
-107
lines changed

5 files changed

+159
-107
lines changed

stl/inc/type_traits

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1619,11 +1619,12 @@ template <class _From, class _To, class = void>
16191619
struct _Invoke_convertible : false_type {};
16201620

16211621
template <class _From, class _To>
1622-
struct _Invoke_convertible<_From, _To, void_t<decltype(_Fake_copy_init<_To>(_Returns_exactly<_From>()))>> : true_type {
1623-
};
1622+
struct _Invoke_convertible<_From, _To, void_t<decltype(_STD _Fake_copy_init<_To>(_STD _Returns_exactly<_From>()))>>
1623+
: true_type {};
16241624

16251625
template <class _From, class _To>
1626-
struct _Invoke_nothrow_convertible : bool_constant<noexcept(_Fake_copy_init<_To>(_Returns_exactly<_From>()))> {};
1626+
struct _Invoke_nothrow_convertible
1627+
: bool_constant<noexcept(_STD _Fake_copy_init<_To>(_STD _Returns_exactly<_From>()))> {};
16271628

16281629
template <class _Result, bool _Nothrow>
16291630
struct _Invoke_traits_common {

0 commit comments

Comments
 (0)