tlively wrote: They probably lower `@llvm.trap` to something that is not considered a terminator. FWIW I'm not really sure why we consider `unreachable` to be a terminator. It seems like that could go either way. https://github.com/llvm/llvm-project/pull/90207