martinboehme wrote: > Ah- thanks! I just didn't want to loosen the check too much, but looks like this wasn't the only condition. Yes, looks like it. We may want to revisit this in the future, but for now, dropping the assertion seems like the right thing to do. https://github.com/llvm/llvm-project/pull/67311