1  program bug.alpha {
 2      @noupgrade
 3      async constructor() {}
 4  
 5      struct Foo::[N: u32] {
 6          x: u32,
 7      }
 8  
 9      inline foo::[N: u32]() -> Foo::[2 * N] {
10          return Foo::[2 * N] { x: 0 };
11      }
12  
13      transition bar() -> Foo::[16] {
14          return foo::[8]();
15      }
16  }