1 2 3 4 5 6 7 8 9 10 11 12 13
// { dg-do compile { target c++11 } } struct A { constexpr operator double() { return 1.0; } }; template <int I> struct B { }; constexpr A a { }; B<a> b; // { dg-error "template argument|invalid type" }