// "116.hac" -- testing creation connections, involving relaxed params
// should fail just because bar<> ports have incomplete type

template <pint X><pint Y>
defproc foo() { }

template <pint Z>
defproc bar(foo<Z> a, b) { }

foo<3> x<2>;
foo<3> y<5>;
bar<3> p, q;
p(x, );
q(, y);
p = q;

