1  program unwrap_none_test.alpha;
 2  
 3  struct Optional__DOnC9eGtnsJ:
 4      is_some as boolean;
 5      val as u64;
 6  
 7  struct MaybeValue:
 8      val as Optional__DOnC9eGtnsJ;
 9  
10  struct Optional__8hhrPm4c3KB:
11      is_some as boolean;
12      val as u8;
13  
14  function unwrap_none:
15      cast false 0u8 into r0 as Optional__8hhrPm4c3KB;
16      assert.eq r0.is_some true;
17      gt r0.val 0u8 into r1;
18      assert.eq r1 true;
19  
20  function unwrap_struct_field_none:
21      cast false 0u64 into r0 as Optional__DOnC9eGtnsJ;
22      cast r0 into r1 as MaybeValue;
23      assert.eq r1.val.is_some true;
24      gt r1.val.val 0u64 into r2;
25      assert.eq r2 true;
26  
27  constructor:
28      assert.eq edition 0u16;
29  status: failed: Any { .. }
30  output: ()
31  status: failed: Any { .. }
32  output: ()