How complex can a parameter default expression be?

[P T Withington]

Can it refer to previous parameters?  Assign to them?  Is this legal?

   function foo (a:t = x, b:u = (a = y, z))