// Origin: PR c++/43327
// { dg-do compile }

template <typename _T>
struct A
{
  template <int _N, int _M> struct B;

  template <int _N>
  struct B<_N, _T::m>
  {
     static void f();
  };
};

struct C
{
  static int m;
};

void m()
{
  A<C>::B<1, 4>::f(); // { dg-error "incomplete type|not a valid" }
}

int C::m = 4;