Hi all,
I am working under project prusti, which is designed to be a rust compiler plugin. In my feature I will need to access the error recorded in compiler session and map/mutate it to be our own error type instead of calling abort_if_error() API, is there any existing functions I can call to get a mutable reference of error?
Any pointer to existing PR/issue can be helpful!