Make error reporting resilient to exception thrown while reporting#20158
Merged
odersky merged 2 commits intoscala:mainfrom Apr 11, 2024
Merged
Make error reporting resilient to exception thrown while reporting#20158odersky merged 2 commits intoscala:mainfrom
odersky merged 2 commits intoscala:mainfrom