Viewing file:  static_assert1.C (1.39 KB) -rw-r--r--
Select action/file-type:
 (+) |  (+) |  (+) | Code (+) | Session (+) |  (+) | SDB (+) |  (+) |  (+) |  (+) |  (+) |  (+) |
// PR c++/97518
// { dg-do compile { target c++17 } }
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> using some_metafunction_t = T;
template <typename T>
void foo(T ) {
using X = T*;
using Y = some_metafunction_t<T>;
static_assert(is_same<X, Y>::value); // { dg-error "static assertion failed" }
// { dg-message {.is_same<int\*, int>::value. evaluates to false} "" { target *-*-* } .-1 }
static_assert(is_same<X, Y>::value, "foo"); // { dg-error "static assertion failed: foo" }
// { dg-message {.is_same<int\*, int>::value. evaluates to false} "" { target *-*-* } .-1 }
static_assert(is_same<X, X>::value && is_same<X, Y>::value); // { dg-error "static assertion failed" }
// { dg-message {.is_same<int\*, int>::value. evaluates to false} "" { target *-*-* } .-1 }
static_assert(is_same<X, Y>::value && is_same<X, X>::value); // { dg-error "static assertion failed" }
// { dg-message {.is_same<int\*, int>::value. evaluates to false} "" { target *-*-* } .-1 }
static_assert(is_same<X, X>::value
&& is_same<Y, Y>::value
&& is_same<X, Y>::value); // { dg-error "static assertion failed" }
// { dg-message {.is_same<int\*, int>::value. evaluates to false} "" { target *-*-* } .-1 }
}
void bar() {
foo(0);
}
|
