// "077.hac" should pass, internal constraints met
// copy-modified from "062.hac"

template <pint N[2]>
defproc foo(bool a[N[0]], b[N[1]]) {
	a = b;		// this constrains N[0] == N[1]
}

pint Q[2];
Q[0] = 2;
Q[1] = 2;

foo<Q> poo;

