29 lines
636 B
C++
29 lines
636 B
C++
|
#include <utempl/loopholes/core.hpp>
|
||
|
|
#include <utempl/type_list.hpp>
|
||
|
|
|
||
|
|
struct SomeStruct {
|
||
|
|
constexpr SomeStruct(auto&& arg) {
|
||
|
|
arg.Method(42);
|
||
|
|
};
|
||
|
|
};
|
||
|
|
|
||
|
|
struct Injector {
|
||
|
|
template <typename T, auto _ = utempl::loopholes::Injector<0, utempl::TypeList<T>{}>{}>
|
||
|
|
auto Method(T&&) const -> void;
|
||
|
|
};
|
||
|
|
|
||
|
|
template <typename T, auto... Args>
|
||
|
|
inline constexpr auto Use() {
|
||
|
|
std::ignore = T{Args...};
|
||
|
|
};
|
||
|
|
|
||
|
|
template <typename...>
|
||
|
|
consteval auto Ignore() {};
|
||
|
|
|
||
|
|
|
||
|
|
auto main() -> int {
|
||
|
|
Ignore<decltype(Use<SomeStruct, Injector{}>())>();
|
||
|
|
static_assert(std::is_same_v<decltype(Magic(utempl::loopholes::Getter<0>{})), utempl::TypeList<int>>);
|
||
|
|
};
|
||
|
|
|