/* Nested struct templates */
use "basic_models.g";

struct bar<T> where { DefaultConstructible<T>, Regular<T> }
{
  T x;
};

struct foo<T> where { DefaultConstructible<T>, Regular<T> }
{
  bar<T> b;
};

fun main() -> int@ {
  let f = @foo<int> { b = @bar<int> { x = 1 } };
  return 1 - f.b.x;
}