Xazax-hun wrote: > So to be explicit, no other component would know what canonicalization happens within the range-based solver. Oh, I see! Thanks for the clarification, this sounds good to me. https://github.com/llvm/llvm-project/pull/71284