| 1 | // RUN: %clang_cc1 -fsyntax-only -verify %s -std=c++1z -triple=x86_64-linux-gnu |
|---|
| 2 | |
|---|
| 3 | template <typename U, typename V> |
|---|
| 4 | struct S1 { |
|---|
| 5 | static constexpr const bool value = false; |
|---|
| 6 | }; |
|---|
| 7 | |
|---|
| 8 | template <typename U, typename V> |
|---|
| 9 | inline constexpr bool global_inline_var = S1<U, V>::value; |
|---|
| 10 | |
|---|
| 11 | template <typename T> |
|---|
| 12 | struct S2 { |
|---|
| 13 | template <typename U, typename V> |
|---|
| 14 | static inline constexpr bool var = global_inline_var<U, V>; |
|---|
| 15 | }; |
|---|
| 16 | |
|---|
| 17 | template <typename U, typename V> |
|---|
| 18 | inline constexpr bool constexpr_return_false() { |
|---|
| 19 | return false; |
|---|
| 20 | } |
|---|
| 21 | |
|---|
| 22 | template <typename U, typename V> |
|---|
| 23 | void foo() { |
|---|
| 24 | static_assert(S1<U, V>::value); |
|---|
| 25 | // expected-error@-1{{static_assert failed due to requirement 'S1<int, float>::value'}} |
|---|
| 26 | } |
|---|
| 27 | template void foo<int, float>(); |
|---|
| 28 | // expected-note@-1{{in instantiation of function template specialization 'foo<int, float>' requested here}} |
|---|
| 29 | |
|---|
| 30 | template <typename U, typename V> |
|---|
| 31 | void foo2() { |
|---|
| 32 | static_assert(global_inline_var<U, V>); |
|---|
| 33 | // expected-error@-1{{static_assert failed due to requirement 'global_inline_var<int, float>'}} |
|---|
| 34 | } |
|---|
| 35 | template void foo2<int, float>(); |
|---|
| 36 | // expected-note@-1{{in instantiation of function template specialization 'foo2<int, float>' requested here}} |
|---|
| 37 | |
|---|
| 38 | template <typename T, typename U, typename V> |
|---|
| 39 | void foo3() { |
|---|
| 40 | static_assert(T::template var<U, V>); |
|---|
| 41 | // expected-error@-1{{static_assert failed due to requirement 'S2<long>::var<int, float>'}} |
|---|
| 42 | } |
|---|
| 43 | template void foo3<S2<long>, int, float>(); |
|---|
| 44 | // expected-note@-1{{in instantiation of function template specialization 'foo3<S2<long>, int, float>' requested here}} |
|---|
| 45 | |
|---|
| 46 | template <typename T> |
|---|
| 47 | void foo4() { |
|---|
| 48 | static_assert(S1<T[sizeof(T)], int[4]>::value, ""); |
|---|
| 49 | // expected-error@-1{{static_assert failed due to requirement 'S1<float [4], int [4]>::value'}} |
|---|
| 50 | }; |
|---|
| 51 | template void foo4<float>(); |
|---|
| 52 | // expected-note@-1{{in instantiation of function template specialization 'foo4<float>' requested here}} |
|---|
| 53 | |
|---|
| 54 | |
|---|
| 55 | template <typename U, typename V> |
|---|
| 56 | void foo5() { |
|---|
| 57 | static_assert(!!(global_inline_var<U, V>)); |
|---|
| 58 | // expected-error@-1{{static_assert failed due to requirement '!!(global_inline_var<int, float>)'}} |
|---|
| 59 | } |
|---|
| 60 | template void foo5<int, float>(); |
|---|
| 61 | // expected-note@-1{{in instantiation of function template specialization 'foo5<int, float>' requested here}} |
|---|
| 62 | |
|---|
| 63 | struct ExampleTypes { |
|---|
| 64 | explicit ExampleTypes(int); |
|---|
| 65 | using T = int; |
|---|
| 66 | using U = float; |
|---|
| 67 | }; |
|---|
| 68 | |
|---|
| 69 | template <class T> |
|---|
| 70 | struct X { |
|---|
| 71 | int i = 0; |
|---|
| 72 | int j = 0; |
|---|
| 73 | constexpr operator bool() const { return false; } |
|---|
| 74 | }; |
|---|
| 75 | |
|---|
| 76 | template <class T> |
|---|
| 77 | void foo6() { |
|---|
| 78 | static_assert(X<typename T::T>()); |
|---|
| 79 | // expected-error@-1{{static_assert failed due to requirement 'X<int>()'}} |
|---|
| 80 | static_assert(X<typename T::T>{}); |
|---|
| 81 | // expected-error@-1{{static_assert failed due to requirement 'X<int>{}'}} |
|---|
| 82 | static_assert(X<typename T::T>{1, 2}); |
|---|
| 83 | // expected-error@-1{{static_assert failed due to requirement 'X<int>{1, 2}'}} |
|---|
| 84 | static_assert(X<typename T::T>({1, 2})); |
|---|
| 85 | // expected-error@-1{{static_assert failed due to requirement 'X<int>({1, 2})'}} |
|---|
| 86 | static_assert(typename T::T{0}); |
|---|
| 87 | // expected-error@-1{{static_assert failed due to requirement 'int{0}'}} |
|---|
| 88 | static_assert(typename T::T(0)); |
|---|
| 89 | // expected-error@-1{{static_assert failed due to requirement 'int(0)'}} |
|---|
| 90 | static_assert(sizeof(X<typename T::T>) == 0); |
|---|
| 91 | // expected-error@-1{{static_assert failed due to requirement 'sizeof(X<int>) == 0'}} |
|---|
| 92 | static_assert((const X<typename T::T> *)nullptr); |
|---|
| 93 | // expected-error@-1{{static_assert failed due to requirement '(const X<int> *)nullptr'}} |
|---|
| 94 | static_assert(static_cast<const X<typename T::T> *>(nullptr)); |
|---|
| 95 | // expected-error@-1{{static_assert failed due to requirement 'static_cast<const X<int> *>(nullptr)'}} |
|---|
| 96 | static_assert((const X<typename T::T>[]){} == nullptr); |
|---|
| 97 | // expected-error@-1{{static_assert failed due to requirement '(X<int> const[0]){} == nullptr'}} |
|---|
| 98 | static_assert(sizeof(X<decltype(X<typename T::T>().X<typename T::T>::~X())>) == 0); |
|---|
| 99 | // expected-error@-1{{static_assert failed due to requirement 'sizeof(X<void>) == 0'}} |
|---|
| 100 | static_assert(constexpr_return_false<typename T::T, typename T::U>()); |
|---|
| 101 | // expected-error@-1{{static_assert failed due to requirement 'constexpr_return_false<int, float>()'}} |
|---|
| 102 | } |
|---|
| 103 | template void foo6<ExampleTypes>(); |
|---|
| 104 | // expected-note@-1{{in instantiation of function template specialization 'foo6<ExampleTypes>' requested here}} |
|---|
| 105 | |
|---|