/* this example demonstrated how "any" doesn't
   default construct properly. Then I added
   DefaultConstructible. */

use "basic_models.g";

class foo<T> 
  where { DefaultConstructible<T>, DefaultConstructible<T*> }
{
  foo() { }
  T x;
  T* y;
};

fun set(int! x) {
  x = 4;
}

fun main() -> int@ {
  let f = @foo<int>();
  set(f.x);
  return f.x - 4;
}