1  
 2  program test.alpha {
 3      mapping x: Future => Future;
 4  
 5      struct S {
 6          member: Future,
 7      }
 8  
 9      async transition main() -> Future {
10          let future: Future = finish();
11          let an_array: [Future; 1] = [future];
12          return an_array[0u32];
13      }
14  
15      async function finish() {
16          assert_eq(1u8, 1u8);
17      }
18  }