krzysz00 wrote: To the question: `test.with_bounds` summons a value from the void with a given set of minima and maxima. `test.reflect_bounds` is used to make analysis results visible to `FileCheck` https://github.com/llvm/llvm-project/pull/112292