Clasp, and implementation of Common Lisp in C++ on LLVM, has exceptions interop. The creator of Clasp even hooked up the Lisp GC to be able to automatically manage C++ objects. A compacting GC, mind, that automatically updates pointers to the managed C++ objects that it moves.

That’s pretty cool. I would love to hear more about how this works.

In particular, whether it is restricted in practice to types that are std::is_trivially_relocatable.

https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p11...

More detail to come. You're right, it's unprecedented.