// "116.hac" should fail unroll, internal constraints not met
// copy-modified from "078.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] = 3;		// will fail constraint

foo<Q> poo;

