// "060.hac" should fail, no default relaxed parameters
// copy-modified from "059.hac"

template <pint Q><pint R>
defproc foo();

foo<5><3> bar<3>;	// should fail, relaxed argument in both positions

