// { dg-do assemble  }

template <class T, int i>
struct K {
	void f();
};

template <class T>
void
K<T, i>::f() // { dg-error "" } i has not been declared
{ 
}