use "basic_models.g";

fun foo<T> where { Regular<T> }
(T! x, T y) -> T@ {
  let z = @T(x);
  x = y;
  return z;
}

fun main() -> int@ {
  let x = @int(0);
  return foo(x, 1);
}