1//===----------------------------------------------------------------------===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8
9// <tuple>
10
11// template <class... Types> class tuple;
12
13// template<class... TTypes, class... UTypes>
14// bool
15// operator==(const tuple<TTypes...>& t, const tuple<UTypes...>& u);
16// template<class... TTypes, class... UTypes>
17// bool
18// operator<(const tuple<TTypes...>& t, const tuple<UTypes...>& u);
19
20// UNSUPPORTED: c++03
21
22#include <tuple>
23
24void f(std::tuple<int> t1, std::tuple<int, long> t2) {
25 // We test only the core comparison operators and trust that the others
26 // fall back on the same implementations prior to C++20.
27 static_cast<void>(t1 == t2); // expected-error@*:* {{}}
28 static_cast<void>(t1 < t2); // expected-error@*:* {{}}
29}
30

source code of libcxx/test/std/utilities/tuple/tuple.tuple/tuple.rel/size_incompatible_comparison.verify.cpp