steffenlarsen wrote: The checks are relaxed quite a lot with this. Are there other types this could let through a non-bitcast cast-chain? I suspect the casts would be valid, but it would be good to test more in that case. https://github.com/llvm/llvm-project/pull/228113