based

0 #pragma once

1

2 #include <type_traits>

3

4 namespace based::trait

5 {

6

7 template<class T, class... Args>

8 concept IsConstructible = std::is_constructible_v<T, Args...>;

9

10 template<class T, class... Args>

11 concept IsTriviallyConstructible =

12 std::is_trivially_constructible_v<T, Args...>;

13

14 template<class T, class... Args>

15 concept IsNothrowConstructible = std::is_nothrow_constructible_v<T, Args...>;

16

17 } // namespace based::trait