#define BOOST_HANA_CONFIG_ENABLE_STRING_UDL


namespace hana = boost::hana;

using namespace hana::literals;

using hana::make_map, hana::insert, hana::make_pair, hana::_, hana::always, hana::traits::is_same, hana::decltype_, hana::make_set, hana::type_c, hana::find, hana::nothing;

struct a {};
struct b {};
struct c {};

auto allow_types = make_set(type_c<a>, type_c<b>);

template<typename T> concept inmap = requires {
 requires bool(find(allow_types, type_c<T>) != nothing);
};


void f(inmap auto) {
 fprintf(stderr, "inmap -> %s\n", __PRETTY_FUNCTION__);  
}

void f(auto) {
 fprintf(stderr, "none -> %s\n", __PRETTY_FUNCTION__);
}



int main() {
 inmap auto x = b{};
//   inmap auto x = c{};
 f(a{});
 f(b{});
 f(c{});
}

#define BOOST_HANA_CONFIG_ENABLE_STRING_UDL


namespace hana = boost::hana;
using namespace std::literals;
using namespace hana::literals;


auto print = [](auto && value) {
 std::cerr << hana::experimental::print(value) << std::endl;
};



using hana::range_c, hana::make_range, hana::cycle, hana::replicate, hana::for_each, hana::first, hana::second, hana::unpack;
using hana::size_c, hana::make_tuple, hana::char_c, hana::type_c, hana::transform, hana::zip, hana::to_tuple;
using hana::on, hana::reverse, hana::concat, hana::id, hana::if_, hana::negate, hana::llong_c, hana::always, hana::make_lazy;
using hana::_, hana::insert, hana::remove_at, hana::flatten, hana::sizeof_, hana::size;

template<char ... c> constexpr auto operator"" _u() {
 return boost::hana::size_c<operator""_c<c...>()>;
}


template<typename ... T> struct overload: T... {
 using T::operator()...;
};

overload(auto ... xs) -> overload<decltype(xs)...>;

template<typename T> concept any_tuple = hana::is_a<hana::tuple_tag, T>();

template<typename…

template<typename T> struct any {
 
 constexpr auto sizeof_() {
   return sizeof(x);
 }
 
 constexpr auto sizeof_(auto & x) {
   return sizeof(x);
 }
 
 T x;
};

any(auto x) -> any<decltype(x)>;


int main() {
 constexpr any cv{123};//мы можем создать агрегат в constexpr-контексте. Он будет существувовать в компилтайме.
 
 constexpr auto cvx = cv.x;//это так же будет работать - мы может получить в компилтайме значение поля компилтайм-агрегата.
 
 any c{123};//это уже рантайм-значение
//   constexpr auto vx = c.x;//это не сработает.
 
 constexpr auto size = c.sizeof_();//а это сработает. Потому что constexpr-вычисление не зависит от рантайм-значений.
 
 
 constexpr auto size2 = c.sizeof_(c);//И это так же сработает, даже если мы передадим ссылку на рантайм-значение. От неё ничего не зависит и вычислениям она не мешает.
 
 static_assert(c.sizeof_() == c.sizeof_(c));
 
 
 
}