// P0846R0
// { dg-do compile }
// { dg-options "-std=c++2a" }

// Don't get confused by these valid cases.

template <class>
class A {
  template <bool> void b();
  void m_fn1();
};

template <class T>
void A<T>::m_fn1() { b<>(0); }


template <int> struct X {
  X() { fn<>(0); }
  template <int> void fn();
};


template <typename> void a() { a<int>; }