feat(corelib): OptionTrait::is_some_and

[julio4]

Returns true if the Option is Option::Some and the value inside of it matches a predicate.

Examples

assert_eq!(Option::Some(2_u8).is_some_and(|x| x > 1), true);
assert_eq!(Option::Some(0_u8).is_some_and(|x| x > 1), false);

let option: Option<u8> = Option::None;
assert_eq!(option.is_some_and(|x| x > 1), false);

[reviewable-StarkWare]

This change is 

[orizi]

Reviewed 2 of 2 files at r1, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @julio4)

---

a discussion (no related file):
@TomerStarkware for 2nd eye.

[orizi]

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

---

corelib/src/option.cairo line 216 at r1 (raw file):

    fn is_some_and<F, +Drop<F>, impl func: core::ops::FnOnce<F, (T,)>[Output: bool]>(
        self: Option<T>, f: F,
    ) -> bool;

Suggestion:

    #[must_use]
    fn is_some_and<F, +Drop<F>, +core::ops::FnOnce<F, (T,)>[Output: bool]>(
        self: Option<T>, f: F,
    ) -> bool;

[julio4]

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

---

corelib/src/option.cairo line 216 at r1 (raw file):

    fn is_some_and<F, +Drop<F>, impl func: core::ops::FnOnce<F, (T,)>[Output: bool]>(
        self: Option<T>, f: F,
    ) -> bool;

Done.

[orizi]

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

[TomerStarkware]

Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @julio4)