Fix function debug info

[piotmag769]

This sanity check actually broke the debug info for snforge test functions since function_code_span is a call site in their case, not a function body

---

Note

Low Risk
Low risk: small, localized changes to debug-info extraction logic; main impact is different/expanded variable span reporting, which could affect debugger tooling output but not compilation/runtime behavior.

Overview
Fixes Sierra function debug-info extraction so variable-to-source mappings are no longer discarded when the variable definition span falls outside the extracted function_code_span (e.g., snforge test functions where the span can represent a call site).

extract_variables_mapping now derives variable SourceCodeSpan directly from the variable’s user_location (using position_in_file) and drops the previous maybe_code_location-based sanity check and the need to thread the function’s file/span into the mapping.

^{Written by Cursor Bugbot for commit 5466d33. This will update automatically on new commits. Configure here.}

[reviewable-StarkWare]

This change is 

[orizi]

@orizi made 1 comment.
Reviewable status: 0 of 1 files reviewed, 1 unresolved discussion (waiting on piotmag769).

---

crates/cairo-lang-sierra-generator/src/debug_info/function_debug_info.rs line 143 at r1 (raw file):

                };

                let (_, span, _) = maybe_code_location(db, location)?;

isn't the path required though as part of the data as well?

Code quote:

et (_

[piotmag769]

@piotmag769 made 1 comment.
Reviewable status: 0 of 1 files reviewed, 1 unresolved discussion (waiting on orizi).

---

crates/cairo-lang-sierra-generator/src/debug_info/function_debug_info.rs line 143 at r1 (raw file):

Previously, orizi wrote…

isn't the path required though as part of the data as well?

For the function data, yes. But this function extracts only data for a variable. Changed the code to be more clear.

[orizi]

@orizi reviewed 1 file and all commit messages, made 1 comment, and resolved 1 discussion.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on piotmag769).