Add high-level locations to sierra error.

[ilyalesokhin-starkware]

No description provided.

[reviewable-StarkWare]

This change is 

[orizi]

Reviewed 5 of 5 files at r1, all commit messages.
Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @ilyalesokhin-starkware)

---

crates/cairo-lang-sierra-to-casm/src/annotations.rs line 110 at r1 (raw file):

                }
                res.push(*destination_statement_idx);
                res

.

Suggestion:

                chain!([*source_statement_idx, *destination_statement_idx],
                introduction_point.source_statement_idx).collect()

[ilyalesokhin-starkware]

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

---

crates/cairo-lang-sierra-to-casm/src/annotations.rs line 110 at r1 (raw file):

Previously, orizi wrote…

.

Done.

[orizi]

Reviewed 4 of 4 files at r2, all commit messages.
Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @ilyalesokhin-starkware)

---

crates/cairo-lang-executable/src/compile.rs line 169 at r2 (raw file):

            anyhow::bail!("Failed to create runnable builder: {}\n{}", err, locs.join("\n"));
        }
    };

Suggestion:

    let builder = match RunnableBuilder::new(sierra_program, None).map_err(|err| {
        let mut locs = vec![];
        for stmt_idx in err.stmt_indices() {
            if let Some(loc) = debug_info
                .statements_locations
                .locations
                .get(&stmt_idx)
                .and_then(|stmt_locs| stmt_locs.first())
            {
                locs.push(format!("#{stmt_idx} {:?}", loc.diagnostic_location(db).debug(db)))
            }
        }

        anyhow::anyhow!("Failed to create runnable builder: {}\n{}", err, locs.join("\n"));
    };

[orizi]

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

[orizi]

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