davidben wrote: (I ran into this because I was playing around with some ideas locally on how to capture some invariants in my project and was trying to diagnose an unexpected uncleared precondition.) https://github.com/llvm/llvm-project/pull/118396