// "071.hac" should fail at unroll time, when types mismatch
// copy-modified from "070.hac"

template <pint Q><pint R>
defproc foo() { }

pint X[2];
X[0] = 4;
X[1] = 3;

foo<5><4> car[0..2];
foo<5><X[1]> car[3..4];		// is NOT equivalent


