---
namespace: Execute
expectation: Pass
outputs:
  - initial_ast: fe735d4b87fc695a7a68a059af8d769a3b1d257a924c08e7490f61575d843230
    unrolled_ast: fe735d4b87fc695a7a68a059af8d769a3b1d257a924c08e7490f61575d843230
    ssa_ast: 24bb584afbee563be7c24228473fd4e0d83cb76197f66b4c4a9ddb9c1c2c5c2e
    flattened_ast: 4352bd983b2778643e78bb8efc4b2ab9a728dc52f9bff605875d82b82b72a0fb
    inlined_ast: 87236ec1e5020ccdaec371ece97cac3d3c5873649ea7b8ac5df8390e46ff7405
    bytecode: c39d053c9935e58f261a58c4055ac3e97f99ec58472f672417d87a0a8792cad7
    results:
      bar:
        - input: "[true, true, 1u8, 0u8]"
          output: "[1u8, 1u8, {\n  a: 1u8,\n  b: 0u8,\n  c: {\n    c: 1u8\n  }\n}]"
        - input: "[true, false, 1u8, 1u8]"
          output: "[1u8, 1u8, {\n  a: 1u8,\n  b: 1u8,\n  c: {\n    c: 1u8\n  }\n}]"
        - input: "[false, true, 2u8, 1u8]"
          output: "[3u8, 1u8, {\n  a: 2u8,\n  b: 1u8,\n  c: {\n    c: 2u8\n  }\n}]"
        - input: "[false, false, 2u8, 2u8]"
          output: "[2u8, 2u8, {\n  a: 2u8,\n  b: 2u8,\n  c: {\n    c: 2u8\n  }\n}]"
      blar:
        - input: "[true, true, 1u8, 0u8]"
          output: "[1u8, 1u8, {\n  a: 1u8,\n  b: 1u8,\n  c: {\n    c: 1u8\n  }\n}]"
        - input: "[true, false, 1u8, 1u8]"
          output: "[1u8, 1u8, {\n  a: 1u8,\n  b: 1u8,\n  c: {\n    c: 1u8\n  }\n}]"
        - input: "[false, true, 2u8, 1u8]"
          output: "[1u8, 1u8, {\n  a: 1u8,\n  b: 1u8,\n  c: {\n    c: 1u8\n  }\n}]"
        - input: "[false, false, 2u8, 2u8]"
          output: "[2u8, 2u8, {\n  a: 2u8,\n  b: 2u8,\n  c: {\n    c: 2u8\n  }\n}]"