OCHyams wrote: I thought about adding more info to the assert but reached the same conclusion. More info in a comment above it sounds like a decent compromise. Will do that before landing, ty! https://github.com/llvm/llvm-project/pull/85657