Add full call stack to the Location information in SSA

[jfecher]

Problem

When an assert or some other error occurs, the erroring line is pointed out with no context as to how the program execution got to that point. This is particularly problematic if the error occurs within a library.

Happy Case

Instead of storing Option<Location> for an instruction, we should store Vec<Location> where each instruction originally holds only the absolute location, and it is eventually pushed to over time during each function inlining step adding a stack frame.

We would need to rework the way errors are displayed to enable them to show full stack traces.

Alternatives Considered

No response

Additional Context

No response

Would you like to submit a PR for this Issue?

No

Support Needs

No response