// 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 const int m = 4;
};

void m()
{
  A<C>::B<1, 4>::f();
}