jlebar wrote: > I think the actual semantics here look something like this: Oh wow, that is very different. I'll leave it to you all to figure that out. Thanks for the review! https://github.com/llvm/llvm-project/pull/200552