/*
  Test the use of cleanup from the Regular concept.
 */
use "basic_models.g";

fun foo<T> where { Regular<T> }
(T x) {
  let p = new T(x);
  delete p;
}

fun main() -> int@ {
  foo(3);
  return 0;
}