cpp2/type/ThriftTypeTest.cpp

33 struct evil_c : enum_c {};
45 static_assert(!is_concrete_v<enum_c>);
104 static_assert(is_thrift_type_tag_v<enum_c>);
163 static_assert(is_abstract_v<enum_c>);
215 static_assert(!is_a_v<enum_c, integral_c>);
264 static_assert(!is_a_v<map<i64_t, i64_t>, map<enum_c, i64_t>>);
270 static_assert(!is_a_v<map<enum_c, i64_t>, map<i64_t, i64_t>>);
313 static_assert(!isConcrete<enum_c>());
318 static_assert(!isConcrete<list<enum_c>>());
319 static_assert(!isConcrete<list<enum_c, std::list>>());
323 static_assert(!isConcrete<set<enum_c>>());
324 static_assert(!isConcrete<set<enum_c, std::unordered_set>>());
328 static_assert(!isConcrete<map<enum_c, void_t>>());
329 static_assert(!isConcrete<map<enum_c, void_t, std::unordered_map>>());
330 static_assert(!isConcrete<map<void_t, enum_c>>());
331 static_assert(!isConcrete<map<void_t, enum_c, std::unordered_map>>());
332 static_assert(!isConcrete<map<enum_c, enum_c>>());
333 static_assert(!isConcrete<map<enum_c, enum_c, std::unordered_map>>());
337 static_assert(!isConcrete<adapted<TestAdapter, enum_c>>());
339 static_assert(!isConcrete<cpp_type<int, enum_c>>());