// "109.hac" should pass, types match
// copy-modified from "107.hac"

template <pint A>
defproc foo() { }

template <pint X,Y>
defproc bar(foo<X> a; foo<Y> b) { }

bar<2,3> w;
bar<3,4> z;

w( ,z.a);
z(w.b,  );		// redundant, but legal

