167c608a9SSaar Raz // RUN: %clang_cc1 -std=c++2a -x c++ -verify %s 2df061c3eSSaar Raz 3b65b1f32SSaar Raz template<typename T> requires (sizeof(T) >= 4) 4b65b1f32SSaar Raz // expected-note@-1{{similar constraint expressions not considered equivalent}} a()5df061c3eSSaar Razbool a() { return false; } // expected-note {{candidate function [with T = unsigned int]}} 6df061c3eSSaar Raz 7b65b1f32SSaar Raz template<typename T> requires (sizeof(T) >= 4 && sizeof(T) <= 10) 8b65b1f32SSaar Raz // expected-note@-1{{similar constraint expression here}} a()9df061c3eSSaar Razbool a() { return true; } // expected-note {{candidate function [with T = unsigned int]}} 10df061c3eSSaar Raz 11df061c3eSSaar Raz bool av = a<unsigned>(); // expected-error {{call to 'a' is ambiguous}} 12df061c3eSSaar Raz 13df061c3eSSaar Raz template<typename T> 14df061c3eSSaar Raz concept C1 = sizeof(T) >= 4; 15df061c3eSSaar Raz 16df061c3eSSaar Raz template<typename T> requires C1<T> b()17df061c3eSSaar Razconstexpr bool b() { return false; } 18df061c3eSSaar Raz 19b65b1f32SSaar Raz template<typename T> requires (C1<T> && sizeof(T) <= 10) b()20df061c3eSSaar Razconstexpr bool b() { return true; } 21df061c3eSSaar Raz 22df061c3eSSaar Raz static_assert(b<int>()); 23df061c3eSSaar Raz static_assert(!b<int[10]>()); 24df061c3eSSaar Raz 25df061c3eSSaar Raz template<typename T> 26df061c3eSSaar Raz concept C2 = sizeof(T) > 1 && sizeof(T) <= 8; 27df061c3eSSaar Raz 28df061c3eSSaar Raz template<typename T> c()29df061c3eSSaar Razbool c() { return false; } 30df061c3eSSaar Raz 31df061c3eSSaar Raz template<typename T> requires C1<T> c()32df061c3eSSaar Razbool c() { return true; } 33df061c3eSSaar Raz 34df061c3eSSaar Raz template<typename T> requires C1<T> d()35df061c3eSSaar Razconstexpr bool d() { return false; } 36df061c3eSSaar Raz 37df061c3eSSaar Raz template<typename T> d()38df061c3eSSaar Razconstexpr bool d() { return true; } 39df061c3eSSaar Raz 40df061c3eSSaar Raz static_assert(!d<int>()); 41df061c3eSSaar Raz 42df061c3eSSaar Raz template<typename T> e()43df061c3eSSaar Razconstexpr int e() { return 1; } 44df061c3eSSaar Raz 45df061c3eSSaar Raz template<typename T> requires C1<T> && C2<T> e()46df061c3eSSaar Razconstexpr int e() { return 2; } 47df061c3eSSaar Raz 48df061c3eSSaar Raz template<typename T> requires C1<T> || C2<T> 49df061c3eSSaar Raz constexpr int e() { return 3; } 50df061c3eSSaar Raz 51df061c3eSSaar Raz static_assert(e<unsigned>() == 2); 52df061c3eSSaar Raz static_assert(e<char[10]>() == 3); 53df061c3eSSaar Raz static_assert(e<char>() == 1); 54df061c3eSSaar Raz 55df061c3eSSaar Raz template<class T, class U> 56df061c3eSSaar Raz concept BiggerThan = sizeof(T) > sizeof(U); 57df061c3eSSaar Raz 58df061c3eSSaar Raz template<class T> 59df061c3eSSaar Raz concept BiggerThanInt = BiggerThan<T, int>; 60df061c3eSSaar Raz 61df061c3eSSaar Raz template<class T, class U> requires BiggerThan<T, U> f()62df061c3eSSaar Razvoid f() { } 63df061c3eSSaar Raz // expected-note@-1 {{candidate function [with T = long long, U = int]}} 64df061c3eSSaar Raz 65df061c3eSSaar Raz template<class T, class U> requires BiggerThanInt<T> f()66df061c3eSSaar Razvoid f() { } 67df061c3eSSaar Raz // expected-note@-1 {{candidate function [with T = long long, U = int]}} 68df061c3eSSaar Raz 69df061c3eSSaar Raz static_assert(sizeof(f<long long, int>())); 70*09e7fe98SHaojian Wu // expected-error@-1 {{call to 'f' is ambiguous}} \ 71*09e7fe98SHaojian Wu expected-error@-1 {{invalid application of 'sizeof' to an incomplete type 'void'}} 72df061c3eSSaar Raz 73df061c3eSSaar Raz template<typename T> 74df061c3eSSaar Raz concept C3 = true; 75df061c3eSSaar Raz 76df061c3eSSaar Raz template<typename T> 77df061c3eSSaar Raz concept C4 = true && C3<T>; 78df061c3eSSaar Raz 79df061c3eSSaar Raz template<typename T> requires C3<void> g()80df061c3eSSaar Razint g() { } 81df061c3eSSaar Raz 82df061c3eSSaar Raz template<typename T> requires C4<void> g()83df061c3eSSaar Razint g() { } 84df061c3eSSaar Raz 85df061c3eSSaar Raz static_assert(sizeof(g<int>())); 86df061c3eSSaar Raz 87df061c3eSSaar Raz // Regression - used template parameter detection when only first out of 88df061c3eSSaar Raz // multiple parameters are used 89df061c3eSSaar Raz template <unsigned> struct X {}; 90df061c3eSSaar Raz template <class...> int h(X<0>); 91df061c3eSSaar Raz template <unsigned b, class...> int h(X<b>); 92df061c3eSSaar Raz static_assert(sizeof(h(X<0>{}))); 93