1  program const_generics.alpha {
 2      transition main() -> field {
 3          return 0;
 4      }
 5  
 6      async transition main2() -> Future {
 7          return foo();
 8      }
 9  
10      async function foo() {}
11  
12      function bar(x: field) -> field { return x; }
13  
14      // Ensure we don't error out on functions that are not accessible from program entry points
15      inline abc::[C: field]() -> field {
16          return def::[C]();
17      }
18  
19      inline def::[C: field]() -> field {
20          return C;
21      }
22  }