1 // { dg-do compile }
2 // { dg-options "-std=gnu++11" }
3 
4 template<typename T>
5   struct is_float
6   {
7     static constexpr bool value = false;
8   };
9 
10 template<>
11   struct is_float<float>
12   {
13     static constexpr bool value = true;
14   };
15 
16 template<typename T>
17   void
18   float_thing(T __x)
19   {
20     static_assert(is_float<T>::value, ""); // { dg-error "static assertion failed" }
21     static_assert(is_float<T>::value); // { dg-error "static assertion failed" }
22   }
23 
24 int
25 main()
26 {
27   float_thing(1);
28 }
29