/* Nested union templates */

use "basic_models.g";

union bar<T> where { Regular<T*> }
{
  T* x;
};

union foo<T> where { Regular<T*> }
{
  bar<T>* b;
};

fun main() -> int@ {
  let f = @foo<int>{ b = new bar<int> { x = new int(1) } };
  switch (f) {
  case b:
    switch (*b) {
    case x:
      return 1 - *x;
    }
  }
}