based

0 #pragma once

1

2 #include "based/trait/type_identity.hpp"

3

4 namespace based::trait

5 {

6

7 namespace detail

8 {

9

10 // Note that “cv void&&” is a substitution failure

11 template<class T>

12 auto try_add(int) -> TypeIdentity<T&&>;

13

14 // Handle T = cv void case

15 template<class T>

16 auto try_add(...) -> TypeIdentity<T>;

17

18 template<class T>

19 struct AddRValueReferenceHelper : decltype(detail::try_add<T>(0))

20 {

21 };

22

23 } // namespace detail

24

25 template<class T>

26 using AddRValueReference = typename detail::AddRValueReferenceHelper<T>::Type;

27

28 } // namespace based::trait