RalfJung wrote: I think that's already implied... not sure if it is worth listing this as an explicit non-exception (if we list all non-exceptions we'll be here for a while ;). https://github.com/llvm/llvm-project/pull/157080