/* Use a template struct in a poly function */
use "basic_models.g";

struct foo<U> where { DefaultConstructible<U>, Regular<U> }
{
  U u;
};
fun makefoo<T> where { DefaultConstructible<T>, Regular<T> }
(T x) -> foo<T>@ {
  return @foo<T>{ u = x };
}
fun main() -> int@ {
  return makefoo(3).u - 3;
}