Added conversion from span to fixed sized array.

[orizi]

Stack:

• Using multi-pop in sha256 impl. #5590
• Added high level support and tests for multi pops. #5589
• Added multi-pop for span. #5588
• Changed sha256 compress signature. #5584
• High level support and testsing for span-to-fixed-sized array. #5583
• Added conversion from span to fixed sized array. #5582 ⬅

⚠️ Part of a stack created by spr. Do not merge manually using the UI - doing so may have unexpected results.

---

This change is 

[TomerStarkware]

Reviewed 7 of 7 files at r1, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @ilyalesokhin-starkware)

[ilyalesokhin-starkware]

crates/cairo-lang-sierra/src/extensions/modules/array.rs line 156 at r1 (raw file):

}

/// Validates that the given type is a tuple with all members of the same type, and returns the type

This is not really a tuple; it is a structure where all the members are of the same type, there is no user type check, right?

Code quote:

Validates that the given type is a tuple with all members of the same type

[ilyalesokhin-starkware]

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

---

crates/cairo-lang-sierra/src/extensions/modules/array.rs line 131 at r1 (raw file):

        ty: ConcreteTypeId,
    ) -> Result<LibfuncSignature, SpecializationError> {
        let member_type = validate_tuple_and_fetch_ty(context, &ty)?;

This libfunc can be used to create any user type, right?

Code quote:

 let member_type = validate_tuple_and_fetch_ty(context, &ty)?;

[orizi]

Reviewable status: all files reviewed, 2 unresolved discussions (waiting on @ilyalesokhin-starkware)

---

crates/cairo-lang-sierra/src/extensions/modules/array.rs line 131 at r1 (raw file):

Previously, ilyalesokhin-starkware wrote…

This libfunc can be used to create any user type, right?

any user type with all members of the same type, and sized.

---

crates/cairo-lang-sierra/src/extensions/modules/array.rs line 156 at r1 (raw file):

Previously, ilyalesokhin-starkware wrote…

This is not really a tuple; it is a structure where all the members are of the same type, there is no user type check, right?

it is checked to be tuple like.

[ilyalesokhin-starkware]

Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @orizi)

---

crates/cairo-lang-sierra/src/extensions/modules/array.rs line 156 at r1 (raw file):

Previously, orizi wrote…

it is checked to be tuple like.

document that any user type is considered a tuple.

[orizi]

Reviewable status: 6 of 7 files reviewed, 1 unresolved discussion (waiting on @ilyalesokhin-starkware and @TomerStarkware)

---

crates/cairo-lang-sierra/src/extensions/modules/array.rs line 156 at r1 (raw file):

Previously, ilyalesokhin-starkware wrote…

document that any user type is considered a tuple.

Done.

[ilyalesokhin-starkware]

Reviewed 1 of 7 files at r1, 1 of 1 files at r2, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @orizi)