// should fail analysis with a ConstantConstraintError
// because it cannot copy the address of `foo` into `vec`
// because it has incompatible constraints.

vector routine
  inputs y
  outputs y
  trashes z, n
  vec

define foo routine
  inputs x
  outputs x
  trashes z, n
{
  inc x
}

define main routine
  inputs foo
  outputs vec
  trashes a, z, n
{
    copy foo, vec
}