1 // PR c++/63889
2 // { dg-do compile { target c++14 } }
3 
4 template<class T>
5 struct A
6 {
7   template<class>
8   static constexpr bool is_ok = true;
9 
10   template<bool v = is_ok<T>>
AA11   A(T) { }
12 };
13 
14 A<int> p(42);
15