Mogball wrote: @cxy-1993 Would you be okay with opening a revert? I would also love to understand the specific use cases you have in mind for being more able to generically reason about program points. https://github.com/llvm/llvm-project/pull/105656