// "058.hac" should fail, definition-local types may not depend on relaxed params
// copy-modified from "054.hac"
// KNOWN BUG: transfer of relaxed formal dependence not done yet

template <><pint W>
defproc foo() {
	pint Z = W;
	int<Z> my_int;		// Z = W, relaxed formal!
}

