| // PR c++/97518 |
| // { dg-do compile { target c++17 } } |
| // { dg-options "-fdiagnostics-show-caret" } |
| |
| template <typename T, typename U> struct is_same { static constexpr bool value = false; }; |
| template <typename T> struct is_same<T, T> { static constexpr bool value = true; }; |
| |
| template <typename T, typename U> |
| void f(T, U) |
| { |
| static_assert(is_same<T, T>::value && is_same<T, U>::value); // { dg-error "56:static assertion failed" } |
| /* { dg-begin-multiline-output "" } |
| static_assert(is_same<T, T>::value && is_same<T, U>::value); |
| ^~~~~ |
| { dg-end-multiline-output "" } */ |
| // { dg-message ".is_same<int, double>::value. evaluates to false" "" { target *-*-* } .-5 } |
| static_assert(is_same<U, T>::value && is_same<U, U>::value); // { dg-error "32:static assertion failed" } |
| /* { dg-begin-multiline-output "" } |
| static_assert(is_same<U, T>::value && is_same<U, U>::value); |
| ^~~~~ |
| { dg-end-multiline-output "" } */ |
| // { dg-message ".is_same<double, int>::value. evaluates to false" "" { target *-*-* } .-5 } |
| static_assert(is_same<U, U>::value |
| && is_same<U, T>::value // { dg-error "35:static assertion failed" } |
| && is_same<T, T>::value); |
| /* { dg-begin-multiline-output "" } |
| && is_same<U, T>::value |
| ^~~~~ |
| { dg-end-multiline-output "" } */ |
| // { dg-message ".is_same<double, int>::value. evaluates to false" "" { target *-*-* } .-6 } |
| } |
| |
| void g() |
| { |
| f(0, 1.3); |
| } |
