As for the ExceptionInfo.traceback[...].path one: The PR looks good, but it seems to me that we should retain and perhaps deprecate the path attribute properly, instead of (more or less silently) replacing it, despite it being public API)?
Originally posted by @The-Compiler in #9415 (reply in thread)