added closure params to semantic defs in lowering

[TomerStarkware]

No description provided.

[reviewable-StarkWare]

This change is 

[orizi]

Reviewed 3 of 4 files at r1, all commit messages.
Reviewable status: 3 of 4 files reviewed, 1 unresolved discussion (waiting on @TomerStarkware)

---

crates/cairo-lang-lowering/src/lower/test_data/closure line 314 at r1 (raw file):

    let f = |a: bool| format!("{a}{a}");
    let _ = f(false);
}

attempt to simplify to get to the crux.

Code quote:

fn foo(a: u32) {
    let f = |a: bool| format!("{a}{a}");
    let _ = f(false);
}

[orizi]

Reviewable status: 3 of 4 files reviewed, 2 unresolved discussions (waiting on @TomerStarkware)

---

crates/cairo-lang-lowering/src/lower/test_data/closure line 313 at r1 (raw file):

fn foo(a: u32) {
    let f = |a: bool| format!("{a}{a}");
    let _ = f(false);

Suggestion:

fn foo(a: u32) {
    let f = |a: u8| {
        *match Option::Some(@a) {
            Option::Some(_) => {
                match Option::Some(@a) {
                    Option::Some(x) => Option::Some(x),
                    Option::None => Option::None,
                }
            },
            Option::None => Option::None,
        }.unwrap()
    };
    let _ = f(2);

[TomerStarkware]

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

---

crates/cairo-lang-lowering/src/lower/test_data/closure line 314 at r1 (raw file):

Previously, orizi wrote…

attempt to simplify to get to the crux.

Done.

---

crates/cairo-lang-lowering/src/lower/test_data/closure line 313 at r1 (raw file):

fn foo(a: u32) {
    let f = |a: bool| format!("{a}{a}");
    let _ = f(false);

Done.

[orizi]

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