Add box tests for local_into_box

[giladchase]

Folded into prev level

[reviewable-StarkWare]

This change is 

[giladchase]

Warning

This pull request is not mergeable via GitHub because a downstack PR is open. Once all requirements are satisfied, merge this PR as a stack on Graphite.
Learn more

• Add box tests for local_into_box #8695 👈 (View in Graphite)
• feat: Add local_into_box libfunc for stack-based boxing of variables.  #8682
• main

This stack of pull requests is managed by Graphite. Learn more about stacking.

[orizi]

@orizi reviewed 1 of 2 files at r1, all commit messages.
Reviewable status: 1 of 2 files reviewed, 2 unresolved discussions (waiting on @TomerStarkware)

---

corelib/src/test/language_features/box_test.cairo line 4 at r1 (raw file):

#[inline(never)]
pub fn into_box<T>(value: T) -> Box<T> {

doc

---

corelib/src/test/language_features/box_test.cairo line 45 at r1 (raw file):

    let boxed_b = into_box(TestEnum::B(1));
    assert_eq!(boxed_b.unbox(), TestEnum::B(1));
}

Suggestion:

#[test]
fn test_local_into_box() {
    assert_eq!(into_box((1, 2_u256, 3)).unbox(), (1, 2, 3));
    assert_eq!(into_box(()).unbox(), ());
    assert_eq!(into_box(Some(6_u8)).unbox(), Some(6));
    assert_eq!(into_box(None::<u8>).unbox(), None);
    assert_eq!(into_box(Ok::<u16, u256>(7)).unbox(), Ok(7));
    assert_eq!(into_box(Err::<u16, u256>(8)).unbox(), Err(8));
}

[giladchase]

Reviewable status: 1 of 2 files reviewed, 2 unresolved discussions (waiting on @orizi and @TomerStarkware)

---

corelib/src/test/language_features/box_test.cairo line 4 at r1 (raw file):

Previously, orizi wrote…

doc

Done.

---

corelib/src/test/language_features/box_test.cairo line 45 at r1 (raw file):

    let boxed_b = into_box(TestEnum::B(1));
    assert_eq!(boxed_b.unbox(), TestEnum::B(1));
}

Done.