blob: 7332ff91882c1b29e73013cc5c227185952eb04c [file] [log] [blame]
// { dg-do compile }
// { dg-options "-std=gnu++11" }
template<typename T>
struct is_float
{
static constexpr bool value = false;
};
template<>
struct is_float<float>
{
static constexpr bool value = true;
};
template<typename T>
void
float_thing(T __x)
{
static_assert(is_float<T>::value, ""); // { dg-error "static assertion failed" }
static_assert(is_float<T>::value); // { dg-error "static assertion failed" }
}
int
main()
{
float_thing(1);
}