//! > Test panic.

//! > test_runner_name
test_function_lowering

//! > function
fn foo(x: felt252) {
    bar(@x)
}

//! > function_name
foo

//! > module_code
extern fn bar(x: @felt252) nopanic;

//! > semantic_diagnostics

//! > lowering_diagnostics

//! > lowering_flat
Parameters: v0: core::felt252
blk0 (root):
Statements:
  (v1: core::felt252, v2: @core::felt252) <- snapshot(v0)
  () <- test::bar(v2)
End:
  Return()

//! > ==========================================================================

//! > Test struct snapshot.

//! > test_runner_name
test_function_lowering

//! > function
fn foo(orig: @A) -> @A {
    bar(orig.a, orig.b);
    let A { a, b } = orig;
    bar(a, b);
    orig
}

//! > function_name
foo

//! > module_code
struct A {
    a: Array::<felt252>,
    b: felt252,
}
#[inline(never)]
fn bar(a: @Array::<felt252>, b: @felt252) {}

//! > semantic_diagnostics

//! > lowering_diagnostics

//! > lowering_flat
Parameters: v0: @test::A
blk0 (root):
Statements:
  (v1: @core::array::Array::<core::felt252>, v2: @core::felt252) <- struct_destructure(v0)
  (v3: @core::array::Array::<core::felt252>, v4: @core::felt252) <- struct_destructure(v0)
  () <- test::bar(v1, v4)
  (v5: @core::array::Array::<core::felt252>, v6: @core::felt252) <- struct_destructure(v0)
  () <- test::bar(v5, v6)
End:
  Return(v0)

//! > ==========================================================================

//! > Test enum snapshot.

//! > test_runner_name
test_function_lowering

//! > function
fn foo(orig: @A) -> @A {
    match orig {
        A::A(a) => bar0(a),
        A::B(b) => bar1(b),
        A::C((c, d)) => bar2(c, d),
    }
    orig
}

//! > function_name
foo

//! > module_code
enum A {
    A: Array::<felt252>,
    B: felt252,
    C: (felt252, Array::<felt252>),
}
#[inline(never)]
fn bar0(a: @Array::<felt252>) {}
#[inline(never)]
fn bar1(b: @felt252) {}
#[inline(never)]
fn bar2(c: @felt252, d: @Array::<felt252>) {}

//! > semantic_diagnostics

//! > lowering_diagnostics

//! > lowering_flat
Parameters: v0: @test::A
blk0 (root):
Statements:
End:
  Match(match_enum(v0) {
    A::A(v1) => blk1,
    A::B(v2) => blk2,
    A::C(v3) => blk3,
  })

blk1:
Statements:
  () <- test::bar0(v1)
End:
  Return(v0)

blk2:
Statements:
  () <- test::bar1(v2)
End:
  Return(v0)

blk3:
Statements:
  (v4: @core::felt252, v5: @core::array::Array::<core::felt252>) <- struct_destructure(v3)
  () <- test::bar2(v4, v5)
End:
  Return(v0)

//! > ==========================================================================

//! > Test felt252 desnap.

//! > test_runner_name
test_function_lowering

//! > function
fn foo(value: @felt252) -> felt252 {
    *value
}

//! > function_name
foo

//! > module_code

//! > semantic_diagnostics

//! > lowering_diagnostics

//! > lowering_flat
Parameters: v0: @core::felt252
blk0 (root):
Statements:
  (v1: core::felt252) <- desnap(v0)
End:
  Return(v1)

//! > ==========================================================================

//! > Test array desnap.

//! > test_runner_name
test_function_lowering

//! > function
fn foo(value: @Array::<felt252>) -> Array::<felt252> {
    *value
}

//! > function_name
foo

//! > module_code

//! > semantic_diagnostics

//! > lowering_diagnostics
error: Cannot desnap a non copyable type.
 --> lib.cairo:2:5
    *value
    ^****^
note: Trait has no implementation in context: core::traits::Copy::<core::array::Array::<core::felt252>>.

//! > lowering_flat
Parameters: v0: @core::array::Array::<core::felt252>

//! > ==========================================================================

//! > Test member snapshot

//! > test_runner_name
test_function_lowering

//! > function
fn foo(a: A) -> usize {
    bar(@a.b);
    a.b
}

//! > function_name
foo

//! > module_code
struct A {
    b: usize,
}
extern fn bar(x: @usize) nopanic;

//! > semantic_diagnostics

//! > lowering_diagnostics

//! > lowering_flat
Parameters: v0: test::A
blk0 (root):
Statements:
  (v1: core::integer::u32) <- struct_destructure(v0)
  (v2: core::integer::u32, v3: @core::integer::u32) <- snapshot(v1)
  () <- test::bar(v3)
End:
  Return(v2)
