Differential D116621 Diff 439539 libcxx/test/libcxx/utilities/meta/meta_base.pass.cpp

Changeset View

Standalone View

Show First 20 Lines • Show All 73 Lines • ▼ Show 20 Lines	void test_is_valid_trait() {
static_assert(std::_IsValidExpansion<HasFooData, MemberTest>::value, "");		static_assert(std::_IsValidExpansion<HasFooData, MemberTest>::value, "");
static_assert(!std::_IsValidExpansion<HasFooType, MemberTest>::value, "");		static_assert(!std::_IsValidExpansion<HasFooType, MemberTest>::value, "");
static_assert(!std::_IsValidExpansion<HasFooData, MemberTest2>::value, "");		static_assert(!std::_IsValidExpansion<HasFooData, MemberTest2>::value, "");
static_assert(std::_IsValidExpansion<HasFooType, MemberTest2>::value, "");		static_assert(std::_IsValidExpansion<HasFooType, MemberTest2>::value, "");
static_assert(std::_IsValidExpansion<FuncCallable, MemberTest, int>::value, "");		static_assert(std::_IsValidExpansion<FuncCallable, MemberTest, int>::value, "");
static_assert(!std::_IsValidExpansion<FuncCallable, MemberTest, void*>::value, "");		static_assert(!std::_IsValidExpansion<FuncCallable, MemberTest, void*>::value, "");
}		}

void test_first_and_second_type() {
ASSERT_SAME_TYPE(std::_FirstType<int, long, void*>, int);
ASSERT_SAME_TYPE(std::_FirstType<char>, char);
ASSERT_SAME_TYPE(std::_SecondType<char, long>, long);
ASSERT_SAME_TYPE(std::_SecondType<long long, int, void*>, int);
}

int main(int, char**) {		int main(int, char**) {
return 0;		return 0;
}		}