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