Backport "Make error reporting resilient to exception thrown while reporting" to LTS#21059

Merged

WojciechMazur merged 3 commits intolts-3.3from

Jul 5, 2024

Commits on Jul 5, 2024

Make error reporting resilient to exception thrown while reporting

smarter
authored and
WojciechMazur
committed
More explicit handling of exception in error reporting

smarter
authored and
WojciechMazur
committed
Move neg/mt-deskolemize test to neg-deep-subtype - crashes due to unbackported changes
WojciechMazur
committed