joker-eph wrote: I kind of remember that InferReturnTypes can be called by the verifier on invalid IR, but the adaptor aren't resilient to invalid IR I believe: are we risking crashes during verification here? https://github.com/llvm/llvm-project/pull/131483