Map/Mutate error in Compiler Session Diagnostics

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!

This topic was automatically closed 90 days after the last reply. We invite you to open a new topic if you have further questions or comments.