//===----------------------------------------------------------------------===// // // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. // See https://llvm.org/LICENSE.txt for license information. // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception // //===----------------------------------------------------------------------===// // UNSUPPORTED: c++03, c++11, c++14, c++17, c++20, c++23 // // template struct tuple_element; #include #include #include template concept HasTupleElement = requires { std::tuple_element{}; }; struct SomeObject {}; static_assert(!HasTupleElement<0, SomeObject>); static_assert(!HasTupleElement<1, SomeObject>); static_assert(!HasTupleElement<3, SomeObject>); template void test() { using C = std::complex; static_assert(HasTupleElement<0, C>); static_assert(HasTupleElement<1, C>); static_assert(std::same_as::type, T>); static_assert(std::same_as::type, T>); } void test() { test(); test(); test(); }