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 template<class T> // Note that “cv void&” is a substitution failure

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

12

13 template<class T> // Handle T = cv void case

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

15

16 template<class T>

17 struct AddLValueReferenceHelper : decltype(detail::try_add<T>(0))

18 {

19 };

20

21 } // namespace detail

22

23 template<class T>

24 using AddLValueReference = typename detail::AddLValueReferenceHelper<T>::Type;

25

26 } // namespace based::trait