leo/tests/expectations/execution/primitive_casts.out

---
namespace: Execute
expectation: Pass
outputs:
  - - initial_symbol_table: 14ede2e4de7f1fd89ef12b547145e5a622e0bc3fc9e8611d0b64f6d0d09ef307
      type_checked_symbol_table: 58dfa99219bbe9fe8ca60c795951fa43b3e3348dc19d80feff4776f5a039e078
      unrolled_symbol_table: 58dfa99219bbe9fe8ca60c795951fa43b3e3348dc19d80feff4776f5a039e078
      initial_ast: a5f27a6708ad3ff9e219014c4d2ec852b172da42d9eda1e361dddbd5f231c753
      unrolled_ast: a5f27a6708ad3ff9e219014c4d2ec852b172da42d9eda1e361dddbd5f231c753
      ssa_ast: b63c9d361ef75d8f9353e3c99ea90c79b54d762d2edb49dc297253d982186b96
      flattened_ast: 9bcafcbc76347838e03957f1b82fa466b74f2bfb097dc3433c10db06528febf3
      inlined_ast: 9bcafcbc76347838e03957f1b82fa466b74f2bfb097dc3433c10db06528febf3
      dce_ast: 9bcafcbc76347838e03957f1b82fa466b74f2bfb097dc3433c10db06528febf3
      bytecode: 9f8baa3f1bada186c32440e4880e858bd76b54dedb2d667a2b93c2d2a98f0752
      warnings: ""
      results:
        address_casts:
          - input: "[aleo1hjnn8jdxlzzlqjywamdx4hzcxny5gszzm0q5xmnae4ed6qqn2gys4ugtey]"
            output: "SnarkVMError(Failed to execute instruction (cast r0 into r2 as boolean;): Cannot downcast a field literal to a boolean type (yet).)"
        bool_casts:
          - input: "[false]"
            output: "SnarkVMError(Failed to execute instruction (cast r0 into r1 as address;): Cannot downcast a boolean literal to another type.)"
        field_casts:
          - input: "[0field]"
            output: "SnarkVMError(Failed to execute instruction (cast r0 into r1 as address;): Cannot downcast a field literal to an address type.)"
        group_casts:
          - input: "[0group]"
            output: "SnarkVMError(Failed to execute instruction (cast r0 into r2 as boolean;): Cannot downcast a field literal to a boolean type (yet).)"
        i128_casts:
          - input: "[0i128]"
            output: "SnarkVMError(Failed to execute instruction (cast r0 into r1 as address;): Cannot downcast an i128 literal to another type (yet).)"
        i16_casts:
          - input: "[0i16]"
            output: "SnarkVMError(Failed to execute instruction (cast r0 into r1 as address;): Cannot downcast an i16 literal to another type (yet).)"
        i32_casts:
          - input: "[0i32]"
            output: "SnarkVMError(Failed to execute instruction (cast r0 into r1 as address;): Cannot downcast an i32 literal to another type (yet).)"
        i64_casts:
          - input: "[0i64]"
            output: "SnarkVMError(Failed to execute instruction (cast r0 into r1 as address;): Cannot downcast an i64 literal to another type (yet).)"
        i8_casts:
          - input: "[0i8]"
            output: "SnarkVMError(Failed to execute instruction (cast r0 into r1 as address;): Cannot downcast an i8 literal to another type (yet).)"
        scalar_casts:
          - input: "[0scalar]"
            output: "SnarkVMError(Failed to execute instruction (cast r0 into r1 as address;): Cannot downcast a scalar literal to another type (yet).)"
        u128_casts:
          - input: "[0u128]"
            output: "SnarkVMError(Failed to execute instruction (cast r0 into r1 as address;): Cannot downcast a u128 literal to another type (yet).)"
        u16_casts:
          - input: "[0u16]"
            output: "SnarkVMError(Failed to execute instruction (cast r0 into r1 as address;): Cannot downcast a u16 literal to another type (yet).)"
        u32_casts:
          - input: "[0u32]"
            output: "SnarkVMError(Failed to execute instruction (cast r0 into r1 as address;): Cannot downcast a u32 literal to another type (yet).)"
        u64_casts:
          - input: "[0u64]"
            output: "SnarkVMError(Failed to execute instruction (cast r0 into r1 as address;): Cannot downcast a u64 literal to another type (yet).)"
        u8_casts:
          - input: "[0u8]"
            output: "SnarkVMError(Failed to execute instruction (cast r0 into r1 as address;): Cannot downcast a u8 literal to another type (yet).)"