// RUN: %clang_cc1 -std=c++2a -emit-llvm-only -Wno-unused-value %s -verify
// expected-no-diagnostics
struct A {
consteval A operator+() { return {}; }
};
consteval A operator~(A) { return {}; }
consteval A operator+(A, A) { return {}; }
template <class> void f() {
A a;
A b = ~a;
A c = a + a;
A d = +a;
}
template void f<int>();
template <class T> void foo() {
T a;
T b = ~a;
T c = a + a;
T d = +a;
}
template void foo<A>();
template <typename DataT> struct B { DataT D; };
template <typename DataT>
consteval B<DataT> operator+(B<DataT> lhs, B<DataT> rhs) {
return B<DataT>{lhs.D + rhs.D};
}
template <class T> consteval T template_add(T a, T b) { return a + b; }
consteval B<int> non_template_add(B<int> a, B<int> b) { return a + b; }
void bar() {
constexpr B<int> a{};
constexpr B<int> b{};
auto constexpr c = a + b;
}
static_assert((template_add(B<int>{7}, B<int>{3})).D == 10);
static_assert((non_template_add(B<int>{7}, B<int>{3})).D == 10);