kuhar wrote: @ftynse I simplified the checks for local scope and assume verified and added comments explaining what the limitations of the test. I'd rather keep this to make sure this code path is excercised. https://github.com/llvm/llvm-project/pull/86846