rojer wrote: not sure where you'd like me to add this assertion? `foos.stqh_first == fi` is legitimately true during the first iteration https://github.com/llvm/llvm-project/pull/177449