// "103a.hac" should pass, connecting equivalent template types
// copy-modified from "103.hac"

template <pint A>
defproc foo();

defproc bar(foo<1> a; foo<2> b) { }

foo<1> p, r;
foo<2> q;

bar w;

w(p, );
w(, q);
w(r, );

