https://github.com/joker-eph requested changes to this pull request. I consider this a verifier bug in LLVM. This is actually a regression from a migration to opaque pointer: https://github.com/llvm/llvm-project/issues/63484 https://github.com/llvm/llvm-project/pull/135895